Forgetting Concept and Role Symbols in ALCH-Ontologies

Koopmann, P. and Schmidt, R. A. (2013)

In McMillan, K., Middeldorp, A. and Voronkov, A. (eds), Proc. LPAR 2013. Lecture Notes in Computer Science, Vol. 8312, Springer, 552-567. BiBTeX, PDF (final version will be available from Springer).

We develop a resolution-based method for forgetting concept and role symbols in ALCH ontologies, or for computing uniform interpolants in ALCH. Uniform interpolants use only a restricted set of symbols, while preserving logical consequences of the original ontology involving these symbols. While recent work towards practical methods for uniform interpolation in expressive description logics limits attention to forgetting concept symbols, we believe most applications would benefit from the possibility to forget both role and concept symbols. We focus on the description logic ALCH, which allows for the formalisation of role hierarchies. Our approach is based on a recently developed resolutionbased calculus for forgetting concept symbols in ALC ontologies, which we extend by redundancy elimination techniques to make it practical for larger ontologies. Experiments on ALCH fragments of real life ontologies suggest that our method is applicable in a lot of real-life applications.


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

Last modified: 09 Sep 14
Copyright © 2013 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk