LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics
Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Beitragende
Abstract
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.
Details
Originalsprache | Englisch |
---|---|
Seiten (von - bis) | 381–387 |
Fachzeitschrift | KI - Künstliche Intelligenz |
Jahrgang | 34 |
Ausgabenummer | 3 |
Publikationsstatus | Veröffentlicht - 2020 |
Peer-Review-Status | Ja |
Externe IDs
Scopus | 85091180199 |
---|