- Titel
- Role-Value Maps and General Concept Inclusions in the Description Logic FL₀
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-796201
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 19-08
- Erstveröffentlichung
- 2019
- DOI
- https://doi.org/10.25368/2022.257
- Abstract (EN)
- We investigate the impact that general concept inclusions and role-value maps have on the complexity and decidability of reasoning in the Description Logic FL₀. On the one hand, we give a more direct proof for ExpTimehardness of subsumption w.r.t. general concept inclusions in FL₀. On the other hand, we determine restrictions on role-value maps that ensure decidability of subsumption, but we also show undecidability for the cases where these restrictions are not satisfied.
- Freie Schlagwörter (DE)
- Subsumtion, FL₀, Beschreibungslogik, strukturelle Charakterisierung
- Freie Schlagwörter (EN)
- subsumption, FL₀, description logic, structural characterization
- 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-796201
- Veröffentlichungsdatum Qucosa
- 20.06.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0