On Concept Forgetting in Description Logics with Qualified Number Restrictions
Abstract
This paper presents a practical method for computing solutions of concept forgetting in the description logic ALCOQ(neg,and,or), basic ALC extended with nominals, qualified number restrictions, role negation, role conjunction and role disjunction. The method is based on a non-trivial generalisation of Ackermann's Lemma, and attempts to compute either semantic solutions of concept forgetting or uniform interpolants in ALCOQ(neg,and,or). It is so far the only approach to concept forgetting in description logics with number restrictions plus nominals, as well as in description logics with ABoxes. Results of an evaluation with a prototypical implementation have shown that the method was successful in more than 90% of the test cases from a large corpus of biomedical ontologies. In only 13.2% of these cases the solutions were semantic solutions.
Cite
Text
Zhao and Schmidt. "On Concept Forgetting in Description Logics with Qualified Number Restrictions." International Joint Conference on Artificial Intelligence, 2018. doi:10.24963/IJCAI.2018/274Markdown
[Zhao and Schmidt. "On Concept Forgetting in Description Logics with Qualified Number Restrictions." International Joint Conference on Artificial Intelligence, 2018.](https://mlanthology.org/ijcai/2018/zhao2018ijcai-concept/) doi:10.24963/IJCAI.2018/274BibTeX
@inproceedings{zhao2018ijcai-concept,
title = {{On Concept Forgetting in Description Logics with Qualified Number Restrictions}},
author = {Zhao, Yizheng and Schmidt, Renate A.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2018},
pages = {1984-1990},
doi = {10.24963/IJCAI.2018/274},
url = {https://mlanthology.org/ijcai/2018/zhao2018ijcai-concept/}
}