105 (155)
OWL Description Logic (DL)
-
Goal: maximal subset of OWL Full against which current research can assure that a decidable reasoning procedure is realizable
-
Goal: maximal subset of OWL Full against which current research can
-
assure that a decidable reasoning procedure is realizable
-
owl:Class
, owl:Thing
, owl:ObjectProperty
, owl:DatatypePropery
are strictly separated
- i.e., a class cannot be an individual of another class
- object properties’ values must be an
owl:Thing
-
owl:Class
, owl:Thing
, owl:ObjectProperty
, and
-
owl:DatatypePropery
are strictly separated
- i.e., a class cannot be an individual of another class
- object properties’ values must usually be an
owl:Thing
- except for
rdf:type
, rdfs:subClassOf
, …
- No mixture of
owl:Class
and rdfs:Class
in definitions
- essentially: use OWL concepts only!
- No statements on RDFS resources
- No characterization of datatype properties possible
- No cardinality constraint on transitive properties
- Some restrictions on annotations
OWL