Skip to main content
[ "article:topic-guide" ]
Engineering LibreTexts

13: 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\.