Forgetting and Uniform Interpolation of ALC-Ontologies with ABoxes.

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

In M. Bienvenu and R. Rosati (eds), Proceedings of the 27th International Workshop on Description Logics (DL-2014). CEUR Workshop Proceedings, Vol. 1193,, 245-257. BiBTeX, PDF.

We present a method to compute uniform interpolants of ALC-ontologies with ABoxes. Uniform interpolants are restricted views of ontologies that only use a specified set of symbols, but share all entailments in that signature with the original ontology. This way, it allows to select or remove information from an ontology based on a signature, which has applications in privacy, ontology analysis and ontology reuse. We show that in general, uniform interpolants of ALC-ontologies with ABoxes may require disjunctive statements or nominals in the ABox. An evaluation of the method suggests however, that in most practical cases uniform interpolants can be represented as a classical ALC-ontology.

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

Last modified: 09 Sep 14
Copyright © 2014 Renate A. Schmidt, School of Computer Science, Man Univ,