The Semantic Web: Ontologies and OWL Ian Horrocks and Alan Rector horrocks/Teaching/cs646 Summary.
An Introduction to Description Logics. What Are Description Logics? A family of logic based Knowledge Representation formalisms –Descendants of semantic.
An Introduction to Description Logics (chapter 2 of DLHB)
Reasoning with Expressive Description Logics Ian Horrocks University of Manchester Manchester, UK Logical Foundations for the Semantic Web.
Reasoning with Expressive Description Logics