Contributions:
2004
V. Haarslev and R. Möller. Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. In Ninth International Conference on the Principles of Knowledge Representation and Reasoning, KR 2004, Whistler, BC, Canada, June 2-5, pages 163–173, 2004.
Bibtex entry Paper (PDF)
V. Haarslev, R. Möller, R. van der Straeten, and M. Wessel.
Extended Query Facilities for Racer and an Application to
Software-Engineering Problems.
In Proceedings of the 2004 International Workshop on Description Logics
(DL-2004), Whistler, BC, Canada, June 6-8, pages 148–157, 2004.
Bibtex entry Paper (PDF)
Abstract
This paper introduces a description logic query language for retrieving A-box individuals that satisfy specific conditions. The language is substantially more expressive than traditional concept-based retrieval languages offered by previous description logic reasoning systems. The new language is implemented in the Racer system. We demonstrate the applicability of nRQL (new Racer Query Language) to OWL semantic web repositories and evaluate the performance of the current state of the art query answering engines for description logics using the Lehigh University Benchmark (LUBM).
V. Haarslev, R. Möller, and M. Wessel.
Querying the Semantic Web with Racer + nRQL.
In Proceedings of the KI-2004 International Workshop on Applications of
Description Logics (ADL'04), Ulm, Germany, September 24, 2004.
Bibtex entry Paper (PDF)
Abstract
This paper introduces a description logic query language for retrieving A-box individuals that satisfy specific conditions. The language is substantially more expressive than traditional concept-based retrieval languages offered by previous description logic reasoning systems. The new language is implemented in the Racer system. We demonstrate the applicability of nRQL (new Racer Query Language) to OWL semantic web repositories and evaluate the performance of the current state of the art query answering engines for description logics using the Lehigh University Benchmark (LUBM).
