@INPROCEEDINGS{KoopmannSchmidt14b,
AUTHOR = {Koopmann, P. and Schmidt, R. A.},
YEAR = {2014},
TITLE = {Forgetting and Uniform Interpolation of ALC-Ontologies with ABoxes},
EDITOR = {Bienvenu, M. and Rosati, R.},
BOOKTITLE = {Proceedings of the 27th International Workshop on Description Logics (DL-2014)},
SERIES = {CEUR Workshop Proceedings},
VOLUME = {1193},
PUBLISHER = {CEUR-WS.org},
PAGES = (245--257},
NOTE = {Oral presentation},
URL = {http://www.cs.man.ac.uk/~schmidt/publications/KoopmannSchmidt14b.html},
ABSTRACT = {
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.
}
}