Ian Horrocks

British computer scientist at Oxford whose work on description logics shaped OWL; he co-edited OWL's formal semantics.

authored

• From SHIQ and RDF to OWL: The Making of a Web Ontology Language writing 2003 [src]

edited

• OWL standard 2004 [src]
  OWL Semantics and Abstract Syntax (2004)

Sources

• https://www.w3.org/TR/2004/REC-owl-semantics-20040210/