Logo des Repositoriums
 
Zeitschriftenartikel

LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Text/Journal Article

Zusatzinformation

Datum

2020

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Springer

Zusammenfassung

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.

Beschreibung

Koopmann, Patrick (2020): LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics. KI - Künstliche Intelligenz: Vol. 34, No. 3. DOI: 10.1007/s13218-020-00655-w. Springer. PISSN: 1610-1987. pp. 381-387

Zitierform

Tags