Drahomír Mrózek, Júlia Pukancová, Martin Homola. ABox Abduction Solver Exploiting Multiple DL Reasoners. In Magdalena Ortiz, Thomas Schneider 0002, editors, Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018. Volume 2211 of CEUR Workshop Proceedings, CEUR-WS.org, 2018. [doi]
Abstract is missing.