Stephan Böhme

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 4

Top Topics

Formal Semantics

Exptime Complete

Top Venues

Description Logics

Joint Workshop of the German Research Training Groups in Computer Science

Dresden University of Technology, Germany (PHD)

Education History

Dresden University of Technology, Germany

PHD

Publications

Stephan Böhme, Thomas Kühn
Reasoning on Context-Dependent Domain Models. JIST (2017)
Stephan Böhme, Marcel Lippmann
Decidable Contextualized DLs with Rigid Roles. Description Logics (2015)
Thomas Kühn, Stephan Böhme, Sebastian Götz, Uwe Aßmann
A combined formal model for relational context-dependent roles. SLE (2015)
Stephan Böhme, Marcel Lippmann
Decidable Description Logics of Context with Rigid Roles. FroCos (2015)
Stephan Böhme
Formal Semantics for Models with Meta-Predicates. Joint Workshop of the German Research Training Groups in Computer Science (2014)