Formal Semantics for Models with Meta-Predicates. - Stephan Böhme (Joint Workshop of the German Research Training Groups in Computer Science, 2014)

Decidable Contextualized DLs with Rigid Roles. - Stephan Böhme; Marcel Lippmann (Description Logics, 2015)

Decidable Description Logics of Context with Rigid Roles. - Stephan Böhme; Marcel Lippmann (FroCos, 2015)

A combined formal model for relational context-dependent roles. - Thomas Kühn 001; Stephan Böhme; Sebastian Götz; Uwe Aßmann (SLE, 2015)

Reasoning on Context-Dependent Domain Models. - Stephan Böhme; Thomas Kühn 001 (JIST, 2017)

Context reasoning for role-based models. - Stephan Böhme (2017)