LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics
| dc.contributor.author | Koopmann, Patrick | |
| dc.date.accessioned | 2021-04-23T09:35:32Z | |
| dc.date.available | 2021-04-23T09:35:32Z | |
| dc.date.issued | 2020 | |
| dc.description.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. | de |
| dc.identifier.doi | 10.1007/s13218-020-00655-w | |
| dc.identifier.pissn | 1610-1987 | |
| dc.identifier.uri | http://dx.doi.org/10.1007/s13218-020-00655-w | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/36316 | |
| dc.publisher | Springer | |
| dc.relation.ispartof | KI - Künstliche Intelligenz: Vol. 34, No. 3 | |
| dc.relation.ispartofseries | KI - Künstliche Intelligenz | |
| dc.subject | Description logics | |
| dc.subject | Forgetting | |
| dc.subject | Non-classical reasoning | |
| dc.subject | Uniform interpolation | |
| dc.title | LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics | de |
| dc.type | Text/Journal Article | |
| gi.citation.endPage | 387 | |
| gi.citation.startPage | 381 |