@INPROCEEDINGS{ZhaoSchmidt15a,
AUTHOR = {Zhao, Y. and Schmidt, R. A.},
YEAR = {2015},
TITLE = {Concept Forgetting for ALCOI-Ontologies using an Ackermann Approach},
EDITOR = {Calvanese, D. and Konev, B.},
BOOKTITLE = {Proceedings of the 28th International Workshop on Description Logics (DL-2015)},
SERIES = {CEUR Workshop Proceedings},
VOLUME = {1350},
PUBLISHER = {CEUR-WS.org},
URL = {http://www.cs.man.ac.uk/~schmidt/publications/ZhaoSchmidt15a.html},
ABSTRACT = {We present a method for forgetting concept symbols in ontologies
specified in the description logic ALCOI. The method is an
adaptation and improvement of a second-order quantifier elimination
method developed for modal logics and used for computing correspondence
properties for modal axioms. It follows an approach exploiting a
result of Ackermann adapted to description logics. Important features inherited
from the modal approach are that the inference rules are guided
by an ordering compatible with the elimination order of the concept symbols.
This provides more control over the inference process and reduces
non-determinism, and the size of the search space. The method is extended
with a new case splitting inference rule, and several simplification
rules. Compared to related forgetting and uniform interpolation methods
for description logics, the method can handle inverse roles, nominals
and ABoxes. Compared to the modal approach on which it is based, it is
more efficient in time and has higher success rates. The method has been
implemented in Java using the OWL API. Preliminary experimental results
show that the order in which the concept symbols are eliminated
significantly affects the success rate and efficiency.}
}