- Titel
- Approximation in Description Logics
- Untertitel
- How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in FL₀
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795861
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 16-08
- Erstveröffentlichung
- 2016
- DOI
- https://doi.org/10.25368/2022.230
- Abstract (EN)
- Recently introduced approaches for relaxed query answering, approximately defining concepts, and approximately solving unification problems in Description Logics have in common that they are based on the use of concept comparison measures together with a threshold construction. In this paper, we will briefly review these approaches, and then show how weighted automata working on infinite trees can be used to construct computable concept comparison measures for FL₀ that are equivalence invariant w.r.t. general TBoxes. This is a first step towards employing such measures in the mentioned approximation approaches.
- Accepted to LATA 2017
- Freie Schlagwörter (DE)
- Subsumtion, Beschreibungslogik, Vereinheitlichung, Approximation
- Freie Schlagwörter (EN)
- subsumption, description logic, unification, approximation
- 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-795861
- Veröffentlichungsdatum Qucosa
- 20.06.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0