Role Forgetting for ALCOQH(top)-Ontologies Using an Ackermann Approach

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

In Sierra, C. (ed), Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI 2017). AAAI Press/IJCAI, 1354-1361. BiBTeX, PDF, Details at publisher.

Forgetting refers to a non-standard reasoning problem concerned with eliminating concept and role symbols from description logic-based ontologies while preserving all logical consequences up to the remaining symbols. Whereas previous research has primarily focused on forgetting concept symbols, in this paper, we turn our attention to role symbol forgetting. In particular, we present a practical method for semantic role forgetting for ontologies expressible in the description logic ALCOQH(top), i.e., the basic description logic ALC extended with nominals, qualified number restrictions, role inclusions and the universal role. Being based on an Ackermann approach, the method is the only approach so far for forgetting role symbols in description logics with qualified number restrictions. The method is goal-oriented and incremental. It always terminates and is sound in the sense that the forgetting solution is equivalent to the original ontology up to the forgotten symbols possibly with new concept definer symbols. Despite our method not being complete, performance results of an evaluation with a prototypical implementation have shown very good success rates on real-world ontologies.


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

Last modified: 21 Aug 17
Copyright © 2016 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk