Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen
Web Semantics: Science, Services and Agents on the World Wide Web 1(1), pages 7-26
December 2003
The OWL Web Ontology Language is a new formal language for representing ontologies in the Semantic Web. OWL has features from several families of representation languages, including primarily Description Logics and frames. OWL also shares many characteristics with RDF, the W3C base of the Semantic Web. In this paper we discuss how the philosophy and features of OWL can be traced back to these older formalisms, with modifications driven by several other constraints on OWL. Several interesting problems have arisen where these influences on OWL have clashed.
