OWL Web Ontology Language Semantics and Abstract Syntax. Available at http://www.w3.org/TR/owlabsyn (2004)

by Peter F Patel-Schneider, Patrick Hayes, Ian Horrocks