OWL extends Resource Definition Framework Schema by providing ontology description properties and classes. OWL is subsumed by CycL. OWL does has only binary predicates and does not allow functional terms. OWL does not make the Unique Names Assumption. As of 2003, OWL does not support rules.