Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results

Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discussed semantic web initiative is based on description logics (DLs) and defines important challenges for current system implementations. Recently, several standards for representation languages have been proposed (RDF, OWL). By introducing optimization techniques for inference algorithms we demonstrate that sound and complete query engines for semantic web representation languages can be built for practically significant query classes. The paper introduces and evaluates optimization techniques for tableau-based instance retrieval algorithms for the description logic SHIQ(Dn)− , which covers large parts of OWL. The paper discusses practical experiments with the description logic system Racer. 1 

• Type: Conference
• Year: 2004
• Where: KR
• Authors: Volker Haarslev, Ralf Möller
• Keywords: Artificial Intelligence, Description Logic, KR 2004, Practical Description Logic, Representation Languages