DL Lookup

From OWL
Jump to: navigation, search

The following tables provide an overview of the language elements available in the fragments discussed in Tractable_Fragments and EL.

NB: This is an initial version, and needs to be checked for errors and omissions. RinkeHoekstra 00:40, 17 December 2007 (EST)


Class restrictions
Restriction EL++ DL-Lite DLP Horn-SHIQ RDFS DL 1.0 DL 1.1
existential + + (1) + + - + +
universal - - + + - + +
value + - - - - + +
intersection + +  ? + - + +
union - - - - - + +
disjointness + + + + - + +
disjoint union - -  ?  ?  ? - +
negation - - - - - + +
GCI + - + (1) + (1) - + +
subclass + + + + + + +
equivalence + + +  ? + + +
self + - - - - - +
oneOf + (2) - + - - + +
owl:Thing (3) + - - + (1) - + +
owl:Nothing (3) + - - + (1) - + +


1) Limited

2) Only a single element allowed in enumeration

3) Axioms that include restrictions on owl:Thing or owl:Nothing



Property types and restrictions
Type or Restriction EL++ DL-Lite DLP Horn-SHIQ RDFS DL 1.0 DL 1.1
datatype + (3) - - - - + +
object + + + + + + +
negation - - - - - - +
complex incl. + -  ? + + (1) - + (1)
transitivity + - + - - + +
cardinality - - - + - + + (2)
inverse - + + + - + +
disjointness - - - - - - +
symmetry - - + + - + +
functional - - + + - + +
inverse func. - - + + - + (1) + (1)
domain + + + + + + +
range + + + + + + +
subproperty + + + + - + +
equivalence + + + + - - +


1) Only for object properties

2) Qualified cardinality restrictions (QCR)

3) Limited