Conjunctive Queries for a Tractable Fragment of OWL 1.1

Markus KrötzschMarkus Krötzsch, Sebastian RudolphSebastian Rudolph, Pascal HitzlerPascal Hitzler

ISBN: 978-3-540-76297
ISSN: 0302-9743
Download
DOI Link

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

Details
Bibtex

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 Logic, Wissensbasierte 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}
}