{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T07:40:10Z","timestamp":1761896410630,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319465463"},{"type":"electronic","value":"9783319465470"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-46547-0_17","type":"book-chapter","created":{"date-parts":[[2016,9,22]],"date-time":"2016-09-22T12:47:23Z","timestamp":1474548443000},"page":"159-167","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["The OWL Reasoner Evaluation (ORE) 2015 Resources"],"prefix":"10.1007","author":[{"given":"Bijan","family":"Parsia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Matentzoglu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael S.","family":"Gon\u00e7alves","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Birte","family":"Glimm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Steigmiller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,23]]},"reference":[{"issue":"3","key":"17_CR1","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":"17_CR2","unstructured":"Gon\u00e7alves, R.S., Matentzoglu, N., Parsia, B., Sattler, U.: The empirical robustness of description logic classification. In: Proceedings of ISWC (2013)"},{"issue":"3","key":"17_CR3","doi-asserted-by":"crossref","first-page":"267","DOI":"10.3233\/SW-2011-0032","volume":"3","author":"V Haarslev","year":"2012","unstructured":"Haarslev, V., Hidde, K., M\u00f6ller, R., Wessel, M.: The RacerPro knowledge representation and reasoning system. Semant. Web J. 3(3), 267\u2013277 (2012)","journal-title":"Semant. Web J."},{"issue":"1","key":"17_CR4","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. Semant. Web J. 2(1), 11\u201321 (2011)","journal-title":"Semant. Web J."},{"issue":"1","key":"17_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10817-013-9296-3","volume":"53","author":"Y Kazakov","year":"2014","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Simancik, F.: The incredible ELK - From polynomial procedures to efficient reasoning with EL ontologies. J. Autom. Reasoning 53(1), 1\u201361 (2014)","journal-title":"J. Autom. Reasoning"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-642-41335-3_21","volume-title":"The Semantic Web \u2013 ISWC 2013","author":"N Matentzoglu","year":"2013","unstructured":"Matentzoglu, N., Bail, S., Parsia, B.: A snapshot of the OWL web. In: Alani, H., et al. (eds.) ISWC 2013. LNCS, vol. 8218, pp. 331\u2013346. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-41335-3_21"},{"key":"17_CR7","unstructured":"Matentzoglu, N., Leo, J., Hudhra, V., Sattler, U., Parsia, B.: A survey of current, stand-alone OWL reasoners. In: Proceedings of ORE (2015)"},{"key":"17_CR8","unstructured":"Matentzoglu, N., Parsia, B.: The OWL Full\/DL gap in the field. In: Proceedings of OWLED (2014)"},{"key":"17_CR9","unstructured":"Matentzoglu, N., Parsia, B.: ORE 2015 reasoner competition dataset (2015). http:\/\/dx.doi.org\/10.5281\/zenodo.18578"},{"key":"17_CR10","unstructured":"Mendez, J.: jcel: A modular rule-based reasoner. In: Proceedings of ORE (2012)"},{"key":"17_CR11","unstructured":"Motik, B., Patel-Schneider, P.F., Parsia, B.: OWL 2 Web Ontology Language: Structural specification and functional-style syntax. In: W3C Recommendation (2009)"},{"key":"17_CR12","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1093\/nar\/gkp440","volume":"37","author":"NF Noy","year":"2009","unstructured":"Noy, N.F., Shah, N.H., Whetzel, P.L., Dai, B., Dorf, M., Griffith, N., Jonquet, C., Rubin, D.L., Storey, M.A., Chute, C.G., Musen, M.A.: BioPortal: ontologies and integrated data resources at the click of a mouse. Nucleic Acids Res. 37, 170\u2013173 (2009)","journal-title":"Nucleic Acids Res."},{"issue":"1","key":"17_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/2041-1480-4-30","volume":"4","author":"D Osumi-Sutherland","year":"2013","unstructured":"Osumi-Sutherland, D., Marygold, S.J., Millburn, G.H., McQuilton, P., Ponting, L., Stefancsik, R., Falls, K., Brown, N.H., Gkoutos, G.V.: The drosophila phenotype ontology. J. Biomed. Semant. 4(1), 1\u201310 (2013)","journal-title":"J. Biomed. Semant."},{"key":"17_CR14","unstructured":"Palmisano, I.: JFact repository (2015). https:\/\/github.com\/owlcs\/jfact"},{"issue":"3","key":"17_CR15","first-page":"245","volume":"53","author":"B Parsia","year":"2016","unstructured":"Parsia, B., Matentzoglu, N., Gon\u00e7alves, R.S., Glimm, B., Steigmiller, A.: The OWL reasoner evaluation (ORE) 2015 competition report. J. Autom. Reasoning 53(3), 245\u2013269 (2016). in submission","journal-title":"J. Autom. Reasoning"},{"issue":"2\u20133","key":"17_CR16","first-page":"79","volume":"15","author":"F Pelletier","year":"2002","unstructured":"Pelletier, F., Sutcliffe, G., Suttner, C.: The development of CASC. AIC 15(2\u20133), 79\u201390 (2002)","journal-title":"AIC"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Ren, Y., Pan, J.Z., Zhao, Y.: Soundness preserving approximation for TBox reasoning. In: Proceedings of AAAI (2010)","DOI":"10.1609\/aaai.v24i1.7602"},{"key":"17_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-35176-1_1","volume-title":"The Semantic Web \u2013 ISWC 2012","author":"A Armas Romero","year":"2012","unstructured":"Armas Romero, A., Cuenca Grau, B., Horrocks, I.: MORe: modular combination of OWL reasoners for ontology classification. In: Cudr\u00e9-Mauroux, P., et al. (eds.) ISWC 2012. LNCS, vol. 7649, pp. 1\u201316. Springer, Heidelberg (2012). doi:10.1007\/978-3-642-35176-1_1"},{"key":"17_CR19","unstructured":"Sertkaya, B.: The ELepHant reasoner system description. In: Proceedings of ORE (2013)"},{"issue":"2","key":"17_CR20","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., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: a practical OWL-DL reasoner. J. Web Semant. 5(2), 51\u201353 (2007)","journal-title":"J. Web Semant."},{"key":"17_CR21","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.websem.2014.06.003","volume":"27","author":"A Steigmiller","year":"2014","unstructured":"Steigmiller, A., Liebig, T., Glimm, B.: Konclude: system description. J. Web Semant. 27, 78\u201385 (2014)","journal-title":"J. Web Semant."},{"issue":"4","key":"17_CR22","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. J. Autom. Reasoning 43(4), 337\u2013362 (2009)","journal-title":"J. Autom. Reasoning"},{"issue":"1","key":"17_CR23","first-page":"35","volume":"19","author":"G Sutcliffe","year":"2006","unstructured":"Sutcliffe, G., Suttner, C.: The state of CASC. AIC 19(1), 35\u201348 (2006)","journal-title":"AIC"},{"key":"17_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/978-3-642-13489-0_38","volume-title":"The Semantic Web: Research and Applications","author":"E Thomas","year":"2010","unstructured":"Thomas, E., Pan, J.Z., Ren, Y.: TrOWL: tractable OWL 2 reasoning infrastructure. In: Aroyo, L., Antoniou, G., Hyv\u00f6nen, E., Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010. LNCS, vol. 6089, pp. 431\u2013435. Springer, Heidelberg (2010). doi:10.1007\/978-3-642-13489-0_38"},{"key":"17_CR25","series-title":"Lecture Notes in Computer Science (LNCS)","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11814771_26","volume-title":"Automated Reasoning","author":"D Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: system description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292\u2013297. Springer, Heidelberg (2006). doi:10.1007\/11814771_26"},{"key":"17_CR26","unstructured":"Tsarkov, D., Palmisano, I.: Chainsaw: a metareasoner for large ontologies. In: Proceedings of ORE (2012)"},{"key":"17_CR27","doi-asserted-by":"crossref","unstructured":"Zhou, Y., Nenov, Y., Grau, B.C., Horrocks, I.: Pay-as-you-go OWL query answering using a triple store. In: Proceedings of AAAI (2014)","DOI":"10.1609\/aaai.v28i1.8856"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2016"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46547-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,20]],"date-time":"2023-08-20T06:29:45Z","timestamp":1692512985000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-46547-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319465463","9783319465470"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46547-0_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"23 September 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISWC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Semantic Web Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kobe","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 October 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"semweb2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}