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