@inproceedings{0369bf1323eb4f138b5953528fabdd0d,
title = "Concept Forgetting for ALCOI-Ontologies using an Ackermann Approach",
abstract = "We present a method for forgetting concept symbols in ontologiesspecified in the description logic ALCOI. The method is anadaptation and improvement of a second-order quantifier eliminationmethod developed for modal logics and used for computing correspondenceproperties for modal axioms. It follows an approach exploiting aresult of Ackermann adapted to description logics. Important features inheritedfrom the modal approach are that the inference rules are guidedby an ordering compatible with the elimination order of the concept symbols.This provides more control over the inference process and reducesnon-determinism, and the size of the search space. The method is extendedwith a new case splitting inference rule, and several simplificationrules. Compared to related forgetting and uniform interpolation methodsfor description logics, the method can handle inverse roles, nominalsand ABoxes. Compared to the modal approach on which it is based, it ismore efficient in time and has higher success rates. The method has beenimplemented in Java using the OWL API. Preliminary experimental resultsshow that the order in which the concept symbols are eliminatedsignificantly affects the success rate and efficiency.",
author = "Y Zhao and Schmidt, {R A} and D Calvanese and B Konev",
year = "2015",
language = "English",
volume = "1350",
series = "CEUR Workshop Proceedings",
publisher = "RWTH Aachen University",
editor = "D Calvanese and B Konev",
booktitle = "Proceedings of the 28th International Workshop on Description Logics (DL-2015)",
address = "Germany",
}