OWL 2 Profiles Features List
- Page ID
- 7298
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\dsum}{\displaystyle\sum\limits} \)
\( \newcommand{\dint}{\displaystyle\int\limits} \)
\( \newcommand{\dlim}{\displaystyle\lim\limits} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\(\newcommand{\longvect}{\overrightarrow}\)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\ket}[1]{\left| #1 \right>}\)
\(\newcommand{\bra}[1]{\left< #1 \right|}\)
\(\newcommand{\braket}[2]{\left< #1 \vphantom{#2} \right| \left. #2 \vphantom{#1} \right>}\)
\(\newcommand{\braopket}[3]{\left< #1 \vphantom{#2}\vphantom{#3} \right| #2 \vphantom{#1}\vphantom{#3} \left| #3 \vphantom{#1}\vphantom{#2} \right>}\)
\(\newcommand{\qmvec}[1]{\mathbf{\vec{#1}}}\)
\(\newcommand{\op}[1]{\hat{\mathbf{#1}}}\)
\(\newcommand{\expect}[1]{\langle #1 \rangle}\)
\(\newcommand{\dfn}[1]{\emph{\textbf{#1}}}\)
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\.