Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes

Uniform interpolation and the dual task of forgetting restrictthe ontology to a specified subset of concept and role names.This makes them useful tools for ontology analysis, ontologyevolution and information hiding. Most previous researchfocused on uniform interpolation of TBoxes. However,especially for applications in privacy and informationhiding, it is essential that uniform interpolation methods candeal with ABoxes as well. We present the first method thatcan compute uniform interpolants of any ALC ontology withABoxes. ABoxes bring their own challenges when computinguniform interpolants, possibly requiring disjunctive statementsor nominals in the resulting ABox. Our method cancompute representations of uniform interpolants in ALCO.An evaluation on realistic ontologies shows that these uniforminterpolants can be practically computed, and can ofteneven be presented in pure ALC.