@INPROCEEDINGS{ZhaoSchmidt17a,
AUTHOR = {Zhao, Y. and Schmidt, R. A.},
YEAR = {2017},
TITLE = {Role Forgetting for {$\mathcal{ALCOQH}(\nabla)$}-Ontologies Using an Ackermann Approach},
EDITOR = {Sierra, C.},
BOOKTITLE = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI'17)},
PUBLISHER = {AAAI Press/IJCAI},
PAGES = {1354--1361},
DOI = {10.24963/ijcai.2017/188},
URL = {https://doi.org/10.24963/ijcai.2017/188},
URL = {http://www.cs.man.ac.uk/~schmidt/publications/ZhaoSchmidt17a.html},
ABSTRACT = {
Forgetting refers to a non-standard reasoning problem concerned with 
eliminating concept and role symbols from description logic-based 
ontologies while preserving all logical consequences up to the 
remaining symbols. Whereas previous research has primarily focused on 
forgetting concept symbols, in this paper, we turn our attention to 
role symbol forgetting. In particular, we present a practical method 
for semantic role forgetting for ontologies expressible in the 
description logic $\mathcal{ALCOQH}(\nabla)$, i.e., the basic 
description logic $\mathcal{ALC}$ extended with nominals, qualified number 
restrictions, role inclusions and the universal role. Being based on 
an Ackermann approach, the method is the only approach so far for 
forgetting role symbols in description logics with qualified number 
restrictions. The method is goal-oriented and incremental. It always 
terminates and is sound in the sense that the forgetting solution is 
equivalent to the original ontology up to the forgotten symbols 
possibly with new concept definer symbols. Despite our method not 
being complete, performance results of an evaluation with a 
prototypical implementation have shown very good success rates on 
real-world ontologies.
},
}