Sciweavers

Share
KR
2004
Springer

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

9 years 3 months ago
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
Volker Haarslev, Ralf Möller
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where KR
Authors Volker Haarslev, Ralf Möller
Comments (0)
books