%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 }