- Titel
- A PSpace-algorithm for ALCQI-satisfiability
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-788915
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 99-09
- Erstveröffentlichung
- 1999
- DOI
- https://doi.org/10.25368/2022.95
- Abstract (EN)
- The description logic ALCQI extends the 'standard' description logic ALC by qualifying number restrictions and converse roles. We show that concept satisfiability for this DL is still decidable in polynomial space. The presented algorithm combines techniques from [Tob99] to deal with qualifying number restrictions and from [HST99] to deal with converse roles.
- Freie Schlagwörter (DE)
- Beschreibungslogik, polynomialer Raum, Zahlenbeschränkungen, umgekehrte Rollen
- Freie Schlagwörter (EN)
- description logic, polynomial space, number restrictions, converse roles
- 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-788915
- Veröffentlichungsdatum Qucosa
- 20.05.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0