- Titel
- Context-Sensitive Description Logics in Dynamic Settings
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-901744
- Erstveröffentlichung
- 2024
- Datum der Einreichung
- 30.11.2022
- Datum der Verteidigung
- 01.03.2023
- Abstract (EN)
- The role-based paradigm has been introduced for the design of adaptive and context sensitive software systems. Naturally, a system built on top of the paradigm is expected to thrive in dynamic environments. In consequence, reasoning services over temporal aspect are essential in such a system. To represent context-dependent domains, various extensions of Description Logics (DLs) with context are introduced and studied. We focus on the family of Contextualized Description Logics (ConDLs) that have been shown capable to represent role-based modelling languages while retaining decidability. However, reasoning problems over dynamic settings under the logics are rather unexplored.
- Freie Schlagwörter (EN)
- description logics, temporal logics, knowledge representation
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- SK 130
- ST 136
- ST 125
- GutachterIn
- Prof. Dr. Franz Baader
- Prof. Dr. Alessandro Artale
- BetreuerIn Hochschule / Universität
- Prof. Dr. Franz Baader
- Den akademischen Grad verleihende / prüfende Institution
- Technische Universität Dresden, Dresden
- Förder- / Projektangaben
- Deutsche Forschungsgemeinschaft Graduiertenkollegs
Role-based Software-Infrastructures for Continuous-Context- Sensitive-Systems
(RoSI)
ID: GRK-1907 - Deutsche Forschungsgemeinschaft Transregional Collaborative Research Centre
Foundations of Perspicuous Software Systems
(CPEC)
ID: TRR-248 - Version / Begutachtungsstatus
- publizierte Version / Verlagsversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-901744
- Veröffentlichungsdatum Qucosa
- 12.04.2024
- Dokumenttyp
- Dissertation
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0