When Are Description Logic Knowledge Bases Indistinguishable?
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Best Papers from Sister Conferences Track. Pages 4240-4245.
Abstract
Deciding inseparability of description logic knowledge bases (KBs) with respect to conjunctive queries is fundamental for many KB engineering and maintenance tasks including versioning, module extraction, knowledge exchange and forgetting. We study the combined and data complexity of this inseparability problem for fragments of Horn-ALCHI, including the description logics underpinning OWL 2 QL and OWL 2 EL.
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, and Michael Zakharyaschev. 2015. When Are Description Logic Knowledge Bases Indistinguishable?. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15. IJCAI, 4240–4245. https://ijcai.org/proceedings/2015/603
Botoeva, E., Kontchakov, R., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2015). When Are Description Logic Knowledge Bases Indistinguishable?. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15 (pp. 4240–4245). IJCAI. https://ijcai.org/proceedings/2015/603
@inproceedings{ijcai2015p603,
title = {When Are Description Logic Knowledge Bases Indistinguishable?},
author = {Botoeva, Elena and Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, Frank and Zakharyaschev, Michael},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI-15}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Qiang Yang and Michael Wooldridge},
pages = {4240--4245},
year = {2015},
month = {7},
note = {Best Papers from Sister Conferences Track},
url = {https://ijcai.org/proceedings/2015/603},
}
TY - CPAPER TI - When Are Description Logic Knowledge Bases Indistinguishable? AU - Botoeva, Elena AU - Kontchakov, Roman AU - Ryzhikov, Vladislav AU - Wolter, Frank AU - Zakharyaschev, Michael T2 - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15 PB - International Joint Conferences on Artificial Intelligence PY - 2015 SP - 4240 EP - 4245 UR - https://ijcai.org/proceedings/2015/603 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
