-
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