@INPROCEEDINGS{ZhaoSchmidt16b,
AUTHOR = {Zhao, Y. and Schmidt, R. A.},
YEAR = {2016},
TITLE = {Forgetting Concept and Role Symbols in {$\mathcal{ALCOIH}\mu^+(\nabla,\sqcap)$}-Ontologies},
EDITOR = {Kambhampati, S.},
BOOKTITLE = {Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI 2016)},
PUBLISHER = {AAAI Press/IJCAI},
PAGES = {1345--1352},
URL = {http://www.cs.man.ac.uk/~schmidt/publications/ZhaoSchmidt16b.html},
URL = {http://www.ijcai.org/Proceedings/16/Papers/194.pdf},
ABSTRACT = {
Forgetting is a non-standard reasoning problem
concerned with creating restricted views for ontologies 
relative to subsets of their initial signatures 
while preserving all logical consequences
up to the symbols in the restricted views.  In
this paper, we present an Ackermann-based approach for 
forgetting of concept and role symbols in ontologies 
expressible in the description logic ALCOIH\mu+(top,and).
The method is one of only few approaches that can 
eliminate role symbols, that can handle role inverse, 
ABox statements, and is the only approach so far 
providing support for forgetting in description logics 
with nominals. Despite the inherent difficulty of 
forgetting for this level of expressivity, performance 
results with a prototypical implementation have shown 
very good success rates on real-world ontologies.
}
}