What about RDFS and OWL-Full?

• The situation is more complicated…

• • the interpretations so far mapped individuals on elements of a set, classes on subsets, roles on binary relations
  • in RDFS, there is no such strict separation: one may make statements on properties, have class of classes, etc.
  • consequence: RDFS (and OWL-Full) requires a more complex interpretation than the ones so far
  • if such interpretation can be found, the notion of inference, equivalence, consistency, etc, are similar