OWL 2 Profiles Features List
- Page ID
- 7298
OWL 2 EL
Supported class restrictions:
– existential quantification to a class expression or a data range
– existential quantification to an individual or a literal
– self-restriction
– enumerations involving a single individual or a single literal
– intersection of classes and data ranges
Supported axioms, restricted to allowed set of class expressions:
– class inclusion, equivalence, disjointness
– object property inclusion (w. or w.o. property chains), and data property inclusion
– property equivalence
– transitive object properties
– reflexive object properties
– domain and range restrictions
– assertions
– functional data properties
– keys
NOT supported in OWL 2 EL (with respect to OWL 2 DL):
– universal quantification to a class expression or a data range
– cardinality restrictions
– disjunction
– class negation
– enumerations involving more than one individual
– disjoint properties
– irreflexive, symmetric, and asymmetric object properties
– inverse object properties, functional and inverse-functional object properties
OWL 2 QL
The supported axioms in OWL 2 QL take into account what one can use on the left-hand side of the inclusion operator (\(\sqsubseteq\), SubClassOf
) and what can be asserted on the right-hand side:
- Subclass expressions restrictions:
– a class
– existential quantification (ObjectSomeValuesFrom) where the class is limited to owl:Thing
– existential quantification to a data range (DataSomeValuesFrom)
- Super expressions restrictions:
– a class
– intersection (ObjectIntersectionOf)
– negation (ObjectComplementOf)
– existential quantification to a class (ObjectSomeValuesFrom)
– existential quantification to a data range (DataSomeValuesFrom)
Supported Axioms in OWL 2 QL:
– Restrictions on class expressions, object and data properties occurring in functionality assertions cannot be specialized
– subclass axioms
– class expression equivalence (involving subClassExpression), disjointness
– inverse object properties
– property inclusion (not involving property chains and SubDataPropertyOf)
– property equivalence
– property domain and range
– disjoint properties
– symmetric, reflexive, irreflexive, asymmetric properties
– assertions other than individual equality assertions and negative property assertions (DifferentIndividuals, ClassAssertion, ObjectPropertyAssertion, and DataPropertyAssertion)
NOT supported in OWL 2 QL (with respect to OWL 2 DL):
– existential quantification to a class expression or a data range in the subclass position
– self-restriction
– existential quantification to an individual or a literal
– enumeration of individuals and literals
– universal quantification to a class expression or a data range
– cardinality restrictions
– disjunction
– property inclusions involving property chains
– functional and inverse-functional properties
– transitive properties
– keys
– individual equality assertions and negative property assertions
OWL 2 RL
OWL 2 RL Supported in OWL 2 RL:
– More restrictions on class expressions (see table 2 of [MGH+09]; e.g., no SomeValuesFrom on the right-hand side of a subclass axiom)
– All axioms in OWL 2 RL are constrained in a way that is compliant with the restrictions in Table 2.
– Thus, OWL 2 RL supports all axioms of OWL 2 apart from disjoint unions of classes and reflexive object property axioms.
A quick one-liner of the difference is: No \(\forall\) and \(\neg\) on the left-hand side, and \(\exists\) and \(\sqcup\) on right-hand side of \(\sqsubseteq\.