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

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

In Lenzerini, M. and Penaloza, R. (eds), Proceedings of the 29th International Workshop on Description Logics (DL-2016). CEUR Workshop Proceedings, Vol. 1577, CEUR-WS.org. BiBTeX, PDF.

Forgetting is a non-standard reasoning problem that is concerned with creating restricted views of ontologies relative to a subset of the initial signature and preserving pertinent 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 $\mathcal{ALCOIH}\mu^+(\nabla,\sqcap)$. The method is one of only few approaches that can eliminate role symbols, that can handle role inverse and ABox statements (via nominals), and 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: 24 May 16
Copyright © 2016 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk