OWL Full
- No constraints on the various constructs
owl:Classis equivalent tordfs:Class-
owl:Thingis equivalent tordfs:Resource
- This means that:
Classcan also be an individual- it is possible to talk about class of classes, etc.
- one can make statements on RDFS constructs
- declare
rdf:typeto be functional…
- declare
- etc.
- A real superset of RDFS
- But: an OWL Full ontology may be undecidable!