- Titel
- PSpace Reasoning for DLs with Qualifying Number Restrictions
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-788921
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 99-11
- Erstveröffentlichung
- 1999
- DOI
- https://doi.org/10.25368/2022.96
- Abstract (EN)
- The description logic ALCQI extends the 'standard' description logic ALC by qualifying number restrictions and converse roles. We show that conept satisfiability for this DL is still decidable in polynomial space. The presented algorithm combines techniques from [Tob99a] to deal with qualifying number restrictions and from [HST99] to deal with converse roles. Additionally, we extend the result to ALCQIR, which extends ALCQI by role intersections. This solves an open problem from [DLNN97]. The result for ALCQI has already been presented in the seperate technical report [Tob99b]. In this report we use the same techniques to obtain the stronger result for ALCQIR.
- Freie Schlagwörter (DE)
- Zahlenbeschränkungen, umgekehrte Rollen, Rollenüberschneidungen, Beschreibungslogik
- Freie Schlagwörter (EN)
- number restrictions, converse roles, role intersections, description logic
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 136
- Publizierende Institution
- Aachen University of Technology, Aachen
- Version / Begutachtungsstatus
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-788921
- Veröffentlichungsdatum Qucosa
- 20.05.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0