On the Scalability of Description Logic Instance Retrieval

Abstract Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the ontology layer of the often-discussed semantic web is based on description logics (DLs) and defines important challenges for current system implementations. The article introduces and evaluates optimization techniques for the instance retrieval problem w.r.t. the description logic SHIQ(Dn), which covers large parts of the Web Ontology Language (OWL). We demonstrate that sound and complete query engines for OWL-DL can be built for practically significant query classes. Experience with ontologies derived from database content has shown that it is often necessary to effectively solve instance retrieval problems with respect to huge amounts of data descriptions that make up major parts of ontologies. We present and analyze the main results about how to address this kind of scalability problem. Keywords Description lo...

• Type: Conference
• Year: 2006
• Where: DLOG
• Authors: Ralf Möller, Volker Haarslev, Michael Wessel
• Keywords: Automated Reasoning, Description Logics, DLOG 2006, Instance Retrieval Problems, Practical Description Logic