OWL Web Ontology Language Semantics and Abstract Syntax Section 5. RDF-Compatible Model-Theoretic Semantics Editors: Peter F. Patel-Schneider , Bell Labs Research, Lucent Technologies Patrick Hayes , IHMC, University of West Florida Ian Horrocks , Department of Computer Science, …