ML Anthology

When Are Description Logic Knowledge Bases Indistinguishable?

Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
IJCAI 2015 pp. 4240-4246
/ijcai/2015/botoeva2015ijcai-description/

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.

PDF IJCAI Semantic Scholar

Cite

Text

Botoeva et al. "When Are Description Logic Knowledge Bases Indistinguishable?." International Joint Conference on Artificial Intelligence, 2015.

Markdown

[Botoeva et al. "When Are Description Logic Knowledge Bases Indistinguishable?." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/botoeva2015ijcai-description/)

BibTeX

@inproceedings{botoeva2015ijcai-description,
  title     = {{When Are Description Logic Knowledge Bases Indistinguishable?}},
  author    = {Botoeva, Elena and Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, Frank and Zakharyaschev, Michael},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {4240-4246},
  url       = {https://mlanthology.org/ijcai/2015/botoeva2015ijcai-description/}
}