Conjunctive Queries for a Tractable Fragment of OWL 1.1
From semanticweb.org
A paper written by Markus Krötzsch, Sebastian Rudolph, and Pascal Hitzler. It was presented at the ISWC2007+ASWC2007.
[edit] 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.
[edit] External links
A linked list of all papers is provided in the article on ISWC2007+ASWC2007 papers. This article has originally been created from the ISWC 2007/ASWC 2007 metadata.
