A Multi-reasoner, Justification-Based Approach to Reasoner Correctness.
M. Lee, N. Matentzoglu, B. Parsia, and U. Sattler. International Semantic Web Conference (2), volume 9367 of Lecture Notes in Computer Science, page 393-408. Springer, (2015)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/semweb/LeeMPS15
%A Lee, Michael
%A Matentzoglu, Nicolas
%A Parsia, Bijan
%A Sattler, Uli
%B International Semantic Web Conference (2)
%D 2015
%E Arenas, Marcelo
%E Corcho, Óscar
%E Simperl, Elena
%E Strohmaier, Markus
%E d'Aquin, Mathieu
%E Srinivas, Kavitha
%E Groth, Paul
%E Dumontier, Michel
%E Heflin, Jeff
%E Thirunarayan, Krishnaprasad
%E Staab, Steffen
%I Springer
%K
%P 393-408
%T A Multi-reasoner, Justification-Based Approach to Reasoner Correctness.
%U http://dblp.uni-trier.de/db/conf/semweb/iswc2015-2.html#LeeMPS15
%V 9367
%@ 978-3-319-25009-0
@inproceedings{conf/semweb/LeeMPS15,
added-at = {2023-12-13T08:41:16.000+0100},
author = {Lee, Michael and Matentzoglu, Nicolas and Parsia, Bijan and Sattler, Uli},
biburl = {https://www.bibsonomy.org/bibtex/26f5bc9bf31025b729884f16b414b6361/admin},
booktitle = {International Semantic Web Conference (2)},
crossref = {conf/semweb/2015-2},
editor = {Arenas, Marcelo and Corcho, Óscar and Simperl, Elena and Strohmaier, Markus and d'Aquin, Mathieu and Srinivas, Kavitha and Groth, Paul and Dumontier, Michel and Heflin, Jeff and Thirunarayan, Krishnaprasad and Staab, Steffen},
ee = {https://doi.org/10.1007/978-3-319-25010-6_26},
interhash = {c648aa1516bc90c835a5de04ec85a803},
intrahash = {6f5bc9bf31025b729884f16b414b6361},
isbn = {978-3-319-25009-0},
keywords = {},
pages = {393-408},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-13T08:41:16.000+0100},
title = {A Multi-reasoner, Justification-Based Approach to Reasoner Correctness.},
url = {http://dblp.uni-trier.de/db/conf/semweb/iswc2015-2.html#LeeMPS15},
volume = 9367,
year = 2015
}