{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:16:45Z","timestamp":1743002205171,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319250090"},{"type":"electronic","value":"9783319250106"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25010-6_26","type":"book-chapter","created":{"date-parts":[[2015,10,13]],"date-time":"2015-10-13T18:00:11Z","timestamp":1444759211000},"page":"393-408","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["A Multi-reasoner, Justification-Based Approach to Reasoner Correctness"],"prefix":"10.1007","author":[{"given":"Michael","family":"Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nico","family":"Matentzoglu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bijan","family":"Parsia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uli","family":"Sattler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,10,24]]},"reference":[{"key":"26_CR1","unstructured":"W3C Recommendations RDF Semantics (2004). [Online; accessed April 15, 2015]"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook, 2nd edn. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511711787"},{"key":"26_CR3","series-title":"Communications in Computer and Information Science","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-3-662-45495-4_6","volume-title":"The Semantic Web and Web Science","author":"T Bagosi","year":"2014","unstructured":"Bagosi, T., Calvanese, D., Hardi, J., Komla-Ebri, S., Lanti, D., Rezk, M., Rodr\u00edguez-Muro, M., Slusnys, M., Xiao, G.: The ontop framework for ontology based data access. In: Zhao, D., Du, J., Wang, H., Wang, P., Ji, D., Pan, J.Z. (eds.) CSWS 2014. CCIS, vol. 480, pp. 67\u201377. Springer, Heidelberg (2014)"},{"key":"26_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-17746-0_3","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"S Bail","year":"2010","unstructured":"Bail, S., Parsia, B., Sattler, U.: JustBench: a framework for OWL benchmarking. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 32\u201347. Springer, Heidelberg (2010)"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Brummayer, R., Biere, A.: Fuzzing and delta-debugging SMT solvers. In: Proceedings of the 7th International Workshop on Satisfiability Modulo Theories, SMT 2009, New York, NY, USA, pp. 1\u20135. ACM (2009)","DOI":"10.1145\/1670412.1670413"},{"issue":"3","key":"26_CR6","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/s10817-014-9305-1","volume":"53","author":"B Glimm","year":"2014","unstructured":"Glimm, B., Horrocks, I., Motik, B., Stoilos, G., Wang, Z.: HermiT: An OWL 2 Reasoner. J. Autom. Reasoning 53(3), 245\u2013269 (2014)","journal-title":"J. Autom. Reasoning"},{"key":"26_CR7","unstructured":"Hedeler, C., Parsia, B., Brandt, S.: Estimating and analysing coordination in medical terminologies. In: 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, New York, NY, USA, May 27\u201329, 2014, pp. 357\u2013362 (2014)"},{"key":"26_CR8","unstructured":"Horridge, M.: Justification Based Explaination in Ontologies. PhD thesis, University of Manchester (2011)"},{"issue":"1","key":"26_CR9","doi-asserted-by":"crossref","first-page":"11","DOI":"10.3233\/SW-2011-0025","volume":"2","author":"M Horridge","year":"2011","unstructured":"Horridge, M., Bechhofer, S.: The OWL API: A Java API for OWL ontologies. Semantic Web 2(1), 11\u201321 (2011)","journal-title":"Semantic Web"},{"issue":"1","key":"26_CR10","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1109\/TSE.1986.6312924","volume":"12","author":"JC Knight","year":"1986","unstructured":"Knight, J.C., Leveson, N.G.: An Experimental Evaluation of the Assumption of Independence in Multiversion Programming. IEEE Trans. Software Eng. 12(1), 96\u2013109 (1986)","journal-title":"IEEE Trans. Software Eng."},{"issue":"2","key":"26_CR11","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/j.jbi.2011.10.002","volume":"45","author":"AL Rector","year":"2012","unstructured":"Rector, A.L., Iannone, L.: Lexically suggest, logically define: Quality assurance of the use of qualifiers and expected results of post-coordination in SNOMED CT. Journal of Biomedical Informatics 45(2), 199\u2013209 (2012)","journal-title":"Journal of Biomedical Informatics"},{"key":"26_CR12","unstructured":"Rogers, J.E.: Development of a methodology and an ontological schema for medical terminology. PhD thesis, University of Manchester (2004)"},{"issue":"2","key":"26_CR13","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E Sirin","year":"2007","unstructured":"Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. J. Web Sem. 5(2), 51\u201353 (2007)","journal-title":"J. Web Sem."},{"key":"26_CR14","unstructured":"Stoilos, G., Grau, B.C., Horrocks, I.: How incomplete is your semantic web reasoner? In: Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11\u201315, 2010 (2010)"},{"issue":"4","key":"26_CR15","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/s10817-009-9143-8","volume":"43","author":"G Sutcliffe","year":"2009","unstructured":"Sutcliffe, G.: The TPTP Problem Library and Associated Infrastructure: The FOF and CNF Parts, v3.5.0. Journal of Automated Reasoning 43(4), 337\u2013362 (2009)","journal-title":"Journal of Automated Reasoning"},{"key":"26_CR16","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11814771_26","volume-title":"Automated Reasoning","author":"Dmitry Tsarkov","year":"2006","unstructured":"Tsarkov, Dmitry, Horrocks, Ian: FaCT++ description logic reasoner: system description. In: Furbach, Ulrich, Shankar, Natarajan (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292\u2013297. Springer, Heidelberg (2006)"},{"key":"26_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"786","DOI":"10.1007\/11574620_56","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"K Wolstencroft","year":"2005","unstructured":"Wolstencroft, K., Brass, A., Horrocks, I., Lord, P., Sattler, U., Turi, D., Stevens, R.: A little semantic web goes a long way in biology. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 786\u2013800. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web - ISWC 2015"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25010-6_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,28]],"date-time":"2020-09-28T00:20:28Z","timestamp":1601252428000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25010-6_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319250090","9783319250106"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25010-6_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"24 October 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}