{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:48:42Z","timestamp":1725731322174},"publisher-location":"New York, NY","reference-count":30,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781461468790"},{"type":"electronic","value":"9781461468806"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-1-4614-6880-6_22","type":"book-chapter","created":{"date-parts":[[2013,6,12]],"date-time":"2013-06-12T16:08:16Z","timestamp":1371053296000},"page":"251-264","source":"Crossref","is-referenced-by-count":2,"title":["Study of Ontology Debugging Approaches Based on the Criterion Set BLUEI2CI"],"prefix":"10.1007","author":[{"given":"Qiu","family":"Ji","sequence":"first","affiliation":[]},{"given":"Zhiqiang","family":"Gao","sequence":"additional","affiliation":[]},{"given":"Zhisheng","family":"Huang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,5,2]]},"reference":[{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"22_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"22_CR2","unstructured":"Baader, F., Pe\u00f1aloza, R.: Axiom pinpointing in general tableaux. In: TABLEAUX, pp.\u00a011\u201327, 2007"},{"key":"22_CR3","unstructured":"Baader, F., Pe\u00f1aloza, R.: Automata-based axiom pinpointing. In: IJCAR, pp.\u00a0226\u2013241, 2008"},{"key":"22_CR4","unstructured":"Baader, F., Pe\u00f1aloza, R., Suntisrivaraporn, B.: Pinpointing in the description logic \n                  \n                    \n                  \n                  \n$${\\mathcal{E}\\mathcal{L}}^{+}$$\n\n                . In: KI, pp.\u00a052\u201367, 2007"},{"key":"22_CR5","volume-title":"Debugging SNOMED CT using axiom pinpointing in the description logic $${\\mathcal{E}\\mathcal{L}}^{+}$$","author":"F. Baader","year":"2008","unstructured":"Baader, F., Suntisrivaraporn, B.: Debugging SNOMED CT using axiom pinpointing in the description logic \n                  \n                    \n                  \n                  \n$${\\mathcal{E}\\mathcal{L}}^{+}$$\n\n                . In: KR-MED, 2008"},{"key":"22_CR6","unstructured":"Bell, D.A., Qi, G., Liu, W.: Approaches to inconsistency handling in description-logic based ontologies. In: OTM, pp.\u00a01303\u20131311, 2007"},{"issue":"3","key":"22_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jswis.2009081901","volume":"5","author":"B. Christian","year":"2009","unstructured":"Christian, B., Tom, H., Tim, B-L.: Linked data - the story so far. Int. J. Semantic Web Inform. Syst. 5(3), 1\u201322 (2009)","journal-title":"Int. J. Semantic Web Inform. Syst."},{"key":"22_CR8","unstructured":"David, J., Guillet, F., Briand, H.: Matching directories and OWL ontologies with AROMA. In: CIKM, pp.\u00a0830\u2013831, 2006"},{"key":"22_CR9","unstructured":"Du, J., Qi, G.: Decomposition-based optimization for debugging of inconsistent OWL DL ontologies. In: KSEM, pp.\u00a088\u2013100, 2010"},{"key":"22_CR10","unstructured":"Du, J., Qi, G., Ji, Q.: Goal-directed module extraction for explaining OWL DL entailments. In: ISWC, pp.\u00a0163\u2013179, 2009"},{"key":"22_CR11","unstructured":"Flouris, G., Huang, Z., Pan, J.Z., Plexousakis, D., Wache, H.: Inconsistencies, negations and changes in ontologies. In: AAAI, pp.\u00a01295\u20131300, 2006"},{"key":"22_CR12","unstructured":"Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: extracting modules from ontologies. In: WWW, pp.\u00a0717\u2013726, 2007"},{"key":"22_CR13","unstructured":"Haase, P., Stojanovic, L.: Consistent evolution of OWL ontologies. In: ESWC, pp.\u00a0182\u2013197, 2005"},{"key":"22_CR14","unstructured":"Horridge, M., Parsia, B., Sattler, U.: Explaining inconsistencies in OWL ontologies. In: SUM, pp.\u00a0124\u2013137, 2009"},{"key":"22_CR15","unstructured":"Ji, Q., Gao, Z., Huang, Z., Zhu, M.: An efficient approach to debugging ontologies based on patterns. In: JIST, pp.\u00a0425\u2013433, 2011"},{"key":"22_CR16","unstructured":"Ji, Q., Qi, G., Haase, P.: A relevance-directed algorithm for finding justifications of DL entailments. In: ASWC, pp.\u00a0306\u2013320, 2009"},{"key":"22_CR17","unstructured":"Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of OWL DL entailments. In: ISWC\/ASWC, pp.\u00a0267\u2013280, 2007"},{"issue":"2","key":"22_CR18","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/j.websem.2005.10.001","volume":"4","author":"A. Kalyanpur","year":"2006","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Grau, B.C., Hendler, J.A.: Swoop: A web ontology editing browser. J. Web Semant. 4(2), 144\u2013153 (2006)","journal-title":"J. Web Semant."},{"issue":"4","key":"22_CR19","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. Web Semantics 3(4), 268\u2013293 (2005)","journal-title":"J. Web Semantics"},{"issue":"7","key":"22_CR20","first-page":"1041","volume":"41","author":"S. Li","year":"2004","unstructured":"Li, S., Yin, Q., Hu, Y., Guo, M., Fu, X.: Overview of researches on ontology. J. Comput. Res. Dev. (in Chinese) 41(7), 1041\u20131052 (2004)","journal-title":"J. Comput. Res. Dev. (in Chinese)"},{"key":"22_CR21","unstructured":"Meilicke, C., Stuckenschmidt, H., Tamilin, A.: Repairing ontology mappings. In: AAAI, pp.\u00a01408\u20131413, 2007"},{"key":"22_CR22","volume-title":"A survey of revision approaches in description logics","author":"G. Qi","year":"2008","unstructured":"Qi, G., Yang, F.: A survey of revision approaches in description logics. In: Description Logics, 2008"},{"issue":"1","key":"22_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. Artif. Intell. 32(1), 57\u201395 (1987)","journal-title":"Artif. Intell."},{"key":"22_CR24","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: IJCAI, pp.\u00a0355\u2013362, 2003"},{"issue":"3","key":"22_CR25","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. J. Automat. Reas. 39(3), 317\u2013349 (2007)","journal-title":"J. Automat. Reas."},{"key":"22_CR26","volume-title":"Debugging owl ontologies - a reality check","author":"H. Stuckenschmidt","year":"2008","unstructured":"Stuckenschmidt, H.: Debugging owl ontologies - a reality check. In: EON, 2008"},{"key":"22_CR27","unstructured":"Suntisrivaraporn, B.: Module extraction and incremental classification: A pragmatic approach for ontologies. In: ESWC, pp.\u00a0230\u2013244, 2008"},{"key":"22_CR28","unstructured":"Suntisrivaraporn, B.: Polynomial-Time Reasoning Support for Design and Maintenance of Large-Scale Biomedical Ontologies. PhD thesis, TU Dresden, Germany, 2009"},{"key":"22_CR29","unstructured":"Suntisrivaraporn, B., Qi, G., Ji, Q., Haase, P.: A modularization-based approach to finding all justifications for OWL DL entailments. In: ASWC, pp.\u00a01\u201315, 2008"},{"key":"22_CR30","unstructured":"Wang, H., Horridge, M., Rector, A.L., Drummond, N., Seidenberg, J.: Debugging OWL-DL ontologies: A heuristic approach. In: ISWC, pp.\u00a0745\u2013757, 2005"}],"container-title":["Springer Proceedings in Complexity","Semantic Web and Web Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-6880-6_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T03:26:54Z","timestamp":1557804414000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4614-6880-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9781461468790","9781461468806"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-6880-6_22","relation":{},"ISSN":["2213-8684","2213-8692"],"issn-type":[{"type":"print","value":"2213-8684"},{"type":"electronic","value":"2213-8692"}],"subject":[],"published":{"date-parts":[[2013]]}}}