Christian Meilicke, Daniel Ruffinelli, Andreas Nolle, Heiko Paulheim, Heiner Stuckenschmidt. Fast ABox Consistency Checking Using Incomplete Reasoning and Caching. In Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman, editors, Rules and Reasoning - International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings. Volume 10364 of Lecture Notes in Computer Science, pages 168-183, Springer, 2017. [doi]
Abstract is missing.