Zakharyaschev, Michael (2011) Query inseparability and module extraction in OWL 2 QL. In: Kutz, O. and Schneider, T. (eds.) Modular Ontologies. Frontiers in Artificial Intelligence and Applications 230. Amsterdam, The Netherlands: IOS Press, pp. 10-11. ISBN 9781607507987.
Abstract
The OWL 2 QL profile of OWL, based on the DL family of description logics, is emerging as a major language for developing new ontologies and approximating existing ones. Its main application is ontology-based data access, where ontologies are used to provide background knowledge for answering queries over data. We give a survey of recent results on the computational complexity of checking query inseparability for OWL 2 QL ontologies and analyse the impact of various OWL 2 QL constructs in the context of query inseparability. We also discuss practical query inseparability checking and minimal module extraction algorithms, as well as experimental results.
Metadata
Item Type: | Book Section |
---|---|
Additional Information: | Modular Ontologies - Proceedings of the Fifth International Workshop, WoMO 2011, Ljubljana, Slovenia, August 2011 |
School: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
Depositing User: | Administrator |
Date Deposited: | 30 May 2013 13:44 |
Last Modified: | 09 Aug 2023 12:33 |
URI: | https://eprints.bbk.ac.uk/id/eprint/7072 |
Statistics
Additional statistics are available via IRStats2.