Conjunctive Queries for a Tractable Fragment of OWL 1.1

TitleConjunctive Queries for a Tractable Fragment of OWL 1.1
Publication TypeConference Paper
Year of Publication2007
AuthorsSebastian Rudolph, Markus Krotzsch, Pascal Hitzler
Conference Name6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC
Pagination310-323
Date Published11/2007
PublisherThe Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC
Conference LocationBusan, Korea
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.

Full Text

Markus Krotzsch, Sebastian Rudolph, Pascal Hitzler, 'Conjunctive Queries for a Tractable Fragment of OWL 1.1,' The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC, Busan, Korea, November 11-15 2007.