Conjunctive Queries for a Tractable Fragment of OWL 1.1

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.

DOI: 10.1007/978-3-540-76298-0_23

Extracted Key Phrases

1 Figure or Table

010203020072008200920102011201220132014201520162017
Citations per Year

90 Citations

Semantic Scholar estimates that this publication has 90 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Krtzsch2007ConjunctiveQF, title={Conjunctive Queries for a Tractable Fragment of OWL 1.1}, author={Markus Kr{\"{o}tzsch and Sebastian Rudolph and Pascal Hitzler}, booktitle={ISWC/ASWC}, year={2007} }