Skip to main content

Description Logic II: Implementation and Optimisation

Ian Horrocks ( Computing Laboratory, University of Oxford )
Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ones, and by an emphasis on the provision of sound, complete and (empirically) tractable reasoning services. Although they have a range of applications (e.g., configuration and information integration), they are perhaps best known as the basis for widely used ontology languages such as OWL. The decision to base OWL on DLs was motivated by a requirement that key inference problems be decidable, and that it should be possible to provide "practical" reasoning services to support ontology design and deployment. In a previous talk I
introduced description logics and their relationship to OWL, and explained the reasoning techniques on which most modern systems are based.  In this talk I will describe advanced algorithmic and implementation techniques that have enabled such systems to satisfy application requirements in spite of the discouraging worst case complexities of the relevant decision problems.



Share this: