Reasoning with Expressive Description Logics Ian Horrocks University of Manchester Manchester, UK Logical Foundations for the Semantic Web.
Reasoning with Expressive Description Logics