{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,26]],"date-time":"2026-01-26T15:40:59Z","timestamp":1769442059504,"version":"3.49.0"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319250069","type":"print"},{"value":"9783319250076","type":"electronic"}],"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-25007-6_19","type":"book-chapter","created":{"date-parts":[[2015,10,13]],"date-time":"2015-10-13T18:59:41Z","timestamp":1444762781000},"page":"322-338","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["R$$_2$$O$$_2$$: An Efficient Ranking-Based Reasoner for OWL Ontologies"],"prefix":"10.1007","author":[{"given":"Yong-Bin","family":"Kang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shonali","family":"Krishnaswamy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuan-Fang","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,10,30]]},"reference":[{"key":"19_CR1","unstructured":"Bail, S., Glimm, B., Jim\u00e9nez-Ruiz, E., Matentzoglu, N., Parsia, B., Steigmiller, A.: Summary ore 2014 competition. In: Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014), vol. 1207, pp. iv\u2013vii. CEUR Workshop Proceedings (2014)"},{"key":"19_CR2","unstructured":"Bock, J., Haase, P., Ji, Q., Volz, R.: Benchmarking OWL reasoners. In: ARea2008 - Workshop on Advancing Reasoning on the Web: Scalability and Commonsense, June 2008"},{"key":"19_CR3","unstructured":"Chen, W., Liu, T.-Y., Lan, Y., Ma, Z., Li, H.: Ranking measures and loss functions in learning to rank. In: 23rd Annual Conference on Neural Information Processing Systems (NIPS 2009), pp. 315\u2013323. Curran Associates Inc. (2009)"},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/j.websem.2008.05.001","volume":"6","author":"BC Grau","year":"2008","unstructured":"Grau, B.C., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P., Sattler, U.: OWL 2: The next step for OWL. Journal of Web Semantics: Science, Services and Agents on the World Wide Web 6, 309\u2013322 (2008)","journal-title":"Journal of Web Semantics: Science, Services and Agents on the World Wide Web"},{"issue":"2","key":"19_CR5","doi-asserted-by":"crossref","first-page":"71","DOI":"10.3233\/SW-2011-0034","volume":"2","author":"K Dentler","year":"2011","unstructured":"Dentler, K., Cornet, R., ten Teije, A., de Keizer, N.: Comparison of reasoners for large ontologies in the OWL 2 EL profile. Semantic Web Journal 2(2), 71\u201387 (2011)","journal-title":"Semantic Web Journal"},{"key":"19_CR6","volume-title":"Preference Learning","author":"J Fr\u00fcnkranz","year":"2010","unstructured":"Fr\u00fcnkranz, J., H\u00fcllermeier, E.: Preference Learning, 1st edn. Springer-Verlag New York Inc., New York (2010)","edition":"1"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"654","DOI":"10.1007\/11926078_47","volume-title":"The Semantic Web - ISWC 2006","author":"T Gardiner","year":"2006","unstructured":"Gardiner, T., Tsarkov, D., Horrocks, I.: Framework for an automated comparison of description logic reasoners. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 654\u2013667. Springer, Heidelberg (2006)"},{"issue":"3","key":"19_CR8","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. Reason. 53(3), 245\u2013269 (2014)","journal-title":"J. Autom. Reason."},{"key":"19_CR9","unstructured":"Gon\u00e7alves, R.S., Bail, S., Jim\u00e9nez-Ruiz, E., Matentzoglu, N., Parsia, B., Glimm, B., Kazakov, Y.: OWL reasoner evaluation (ORE) workshop 2013 results: short report. In: 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), vol. 1015, pp. 1\u201318. CEUR Workshop Proceedings (2013)"},{"key":"19_CR10","unstructured":"Gon\u00e7alves, R.S., Matentzoglu, N., Parsia, B., Sattler, U.: The empirical robustness of description logic classification. In: Description Logics, vol. 1014, pp. 197\u2013208. CEUR Workshop Proceedings (2013)"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-35176-1_6","volume-title":"The Semantic Web \u2013 ISWC 2012","author":"RS Gon\u00e7alves","year":"2012","unstructured":"Gon\u00e7alves, R.S., Parsia, B., Sattler, U.: Performance heterogeneity and approximate reasoning in description logic ontologies. In: Cudr\u00e9-Mauroux, P., et al. (eds.) ISWC 2012, Part I. LNCS, vol. 7649, pp. 82\u201398. Springer, Heidelberg (2012)"},{"issue":"16\u201317","key":"19_CR12","doi-asserted-by":"publisher","first-page":"1897","DOI":"10.1016\/j.artint.2008.08.002","volume":"172","author":"E H\u00fcllermeier","year":"2008","unstructured":"H\u00fcllermeier, E., F\u00fcrnkranz, J., Cheng, W., Brinker, K.: Label ranking by learning pairwise preferences. Artif. Intell. 172(16\u201317), 1897\u20131916 (2008)","journal-title":"Artif. Intell."},{"key":"19_CR13","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.artint.2013.10.003","volume":"206","author":"F Hutter","year":"2014","unstructured":"Hutter, F., Xu, L., Hoos, H.H., Leyton-Brown, K.: Algorithm runtime prediction: Methods & evaluation. Artif. Intell. 206, 79\u2013111 (2014)","journal-title":"Artif. Intell."},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Kang, Y.-B., Krishnaswamy, S., Li, Y.-F.: A meta-reasoner to rule them all: Automated selection of OWL reasoners based on efficiency. In: 23rd ACM International Conference on Conference on Information and Knowledge Management (CIKM 2014), New York, NY, USA, pp. 1935\u20131938. ACM (2014)","DOI":"10.1145\/2661829.2662079"},{"key":"19_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-642-35176-1_13","volume-title":"The Semantic Web \u2013 ISWC 2012","author":"Y-B Kang","year":"2012","unstructured":"Kang, Y.-B., Li, Y.-F., Krishnaswamy, S.: Predicting reasoning performance using ontology metrics. In: Cudr\u00e9-Mauroux, P., et al. (eds.) ISWC 2012, Part I. LNCS, vol. 7649, pp. 198\u2013214. Springer, Heidelberg (2012)"},{"key":"19_CR16","unstructured":"Kang, Y.-B., Li, Y.-F., Krishnaswamy, S.: A rigorous characterization of reasoning performance - a tale of four reasoners. In: Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), June 2012"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Kang, Y.-B., Pan, J.Z., Krishnaswamy, S., Sawangphol, W., Li, Y.-F.: How long will it take? accurate prediction of ontology reasoning performance. In: AAAI, pp. 80\u201386. AAAI Press (2014)","DOI":"10.1609\/aaai.v28i1.8716"},{"issue":"1","key":"19_CR18","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 $${\\fancyscript {E}}$$ $${\\fancyscript {L}}$$ ontologies. J. Autom. Reasoning 53(1), 1\u201361 (2014)","journal-title":"J. Autom. Reasoning"},{"issue":"5","key":"19_CR19","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1145\/2594413.2594424","volume":"57","author":"K Leyton-Brown","year":"2014","unstructured":"Leyton-Brown, K., Hoos, H.H., Hutter, F., Xu, L.: Understanding the empirical hardness of NP-complete problems. Commun. ACM 57(5), 98\u2013107 (2014)","journal-title":"Commun. ACM"},{"key":"19_CR20","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":"AA Romero","year":"2012","unstructured":"Romero, A.A., Grau, B.C., Horrocks, I.: $$\\sf MORe$$: modular combination of OWL reasoners for ontology classification. In: Cudr\u00e9-Mauroux, P., et al. (eds.) ISWC 2012, Part I. LNCS, vol. 7649, pp. 1\u201316. Springer, Heidelberg (2012)"},{"key":"19_CR21","unstructured":"Sazonau, V., Sattler, U., Brown, G.: Predicting OWL reasoners: locally or globally? In: 27th International Workshop on Description Logics, vol. 1193, pp. 713\u2013724. CEUR Workshop Proceedings (2014)"},{"key":"19_CR22","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 Sem. 27, 78\u201385 (2014)","journal-title":"J. Web Sem."},{"issue":"1","key":"19_CR23","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/s10994-013-5387-y","volume":"93","author":"Q Sun","year":"2013","unstructured":"Sun, Q., Pfahringer, B.: Pairwise meta-rules for better meta-learning-based algorithm ranking. Machine Learning 93(1), 141\u2013161 (2013)","journal-title":"Machine Learning"},{"key":"19_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., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010, Part II. LNCS, vol. 6089, pp. 431\u2013435. Springer, Heidelberg (2010)"},{"key":"19_CR25","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":"D Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: $$\\sf FaCT++$$ description logic reasoner: system description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292\u2013297. Springer, Heidelberg (2006)"},{"key":"19_CR26","unstructured":"Tsarkov, D., Palmisano, I.: Chainsaw: a metareasoner for large ontologies. In: 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), vol. 858. CEUR Workshop Proceedings (2012)"},{"key":"19_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/978-3-319-11812-3_28","volume-title":"Discovery Science","author":"JN van Rijn","year":"2014","unstructured":"van Rijn, J.N., Holmes, G., Pfahringer, B., Vanschoren, J.: Algorithm selection on data streams. In: D\u017eeroski, S., Panov, P., Kocev, D., Todorovski, L. (eds.) DS 2014. LNCS, vol. 8777, pp. 325\u2013336. Springer, Heidelberg (2014)"},{"issue":"3","key":"19_CR28","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/2578043","volume":"57","author":"MY Vardi","year":"2014","unstructured":"Vardi, M.Y.: Boolean satisfiability: Theory and engineering. Commun. ACM 57(3), 5 (2014)","journal-title":"Commun. ACM"},{"key":"19_CR29","doi-asserted-by":"crossref","unstructured":"Xu, J., Li, H.: Adarank: a boosting algorithm for information retrieval. In: 30th International ACM Conference on Research and Development in Information Retrieval, SIGIR 2007, New York, NY, USA, pp. 391\u2013398. ACM (2007)","DOI":"10.1145\/1277741.1277809"},{"key":"19_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1007\/978-3-540-74970-7_50","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"L Xu","year":"2007","unstructured":"Xu, L., Hutter, F., Hoos, H.H., Leyton-Brown, K.: SATzilla-07: the design and analysis of an algorithm portfolio for SAT. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 712\u2013727. Springer, Heidelberg (2007)"},{"issue":"1","key":"19_CR31","first-page":"565","volume":"32","author":"L Xu","year":"2008","unstructured":"Xu, L., Hutter, F., Hoos, H.H., Leyton-Brown, K.: SATzilla: Portfolio-based algorithm selection for SAT. J. Artif. Int. Res. 32(1), 565\u2013606 (2008)","journal-title":"J. Artif. Int. Res."},{"issue":"5","key":"19_CR32","doi-asserted-by":"publisher","first-page":"803","DOI":"10.1016\/j.jss.2009.11.735","volume":"83","author":"H Zhang","year":"2010","unstructured":"Zhang, H., Li, Y.-F., Tan, H.B.K.: Measuring design complexity of Semantic Web ontologies. Journal of Systems and Software 83(5), 803\u2013814 (2010)","journal-title":"Journal of Systems and Software"}],"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-25007-6_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,15]],"date-time":"2023-08-15T07:43:42Z","timestamp":1692085422000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25007-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319250069","9783319250076"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25007-6_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"30 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"}]}}