First page
Back
Continue
Last page
Graphics
OWL Full
-
No constraints on the various constructs
-
-
owl:Class is equivalent to rdfs:Class
-
owl:Thing is equivalent to rdfs:Resource
- this means that:
-
- Class can also be an individual, a URI can denote a property as
well as a Class
-
- e.g., it is possible to talk about class of classes, etc.
- one can make statements on RDFS constructs (e.g., declare
rdf:type to be functional…)
- etc.
-
But: an OWL Full ontology may be
undecidable!