Reasoning on Context-Dependent Domain Models

Böhme, Stephan; Kühn, Thomas

doi:10.1007/978-3-319-70682-5_5

Cited by 2 publications

(3 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…From a practical point of view, choosing ALCO ALCO has the advantage that an efficient reasoning tool for checking consistency already exists [7]. The reasoner even supports the more expressive combination SHOIQ SHOIQ .…”

Section: Resultsmentioning

confidence: 99%

“…How to deal with explicit context extensions of modelling languages efficiently is a wellstudied research topic in different areas (e.g. [13,10,12,7]). In [8], Böhme and Lippmann studied a family of contextualized Description Logics (ConDLs).…”

Section: Introductionmentioning

confidence: 99%

“…In [8], Böhme and Lippmann studied a family of contextualized Description Logics (ConDLs). For this family, a reasoning tool has been implemented, and has been used for translating and checking consistency of models of a role-based modelling language for software systems [11,7].…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Projection in a Description Logic of Context with Actions

Tirtarasa¹,

Zarrieß²

EPiC Series in Computing

View full text Add to dashboard Cite

Projection is the problem of checking whether the execution of a given sequence of actions will achieve its goal starting from some initial state. In this paper, we study a setting where we combine a two-dimensional Description Logic of context (ConDL) with an action formalism. We choose a well-studied ConDL where both: the possible states of a dynamical system itself (object level) and also different context-dependent views on this system state (context level) are organised in relational structures and can be described using usual DL constructs. To represent how such a system and its views evolve we introduce a suitable action formalism. It allows one to describe change on both levels. Furthermore, the observable changes on the object level due to an action execution can also be context- dependent. We show that the formalism is well-behaved in the sense that projection has the same complexity as standard reasoning tasks in case ALCO is the underlying DL.

show abstract

Section: Resultsmentioning

confidence: 99%