{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,26]],"date-time":"2026-01-26T15:37:26Z","timestamp":1769441846762,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642351754","type":"print"},{"value":"9783642351761","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35176-1_13","type":"book-chapter","created":{"date-parts":[[2012,10,26]],"date-time":"2012-10-26T06:48:19Z","timestamp":1351234099000},"page":"198-214","source":"Crossref","is-referenced-by-count":35,"title":["Predicting Reasoning Performance Using Ontology Metrics"],"prefix":"10.1007","author":[{"given":"Yong-Bin","family":"Kang","sequence":"first","affiliation":[]},{"given":"Yuan-Fang","family":"Li","sequence":"additional","affiliation":[]},{"given":"Shonali","family":"Krishnaswamy","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope further. In: Clark, K., Patel-Schneider, P.F. (eds.) Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions (2008)"},{"issue":"1","key":"13_CR2","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1013882326814","volume":"69","author":"F. Baader","year":"2001","unstructured":"Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica\u00a069(1), 5\u201340 (2001)","journal-title":"Studia Logica"},{"key":"13_CR3","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)"},{"issue":"2","key":"13_CR4","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\u00a02(2), 71\u201387 (2011)","journal-title":"Semantic Web Journal"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-642-13025-0_2","volume-title":"Trends in Applied Intelligent Systems","author":"J. Garc\u00eda","year":"2010","unstructured":"Garc\u00eda, J., Garc\u00eda, F., Ther\u00f3n, R.: Defining Coupling Metrics among Classes in an OWL Ontology. In: Garc\u00eda-Pedrajas, N., Herrera, F., Fyfe, C., Ben\u00edtez, J.M., Ali, M. (eds.) IEA\/AIE 2010, Part II. LNCS, vol.\u00a06097, pp. 12\u201317. Springer, Heidelberg (2010)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Gardiner, T., Horrocks, I., Tsarkov, D.: Automated benchmarking of description logic reasoners. In: Proceedings of the 2006 International Workshop on Description Logics (DL 2006) (2006)","DOI":"10.1007\/11926078_47"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/j.websem.2008.05.001","volume":"6","author":"B.C. 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\u00a06, 309\u2013322 (2008)","journal-title":"Journal of Web Semantics: Science, Services and Agents on the World Wide Web"},{"key":"13_CR8","unstructured":"Heinsohn, J., Kudenko, D., Nebel, B., Profitlich, H.-J.: An empirical analysis of terminological representation systems. In: Proceedings of the Tenth National Conference on Artificial Intelligence, AAAI 1992, pp. 767\u2013773. AAAI Press (1992)"},{"key":"13_CR9","unstructured":"Horrocks, I., Patel-Schneider, P.F.: DL systems comparison (summary relation). In: Proceedings of the 1998 International Workshop on Description Logics (DL 1998). CEUR Workshop Proceedings, vol.\u00a011. CEUR-WS.org (1998)"},{"issue":"1","key":"13_CR10","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From $\\mathcal{SHIQ}$ and RDF to OWL: The Making of a Web Ontology Language. Journal of Web Semantics\u00a01(1), 7\u201326 (2003)","journal-title":"Journal of Web Semantics"},{"key":"13_CR11","unstructured":"Kang, Y.-B., Li, Y.-F., Krishnaswamy, S.: A rigorous characterization of reasoning performance \u2013 a tale of four reasoners. In: Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE 2012) (June 2012)"},{"key":"13_CR12","unstructured":"Pan, Z.: Benchmarking DL reasoners using realistic ontologies. In: Grau, B.C., Horrocks, I., Parsia, B., Patel-Schneider, P.F. (eds.) OWLED. CEUR Workshop Proceedings, vol.\u00a0188. CEUR-WS.org (2005)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Ren, Y., Pan, J.Z., Zhao, Y.: Soundness preserving approximation for tbox reasoning. In: Fox, M., Poole, D. (eds.) AAAI. AAAI Press (2010)","DOI":"10.1609\/aaai.v24i1.7602"},{"issue":"5","key":"13_CR14","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1016\/0306-4573(88)90021-0","volume":"24","author":"G. Salton","year":"1988","unstructured":"Salton, G., Buckley, C.: Term-weighting approaches in automatic text retrieval. Information Processing and Management: an International Journal\u00a024(5), 513\u2013523 (1988)","journal-title":"Information Processing and Management: an International Journal"},{"key":"13_CR15","unstructured":"Shearer, R., Motik, B., Horrocks, I.: HermiT: A Highly-Efficient OWL Reasoner. In: Proceedings of the 5th International Workshop on OWL: Experiences and Directions, OWLED 2008 (2008)"},{"issue":"2","key":"13_CR16","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., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Web Semantics: Science, Services and Agents on the World Wide Web\u00a05(2), 51\u201353 (2007)","journal-title":"Web Semantics: Science, Services and Agents on the World Wide Web"},{"key":"13_CR17","unstructured":"Tempich, C., Volz, R.: Towards a benchmark for semantic web reasoners - an analysis of the DAML ontology library. In: Sure, Y., Corcho, \u00d3. (eds.) EON. CEUR Workshop Proceedings, vol.\u00a087. CEUR-WS.org (2003)"},{"key":"13_CR18","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.\u00a06089, pp. 431\u2013435. Springer, Heidelberg (2010)"},{"key":"13_CR19","series-title":"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.: FaCT++ Description Logic Reasoner: System Description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 292\u2013297. Springer, Heidelberg (2006)"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1007\/978-3-540-76298-0_43","volume-title":"The Semantic Web","author":"T.D. Wang","year":"2007","unstructured":"Wang, T.D., Parsia, B.: Ontology Performance Profiling and Model Examination: First Steps. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) ISWC\/ASWC 2007. LNCS, vol.\u00a04825, pp. 595\u2013608. Springer, Heidelberg (2007)"},{"key":"13_CR21","unstructured":"Witten, I.H., Frank, E.: Data mining: Practical machine learning tools and techniques with Java implementations. Morgan Kaufmann, San Francisco (2000)"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Yang, Z., Zhang, D., Ye, C.: Evaluation metrics for ontology complexity and evolution analysis. In: IEEE International Conference on E-Business Engineering, pp. 162\u2013170 (2006)","DOI":"10.1109\/ICEBE.2006.48"},{"key":"13_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/11891451_20","volume-title":"Managing Knowledge in a World of Networks","author":"D. Zhang","year":"2006","unstructured":"Zhang, D., Ye, C., Yang, Z.: An Evaluation Method for Ontology Complexity Analysis in Ontology Evolution. In: Staab, S., Svatek, V. (eds.) EKAW 2006. LNCS (LNAI), vol.\u00a04248, pp. 214\u2013221. Springer, Heidelberg (2006)"},{"issue":"5","key":"13_CR24","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\u00a083(5), 803\u2013814 (2010)","journal-title":"Journal of Systems and Software"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2012"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35176-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T07:41:59Z","timestamp":1687765319000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35176-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642351754","9783642351761"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35176-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}