- Titel
- On the Complexity of Axiom Pinpointing in Description Logics
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795142
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 09-04
- Erstveröffentlichung
- 2009
- DOI
- https://doi.org/10.25368/2022.173
- Abstract (EN)
- We investigate the computational complexity of axiom pinpointing in Description Logics, which is the task of finding minimal subsets of a knowledge base that have a given consequence. We consider the problems of enumerating such subsets with and without order, and show hardness results that already hold for the propositional Horn fragment, or for the Description Logic EL. We show complexity results for several other related decision and enumeration problems for these fragments that extend to more expressive logics. In particular we show that hardness of these problems depends not only on expressivity of the fragment but also on the shape of the axioms used.
- Freie Schlagwörter (DE)
- Subsumtion, Axiom-Pinpointing, Beschreibungslogik, Fragment
- Freie Schlagwörter (EN)
- subsumption, axiom pinpointing, description logic, fragment
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 136
- Publizierende Institution
- Technische Universität Dresden, Dresden
- Version / Begutachtungsstatus
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-795142
- Veröffentlichungsdatum Qucosa
- 16.06.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0