Conjunctive Queries for a Tractable Fragment of OWL 1.1
M. Krötzsch, S. Rudolph, and P. Hitzler. Proceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Korea, volume 4825 of LNCS, page 309--322. Berlin, Heidelberg, Springer Verlag, (November 2007)
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.
%0 Conference Paper
%1 Krötzsch/2007/Conjunctive
%A Krötzsch, Markus
%A Rudolph, Sebastian
%A Hitzler, Pascal
%B Proceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Korea
%C Berlin, Heidelberg
%D 2007
%E Aberer, Karl
%E Choi, Key-Sun
%E Noy, Natasha
%E Allemang, Dean
%E Lee, Kyung-Il
%E Nixon, Lyndon J B
%E Golbeck, Jennifer
%E Mika, Peter
%E Maynard, Diana
%E Schreiber, Guus
%E Cudré-Mauroux, Philippe
%I Springer Verlag
%K 2007 conjunctive formal_language fragment iswc owl query reasoning research_14 semantic_web
%P 309--322
%T Conjunctive Queries for a Tractable Fragment of OWL 1.1
%U http://iswc2007.semanticweb.org/papers/309.pdf
%V 4825
%X 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.
@inproceedings{Krötzsch/2007/Conjunctive,
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.},
added-at = {2007-11-07T19:13:58.000+0100},
address = {Berlin, Heidelberg},
author = {Krötzsch, Markus and Rudolph, Sebastian and Hitzler, Pascal},
biburl = {https://www.bibsonomy.org/bibtex/2e8431ffc9d0616f23f2eca1a55572bb5/iswc2007},
booktitle = {Proceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Korea},
crossref = {http://data.semanticweb.org/conference/iswc-aswc/2007/proceedings},
editor = {Aberer, Karl and Choi, Key-Sun and Noy, Natasha and Allemang, Dean and Lee, Kyung-Il and Nixon, Lyndon J B and Golbeck, Jennifer and Mika, Peter and Maynard, Diana and Schreiber, Guus and Cudré-Mauroux, Philippe},
interhash = {8ce9643264e3db45abab4ed448a270b9},
intrahash = {e8431ffc9d0616f23f2eca1a55572bb5},
keywords = {2007 conjunctive formal_language fragment iswc owl query reasoning research_14 semantic_web},
month = {November},
pages = {309--322},
publisher = {Springer Verlag},
series = {LNCS},
timestamp = {2007-11-07T19:20:53.000+0100},
title = {Conjunctive Queries for a Tractable Fragment of OWL 1.1},
url = {http://iswc2007.semanticweb.org/papers/309.pdf},
volume = 4825,
year = 2007
}