- No constraints on the various constructs
owl:Classis equivalent to
owl:Thingis equivalent to
- 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
rdf:typeto be functional…
- A real superset of RDFS
- But: an OWL Full ontology may be undecidable!