Conjunctive Query Inseparability of OWL 2 QL TBoxes

@inproceedings{Konev2011ConjunctiveQI,
  title={Conjunctive Query Inseparability of OWL 2 QL TBoxes},
  author={Boris Konev and Roman Kontchakov and Michel Ludwig and Thomas Schneider and Frank Wolter and Michael Zakharyaschev},
  booktitle={AAAI},
  year={2011}
}
The OWL 2 profile OWL 2 QL, based on the DL-Lite family of description logics, is emerging as a major language for developing new ontologies and approximating the existing ones. Its main application is ontology-based data access, where ontologies are used to provide background knowledge for answering queries over data. We investigate the corresponding notion of query inseparability (or equivalence) for OWL 2 QL ontologies and show that deciding query inseparability is PSPACE-hard and in EXPTIME… CONTINUE READING
Highly Cited
This paper has 34 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 21 extracted citations

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…