Concept Forgetting for ALCOI-Ontologies using an Ackermann Approach

Y Zhao, R A Schmidt, D Calvanese (Editor), B Konev (Editor)

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

    48 Downloads (Pure)


    We present a method for forgetting concept symbols in ontologiesspecified in the description logic ALCOI. The method is anadaptation and improvement of a second-order quantifier eliminationmethod developed for modal logics and used for computing correspondenceproperties for modal axioms. It follows an approach exploiting aresult of Ackermann adapted to description logics. Important features inheritedfrom the modal approach are that the inference rules are guidedby an ordering compatible with the elimination order of the concept symbols.This provides more control over the inference process and reducesnon-determinism, and the size of the search space. The method is extendedwith a new case splitting inference rule, and several simplificationrules. Compared to related forgetting and uniform interpolation methodsfor description logics, the method can handle inverse roles, nominalsand ABoxes. Compared to the modal approach on which it is based, it ismore efficient in time and has higher success rates. The method has beenimplemented in Java using the OWL API. Preliminary experimental resultsshow that the order in which the concept symbols are eliminatedsignificantly affects the success rate and efficiency.
    Original languageEnglish
    Title of host publicationProceedings of the 28th International Workshop on Description Logics (DL-2015)
    EditorsD Calvanese, B Konev
    PublisherRWTH Aachen University
    Publication statusPublished - 2015

    Publication series

    NameCEUR Workshop Proceedings


    Dive into the research topics of 'Concept Forgetting for ALCOI-Ontologies using an Ackermann Approach'. Together they form a unique fingerprint.

    Cite this