# OWL 2 Profiles Features List


## 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\.