Conjunctive queries for a tractable fragment of OWL 1.1

  • Authors:

  • Markus Krötzsch;Sebastian Rudolph;Pascal Hitzler

  • Affiliations:

  • Institut AIFB, Universität Karlsruhe, Germany;Institut AIFB, Universität Karlsruhe, Germany;Institut AIFB, Universität Karlsruhe, Germany

  • Venue:
  • ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

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 ƐL++ of OWL 1.1 is decidable. We also provide a complexity analysis and show that querying unrestricted ƐL++ is undecidable.