{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:35:59Z","timestamp":1762101359863},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642351723"},{"type":"electronic","value":"9783642351730"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35173-0_19","type":"book-chapter","created":{"date-parts":[[2012,10,26]],"date-time":"2012-10-26T14:03:56Z","timestamp":1351260236000},"page":"287-299","source":"Crossref","is-referenced-by-count":10,"title":["Extracting Justifications from BioPortal Ontologies"],"prefix":"10.1007","author":[{"given":"Matthew","family":"Horridge","sequence":"first","affiliation":[]},{"given":"Bijan","family":"Parsia","sequence":"additional","affiliation":[]},{"given":"Ulrike","family":"Sattler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Readings in Model Based Diagnosis. Morgan Kaufmann Publishers Inc. (1992)"},{"issue":"1","key":"19_CR2","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1093\/logcom\/exn058","volume":"20","author":"F. Baader","year":"2010","unstructured":"Baader, F., Pe\u00f1aloza, R.: Axiom pinpointing in general tableaux. Journal of Logic Computation\u00a020(1), 5\u201334 (2010)","journal-title":"Journal of Logic Computation"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-540-76298-0_14","volume-title":"The Semantic Web","author":"B. Cuenca Grau","year":"2007","unstructured":"Cuenca Grau, B., Halaschek-Wiener, C., Kazakov, Y.: History Matters: Incremental Ontology Reasoning Using Modules. 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. 183\u2013196. Springer, Heidelberg (2007)"},{"key":"19_CR4","unstructured":"Dolby, J., Fokoue, A., Kalyanpur, A., Kershenbaum, A., Schonberg, E., Srinivas, K., Ma, L.: Scalable semantic retrieval through summarization and refinement. In: AAAI 2007 (2007)"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-642-17746-0_17","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"B. Glimm","year":"2010","unstructured":"Glimm, B., Rudolph, S., V\u00f6lker, J.: Integrated Metamodeling and Diagnosis in OWL\u00a02. 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. 257\u2013272. Springer, Heidelberg (2010)"},{"key":"19_CR6","unstructured":"Golbreich, C., Horrocks, I.: The OBO to OWL mapping, GO to OWL 1.1! In: OWLED 2007 (2007)"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-642-21034-1_18","volume-title":"The Semantic Web: Research and Applications","author":"S. Grimm","year":"2011","unstructured":"Grimm, S., Wissmann, J.: Elimination of Redundancy in Ontologies. In: Antoniou, G., Grobelnik, M., Simperl, E., Parsia, B., Plexousakis, D., De Leenheer, P., Pan, J. (eds.) ESWC 2011, Part I. LNCS, vol.\u00a06643, pp. 260\u2013274. Springer, Heidelberg (2011)"},{"key":"19_CR8","unstructured":"Grove, M.: OWLSight (October 2009), http:\/\/pellet.owldl.com\/ontology-browser"},{"key":"19_CR9","unstructured":"Halaschek-Wiener, C., Katz, Y., Parsia, B.: Belief base revision for expressive description logics. In: OWLED 2006 (2006)"},{"key":"19_CR10","unstructured":"Horridge, M.: Justification Based Explanation in Ontologies. Ph.D. thesis, School of Computer Science, The University of Manchester (2011)"},{"issue":"1","key":"19_CR11","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\u00a02(1), 11\u201321 (2011)","journal-title":"Semantic Web"},{"key":"19_CR12","unstructured":"Horridge, M., Parsia, B., Sattler, U.: Explanation of OWL entailments in Prot\u00e9g\u00e9-4. Poster and Demo Track, ISWC 2008 (2008)"},{"key":"19_CR13","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":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"863","DOI":"10.1007\/978-3-642-02121-3_71","volume-title":"The Semantic Web: Research and Applications","author":"Q. Ji","year":"2009","unstructured":"Ji, Q., Haase, P., Qi, G., Hitzler, P., Stadtm\u00fcller, S.: RaDON \u2014 Repair and Diagnosis in Ontology Networks. In: Aroyo, L., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyv\u00f6nen, E., Mizoguchi, R., Oren, E., Sabou, M., Simperl, E. (eds.) ESWC 2009. LNCS, vol.\u00a05554, pp. 863\u2013867. Springer, Heidelberg (2009)"},{"key":"19_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/978-3-642-10871-6_21","volume-title":"The Semantic Web","author":"Q. Ji","year":"2009","unstructured":"Ji, Q., Qi, G., Haase, P.: A Relevance-Directed Algorithm for Finding Justifications of DL Entailments. In: G\u00f3mez-P\u00e9rez, A., Yu, Y., Ding, Y. (eds.) ASWC 2009. LNCS, vol.\u00a05926, pp. 306\u2013320. Springer, Heidelberg (2009)"},{"key":"19_CR16","unstructured":"Kalyanpur, A.: Debugging and Repair of OWL Ontologies. Ph.D. thesis, The Graduate School of the University of Maryland (2006)"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Kalyanpur, A., Parsia, B., Hendler, J.: A tool for working with web ontologies. International Journal on Semantic Web and Information Systems\u00a01 (2005)","DOI":"10.4018\/jswis.2005010103"},{"key":"19_CR18","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)"},{"key":"19_CR19","unstructured":"Knublauch, H.: Composing the semantic web: Explaining inferences, http:\/\/composing-the-semantic-web.blogspot.com\/2007\/08\/explanining-inferences.html"},{"key":"19_CR20","unstructured":"Meyer, T., Lee, K., Booth, R., Pan, J.Z.: Finding maximally satisfiable terminologies for the description logic $\\mathcal{ALC}$ . In: AAAI 2006 (2006)"},{"key":"19_CR21","unstructured":"Mungall, C.: OBO Flat File Format 1.4 syntax and semantics (February 2011), ftp:\/\/ftp.geneontology.org\/pub\/go\/www\/obo-syntax.html"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"Noy, N.F.: BioPortal: Ontologies and integrated data resources at the click of a mouse. Nucleic Acids Research 37 (May 2009)","DOI":"10.1093\/nar\/gkp440"},{"key":"19_CR23","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, 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"19_CR24","unstructured":"Scharrenbach, T., d\u2019Amato, C., Fanizzi, N., Gr\u00fctter, R., Waldvogel, B., Bernstein, A.: Default Logics for Plausible Reasoning with Controversial Axioms. In: Bobillo, F. (ed.) URSW 2010 (2010)"},{"key":"19_CR25","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: IJCAI 2003 (2003)"},{"key":"19_CR26","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/s10817-007-9076-z","volume":"39","author":"S. Schlobach","year":"2007","unstructured":"Schlobach, S., Huang, Z., Cornet, R., van Harmelen, F.: Debugging incoherent terminologies. Journal of Automated Reasoning\u00a039, 317\u2013349 (2007)","journal-title":"Journal of Automated Reasoning"},{"key":"19_CR27","unstructured":"Shchekotykhin, K., Friedrich, G., Jannach, D.: On computing minimal conflicts for ontology debugging. In: ECAI 2008 (2008)"},{"key":"19_CR28","unstructured":"Smith, B.: The OBO Foundary: Coordinated evolution of ontology to support biomedical data integration. Nature Biotechnology"},{"key":"19_CR29","unstructured":"Stuckenschmidt, H.: Debugging OWL ontologies - a reality check. In: EON-SWSC 2008 (2008)"},{"key":"19_CR30","unstructured":"Suntisrivaraporn, B.: Polynomial-Time Reasoning Support for Design and Maintenance of Large-Scale Biomedical Ontologies. Ph.D. thesis, Technical University of Dresden (2009)"},{"key":"19_CR31","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)"}],"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-35173-0_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,15]],"date-time":"2020-07-15T05:24:44Z","timestamp":1594790684000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35173-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642351723","9783642351730"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35173-0_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}