Optimization techniques for retrieving resources described in OWL/RDF documents: first results
Volker Haarsle, Ralf Möller · 2004
Practical description logic systems play an ever-growing role for knowledge representation and rea-soning research even in distributed environments. In particular, the often-discussed semantic web initia-tive is based on description logics (DLs) and defines important challenges for current system implementa-tions. Recently, several standards for representation languages have been proposed (RDF, OWL). By in-troducing optimization techniques for inference algo-rithms 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 the instance retrieval problem w.r.t. the description logic SHIQ(Dn)−, which covers large parts of OWL. The paper discusses practical experiments with the de-scription logic system RACER.