LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics

Research output: Contribution to JournalArticleAcademicpeer-review


Uniform interpolation and forgetting describe the task of projecting a given ontology into a user-specified vocabulary, that is, of computing a new ontology that only uses names from a specified set of names, while preserving all logical entailments that can be expressed with those names. This is useful for ontology analysis, ontology reuse and privacy. Lethe is a tool for performing uniform interpolation on ontologies in expressive description logics, and it can be used from the command line, using a graphical interface, and as a Java library. It furthermore implements methods for computing logical difference and performing abduction using uniform interpolation. We present the tool together with an evaluation on a varied corpus of realistic ontologies.
Original languageEnglish
Pages (from-to)381-387
JournalKI - Kunstliche Intelligenz
Issue number3
Publication statusPublished - 1 Sept 2020
Externally publishedYes


Funded by the DFG grant 389793660 as part of TRR 248 (see https://www.perspicuous-computing.science/ )

FundersFunder number
Deutsche Forschungsgemeinschaft389793660


    Dive into the research topics of 'LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics'. Together they form a unique fingerprint.

    Cite this