Warning:
This wiki has been archived and is now read-only.

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

Navigation menu