Concept Forgetting in ALCOI-Ontologies Using an Ackermann Approach

Zhao, Y. and Schmidt, R. A. (2015)

In Arenas, M. and Corcho, O. and Simperl, E. and Strohmaier, M. and d'Aquin, M. and Srinivas, K. and Groth, P. T. and Dumontier, M. and Heflin, J. and Thirunarayan, K. and Staab, S. (eds), The Semantic Web, 14th International Semantic Web Conference, ISWC 2015. Lecture Notes in Computer Science, Vol. 9366, Springer, 587-602. BiBTeX, PDF, (final version available via DOI link to Springer).

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. An important feature inherited from the modal approach is 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, resulting in a smaller 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 improves the success rates. The method has been implemented in Java using the OWL API. Experimental results show that the order in which the concept symbols are eliminated significantly affects the success rate and efficiency.


Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 21 Oct 15
Copyright © 2015 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk