- Titel
- Description Logic Actions with general TBoxes
- Untertitel
- a Pragmatic Approach
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-793491
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 06-03
- Erstveröffentlichung
- 2006
- DOI
- https://doi.org/10.25368/2022.156
- Abstract (EN)
- Action formalisms based on description logics (DLs) have recently been introduced as decidable fragments of well-established action theories such as the Situation Calculus and the Fluent Calculus. However, existing DL action formalisms fail to include general TBoxes, which are the standard tool for formalising ontologies in modern description logics. We define a DL action formalism that admits general TBoxes, propose an approach to addressing the ramification problem that is introduced in this way, and perform a detailed investigation of the decidability and computational complexity of reasoning in our formalism.
- Freie Schlagwörter (DE)
- Subsumtion, ALC-Konzept, Beschreibungslogik
- Freie Schlagwörter (EN)
- subsumption, ALC-concept, description logic
- 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-793491
- Veröffentlichungsdatum Qucosa
- 16.06.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0