Forgetting Concept and Role Symbols in ALCOIHmu+(top,and)-Ontologies

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

In Kambhampati, S. (ed), Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI 2016). AAAI Press/IJCAI, 1345-1352. BiBTeX, PDF.

Forgetting is a non-standard reasoning problem concerned with creating restricted views for ontologies relative to subsets of their initial signatures while preserving all 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 ALCOIH\mu+(top,and). The method is one of only few approaches that can eliminate role symbols, that can handle role inverse, ABox statements, and is 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.


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