Stephan Böhme

According to our database, Stephan Böhme authored at least 6 papers between 2014 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

Context reasoning for role-based models.

Stephan Böhme

PhD thesis, 2017

Reasoning on Context-Dependent Domain Models.

Stephan Böhme, Thomas Kühn

Proceedings of the Semantic Technology - 7th Joint International Conference, 2017

2015

A combined formal model for relational context-dependent roles.

Thomas Kühn, Stephan Böhme, Sebastian Götz, Uwe Aßmann

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

Decidable Description Logics of Context with Rigid Roles.

Stephan Böhme, Marcel Lippmann

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

Decidable Contextualized DLs with Rigid Roles.

Stephan Böhme, Marcel Lippmann

Proceedings of the 28th International Workshop on Description Logics, 2015

2014

Formal Semantics for Models with Meta-Predicates.

Stephan Böhme

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014