- Titel
- Decidability of SHIQ with Complex Role Inclusion Axioms
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-790258
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 02-06
- Erstveröffentlichung
- 2002
- DOI
- https://doi.org/10.25368/2022.124
- Abstract (EN)
- Motivated by medical terminology applications, we investigate the decidability of an expressive and prominent DL, SHIQ, extended with role inclusion axioms of the form RoS⊑T. It is well-known that a naive such extension leads to undecidability, and thus we restrict our attention to axioms of the form RoS⊑R or SoR⊑R, which is the most important form of axioms in the applications that motivated this extension. Surprisingly, this extension is still undecidable. However, it turns out that restricting our attention further to acyclic sets of such axioms, we regain decidability. We present a tableau-based decision procedure for this DL and report on its implementation, which behaves well in practise and provides important additional functionality in a medical terminology application.
- Freie Schlagwörter (DE)
- Beschreibungslogik, Axiom, Tableaubasiertes Entscheidungsverfahren, Streckung
- Freie Schlagwörter (EN)
- description logic, axiom, tableau-based decision procedure, extension
- 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-790258
- Veröffentlichungsdatum Qucosa
- 30.05.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0