@INPROCEEDINGS{ZhaoSchmidt16a,
AUTHOR = {Zhao, Y. and Schmidt, R. A.},
YEAR = {2016},
TITLE = {Forgetting Concept and Role Symbols in {$\mathcal{ALCOIH}\mu^+(\nabla,\sqcap)$}-Ontologies},
EDITOR = {Lenzerini, M. and Pe{\~n}aloza, R.},
BOOKTITLE = {Proceedings of the 29th International Workshop on Description Logics (DL-2016)},
SERIES = {CEUR Workshop Proceedings},
VOLUME = {CEUR-WS/Vol-1577},
URL = {http://www.cs.man.ac.uk/~schmidt/publications/ZhaoSchmidt16a.html},
ABSTRACT = {Forgetting is a non-standard reasoning problem that is concerned
with creating restricted views of ontologies relative to a subset
of the initial signature and preserving pertinent 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 $\mathcal{ALCOIH}\mu^+(\nabla,\sqcap)$. 
The method is one of only few approaches that can eliminate role symbols,
that can handle role inverse and ABox statements (via nominals), and
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.
}
}