Conjunctive Queries for a Tractable Fragment of OWL 1.1

From International Center for Computational Logic

Toggle side column

Conjunctive Queries for a Tractable Fragment of OWL 1.1

Markus KrötzschMarkus Krötzsch,  Sebastian RudolphSebastian Rudolph,  Pascal HitzlerPascal Hitzler
Conjunctive Queries for a Tractable Fragment of OWL 1.1


Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Conjunctive Queries for a Tractable Fragment of OWL 1.1
In Karl Aberer and Key-Sun Choi and Natasha Noy and Dean Allemang and Kyung-Il Lee and Lyndon Nixon and Jennifer Golbeck and Peter Mika and Diana Maynard and Riichiro Mizoguchi and Guus Schreiber and Philippe Cudré-Mauroux, eds., Proceedings of the 6th International Semantic Web Conference (ISWC 2007), volume 4825 of LNCS, 310--323, November 2007. Springer
  • KurzfassungAbstract
    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.
  • Bemerkung: Note: A revised and extended version of this work has been published in the 2014 journal paper The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases. It should be preferred for most purposes.
  • Forschungsgruppe:Research Group: Computational LogicComputational LogicWissensbasierte SystemeKnowledge-Based Systems
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-540-76298-0_23.
@inproceedings{KRH2007,
  author    = {Markus Kr{\"{o}}tzsch and Sebastian Rudolph and Pascal Hitzler},
  title     = {Conjunctive Queries for a Tractable Fragment of {OWL 1.1}},
  editor    = {Karl Aberer and Key-Sun Choi and Natasha Noy and Dean Allemang
               and Kyung-Il Lee and Lyndon Nixon and Jennifer Golbeck and Peter
               Mika and Diana Maynard and Riichiro Mizoguchi and Guus Schreiber
               and Philippe Cudr{\'{e}}-Mauroux},
  booktitle = {Proceedings of the 6th International Semantic Web Conference
               (ISWC 2007)},
  series    = {LNCS},
  volume    = {4825},
  publisher = {Springer},
  year      = {2007},
  month     = {November},
  pages     = {310--323}
}