Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes

P Koopmann, R A Schmidt, B Bonet (Editor), S Koenig (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    82 Downloads (Pure)


    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.
    Original languageEnglish
    Title of host publicationProceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence
    EditorsB Bonet, S Koenig
    PublisherAAAI Press
    Number of pages7
    ISBN (Print)978-1-57735-698-1
    Publication statusPublished - 2015


    Dive into the research topics of 'Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes'. Together they form a unique fingerprint.

    Cite this