Extended Caching, Backjumping and Merging for Expressive Description Logics - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Andreas Steigmiller, Thorsten Liebig, Birte Glimm. Extended Caching, Backjumping and Merging for Expressive Description Logics. In Bernhard Gramlich, Dale Miller, Uli Sattler, editors, Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings. Volume 7364 of Lecture Notes in Computer Science, pages 514-529, Springer, 2012. [doi]

The following publications are possibly variants of this publication:

Extended Caching and Backjumping for Expressive Description LogicsAndreas Steigmiller, Thorsten Liebig, Birte Glimm. dlog 2012: [doi]

Completion Graph Caching for Expressive Description LogicsAndreas Steigmiller, Birte Glimm, Thorsten Liebig. dlog 2015: [doi]

Parallelised ABox Reasoning and Query Answering with Expressive Description Logics (Extended Abstract)Andreas Steigmiller, Birte Glimm. dlog 2020: [doi]

runs on WebDSL