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.
| Identifer | oai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:90174 |
| Date | 12 April 2024 |
| Creators | Tirtarasa, Satyadharma |
| Contributors | Baader, Franz, Artale, Alessandro, Technische Universität Dresden |
| Source Sets | Hochschulschriftenserver (HSSS) der SLUB Dresden |
| Language | English |
| Detected Language | English |
| Type | info:eu-repo/semantics/publishedVersion, doc-type:doctoralThesis, info:eu-repo/semantics/doctoralThesis, doc-type:Text |
| Rights | info:eu-repo/semantics/openAccess |
| Relation | info:eu-repo/grantAgreement/Deutsche Forschungsgemeinschaft/Graduiertenkollegs/GRK-1907//Role-based Software-Infrastructures for Continuous-Context- Sensitive-Systems/RoSI, info:eu-repo/grantAgreement/Deutsche Forschungsgemeinschaft/Transregional Collaborative Research Centre/TRR-248//Foundations of Perspicuous Software Systems/CPEC |
Page generated in 0.003 seconds