@INPROCEEDINGS{ZhaoSchmidt18b,
AUTHOR = {Zhao, Y. and Schmidt, R. A.},
YEAR = {2018},
TITLE = {On Concept Forgetting in Description Logics with Qualified Number Restrictions},
EDITOR = {Lang, J.},
BOOKTITLE = {Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI'18)},
PUBLISHER = {AAAI Press/IJCAI},
PAGES = {1984--1990},
ISBN = {978-0-9992411-2-7},
DOI = {},
URL = {https://www.ijcai.org/proceedings/2018/0274.pdf},
URL = {http://www.cs.man.ac.uk/~schmidt/publications/ZhaoSchmidt18b.html},
ABSTRACT = {This paper presents a practical method for 
computing solutions of concept forgetting in the description 
logic $\mathcal{ALCOQ}(\neg, \sqcap, sqcup)$, basic 
$\mathcal{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 $\mathcal{ALCOQ}(\neg, \sqcap, sqcup)$. 
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.
},
}