{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T21:55:54Z","timestamp":1761947754429,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642250729"},{"type":"electronic","value":"9783642250736"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-25073-6_5","type":"book-chapter","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T04:58:08Z","timestamp":1318913888000},"page":"67-82","source":"Crossref","is-referenced-by-count":10,"title":["The Justificatory Structure of the NCBO BioPortal Ontologies"],"prefix":"10.1007","author":[{"given":"Samantha","family":"Bail","sequence":"first","affiliation":[]},{"given":"Matthew","family":"Horridge","sequence":"additional","affiliation":[]},{"given":"Bijan","family":"Parsia","sequence":"additional","affiliation":[]},{"given":"Ulrike","family":"Sattler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Alani, H., Brewster, C.: Metrics for ranking ontologies. In: Proc. of EON-2006 (2006)"},{"key":"5_CR2","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Patel-Schneider, P., Nardi, D.: The description logic handbook: theory, implementation, and applications. Cambridge University Press (2003)"},{"key":"5_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-74565-5_7","volume-title":"KI 2007: Advances in Artificial Intelligence","author":"F. Baader","year":"2007","unstructured":"Baader, F., Pe\u00f1aloza, R., Suntisrivaraporn, B.: Pinpointing in the Description Logic EL+. In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol.\u00a04667, pp. 52\u201367. Springer, Heidelberg (2007)"},{"key":"5_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.\u00a06496, pp. 32\u201347. Springer, Heidelberg (2010)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Bail, S., Parsia, B., Sattler, U.: The justificatory structure of OWL ontologies. In: Proc. of OWLED-2010 (2010)","DOI":"10.1007\/978-3-642-25073-6_5"},{"key":"5_CR6","unstructured":"Bail, S., Parsia, B., Sattler, U.: Extracting finite sets of entailments from OWL ontologies. In: Proc. of DL 2011 (2011)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Horridge, M., Bail, S., Parsia, B., Sattler, U.: The cognitive complexity of OWL justifications. In: Proc. of DL 2011 (2011)","DOI":"10.1007\/978-3-642-25073-6_16"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-540-88564-1_21","volume-title":"The Semantic Web - ISWC 2008","author":"M. Horridge","year":"2008","unstructured":"Horridge, M., Parsia, B., Sattler, U.: Laconic and Precise Justifications in OWL. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 323\u2013338. Springer, Heidelberg (2008)"},{"key":"5_CR9","unstructured":"Horridge, M., Parsia, B., Sattler, U.: Lemmas for justifications in OWL. In: Proc. of DL 2009 (2009)"},{"key":"5_CR10","unstructured":"Horridge, M., Parsia, B., Sattler, U.: The state of bio-ontologies. In: Proc. of ISMB 2011 (2011)"},{"key":"5_CR11","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Proc. of KR 2006, pp. 57\u201367 (2006)"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/11762256_38","volume-title":"The Semantic Web: Research and Applications","author":"B. Hoser","year":"2006","unstructured":"Hoser, B., Hotho, A., J\u00e4schke, R., Schmitz, C., Stumme, G.: Semantic Network Analysis of Ontologies. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 514\u2013529. Springer, Heidelberg (2006)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Ji, Q., Qi, G., Haase, P.: A relevance-based algorithm for finding justifications of DL entailments. Technical report, University of Karlsruhe (2008)","DOI":"10.1007\/978-3-642-10871-6_21"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-540-76298-0_20","volume-title":"The Semantic Web","author":"A. Kalyanpur","year":"2007","unstructured":"Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding All Justifications of OWL DL Entailments. 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.) ASWC 2007 and ISWC 2007. LNCS, vol.\u00a04825, pp. 267\u2013280. Springer, Heidelberg (2007)"},{"issue":"4","key":"5_CR15","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1016\/j.websem.2005.09.005","volume":"3","author":"A. Kalyanpur","year":"2005","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.: Debugging unsatisfiable classes in OWL ontologies. J. of Web Semantics\u00a03(4), 268\u2013293 (2005)","journal-title":"J. of Web Semantics"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-540-77688-8_3","volume-title":"Journal on Data Semantics X","author":"J.S.C. Lam","year":"2008","unstructured":"Lam, J.S.C., Sleeman, D., Pan, J.Z., Vasconcelos, W.W.: A Fine-Grained Approach to Resolving Unsatisfiable Ontologies. In: Spaccapietra, S. (ed.) Journal on Data Semantics X. LNCS, vol.\u00a04900, pp. 62\u201395. Springer, Heidelberg (2008)"},{"key":"5_CR17","unstructured":"Meyer, T., Moodley, K., Varzinczak, I.: First steps in the computation of root justifications. In: Proc. of ARCOE 2010 (2010)"},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1093\/nar\/gkp440","volume":"37","author":"N.F. 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 Research\u00a037, W170\u2013W173 (2009)","journal-title":"Nucleic Acids Research"},{"issue":"1\/2\/3","key":"5_CR19","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1504\/IJTM.2009.024120","volume":"47","author":"A.M. Orme","year":"2009","unstructured":"Orme, A.M., Yao, H., Etzkorn, L.H.: Complexity metrics for ontology based information. Int. J. of Technology Management\u00a047(1\/2\/3), 161\u2013173 (2009)","journal-title":"Int. J. of Technology Management"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL ontologies. In: Proc. of WWW-2005, pp. 633\u2013640 (2005)","DOI":"10.1145\/1060745.1060837"},{"issue":"1","key":"5_CR21","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032(1), 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"5_CR22","unstructured":"Schlobach, S.: Diagnosing terminologies. In: Proc. of AAAI-2005 (2005)"},{"key":"5_CR23","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proc. of IJCAI-2003, pp. 355\u2013362 (2003)"},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-89704-0_1","volume-title":"The Semantic Web","author":"B. Suntisrivaraporn","year":"2008","unstructured":"Suntisrivaraporn, B., Qi, G., Ji, Q., Haase, P.: A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments. In: Domingue, J., Anutariya, C. (eds.) ASWC 2008. LNCS, vol.\u00a05367, pp. 1\u201315. Springer, Heidelberg (2008)"},{"key":"5_CR25","unstructured":"Tartir, S., Arpinar, I., Moore, M., Sheth, A., Aleman-Meza, B.: OntoQA: Metric-based ontology quality analysis. In: Proc. of KADASH 2005 (2005)"},{"key":"5_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/978-3-540-72667-8_23","volume-title":"The Semantic Web: Research and Applications","author":"D. Vrande\u010di\u0107","year":"2007","unstructured":"Vrande\u010di\u0107, D., Sure, Y.: How to Besign Better Ontology Metrics. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol.\u00a04519, pp. 311\u2013325. Springer, Heidelberg (2007)"},{"issue":"1","key":"5_CR27","doi-asserted-by":"publisher","first-page":"107","DOI":"10.3844\/jcssp.2005.107.113","volume":"1","author":"H. Yao","year":"2005","unstructured":"Yao, H., Orme, A., Etzkorn, L.: Cohesion metrics for ontology design and application. J. of Computer Science\u00a01(1), 107\u2013113 (2005)","journal-title":"J. of Computer Science"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25073-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,13]],"date-time":"2025-03-13T00:18:12Z","timestamp":1741825092000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25073-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642250729","9783642250736"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25073-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}