A Multi-reasoner, Justification-Based Approach to Reasoner Correctness

Michael Lee, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler. A Multi-reasoner, Justification-Based Approach to Reasoner Correctness. In Marcelo Arenas, Óscar Corcho, Elena Simperl, Markus Strohmaier, Mathieu d'Aquin, Kavitha Srinivas, Paul T. Groth, Michel Dumontier, Jeff Heflin, Krishnaprasad Thirunarayan, Steffen Staab, editors, The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part II. Volume 9367 of Lecture Notes in Computer Science, pages 393-408, Springer, 2015. [doi]

Abstract

Abstract is missing.