Knowledge Integration for Description Logics
Abstract
Description logic reasoners are able to detect incoherences (such as logical inconsistency and concept unsatisfiability) in knowledge bases, but provide little support for resolving them. We propose to recast techniques for propositional inconsistency management into the description logic setting. We show that the additional structure afforded by description logic statements can be used to refine these techniques. Our focus in this paper is on the formal semantics for such techniques, although we do provide high-level decision procedures for the knowledge integration strategies discussed. 1
Cite
Text
Meyer et al. "Knowledge Integration for Description Logics." AAAI Conference on Artificial Intelligence, 2005.Markdown
[Meyer et al. "Knowledge Integration for Description Logics." AAAI Conference on Artificial Intelligence, 2005.](https://mlanthology.org/aaai/2005/meyer2005aaai-knowledge/)BibTeX
@inproceedings{meyer2005aaai-knowledge,
title = {{Knowledge Integration for Description Logics}},
author = {Meyer, Thomas Andreas and Lee, Kevin and Booth, Richard},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2005},
pages = {645-650},
url = {https://mlanthology.org/aaai/2005/meyer2005aaai-knowledge/}
}