-
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 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