Finally: OWL-Full

• The semantics of OWL-Full can be constructed similarly to RDFS

• • but it gets much more complex…

• Whether an inference can be decided for OWL-Full is unknown

• • one of the source of complication: the RDFS/OWL-Full type of interpretation treats the “core” RDFS terms (eg, type, class) similarly to the users’
  • • eg, one can define rdf:type to be functional…

• There is research going on to define subsets of OWL-Full that can be combined with the basic RDFS semantics (i.e., not in direction of Description Logic), still yielding decidable logic families

• • see, e.g., H.J. ter Horst’s paper at ISWC2004 or in the Journal of Web Semantics (October 2005)