Conjunctive Queries for a Tractable Fragment of OWL1.1

From korrekt.org

Jump to: navigation, search


Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler

Conjunctive Queries for a Tractable Fragment of OWL1.1



Abstract. Despite the success of the Web Ontology Language OWL, the development of expressive means for querying OWL knowledge bases is still an open issue. In this paper, we investigate how a very natural and desirable form of queries – namely conjunctive ones – can be used in conjunction with OWL such that one of the major design criteria of the latter – namely decidability – can be retained. More precisely, we show that querying the tractable fragment EL++ of OWL 1.1 is decidable. We also provide a complexity analysis and show that querying unrestricted EL++ is undecidable.

Published at ISWC2007 (Conference paper)

Download PDF (last update: November 1st 2007)

Citation details

Remarks

The much more recent journal paper The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases is an extended and revised version of most of the material of this work. I suggest to read and cite this improved version instead of the older workshop publication.

I have presented this work at ISWC2007:

Some further slides on the topic are found on the page about Conjunctive Queries for EL with Role Composition (an earlier version, which later led to the journal paper).

Topics

Description logics, Query languages

Personal tools