- Titel
- Concise Justifications Versus Detailed Proofs for Description Logic Entailments
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-887852
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 21-05
- Erstveröffentlichung
- 2021
- DOI
- https://doi.org/10.25368/2023.225
- Abstract (EN)
- We discuss explanations in Description Logics (DLs), a family of logics used for knowledge representation. Initial work on explaining consequences for DLs had focused on justifications, which are minimal subsets of axioms that entail the consequence. More recently, it was proposed that proofs can provide more detailed information about why a consequence follows. Moreover, several measures have been proposed to estimate the comprehensibility of justifications and proofs, for example, their size or the complexity of logical expressions. In this paper, we analyze the connection between these measures, e.g. whether small justifications necessarily give rise to small proofs. We use a dataset of DL proofs that was constructed last year based on the ontologies of the OWL Reasoner Evaluation 2015. We find that, in general, less complex justifications indeed correspond to less complex proofs, and discuss some exceptions to this rule.
- Andere Ausgabe
- Zuerst erschienen in „XLoKR 2021 Explainable Logic-Based Knowledge Representation”.
Link: https://xlokr21.ai.vub.ac.be/ - Freie Schlagwörter (DE)
- Beschreibungslogik, Beweise, Erklärungen, Auswertung
- Freie Schlagwörter (EN)
- description logic, proofs, explanations, evaluation
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 136
- Herausgeber (Institution)
- Technische Universität Dresden
- Förder- / Projektangaben
- Deutsche Forschungsgemeinschaft TRR 248: Foundations of Perspicuous Software Systems
(CPEC)
ID: 389792660 - Version / Begutachtungsstatus
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-887852
- Veröffentlichungsdatum Qucosa
- 29.12.2023
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0