Conjunctive Queries for a Tractable Fragment of OWL 1.1
Aus International Center for Computational Logic
Conjunctive Queries for a Tractable Fragment of OWL 1.1
Markus KrötzschMarkus Krötzsch, Sebastian RudolphSebastian Rudolph, Pascal HitzlerPascal Hitzler
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
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 Logic, Wissensbasierte SystemeKnowledge-Based Systems
@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}
}