{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:51:50Z","timestamp":1760597510870},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642299223"},{"type":"electronic","value":"9783642299230"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29923-0_33","type":"book-chapter","created":{"date-parts":[[2012,6,15]],"date-time":"2012-06-15T18:24:21Z","timestamp":1339784661000},"page":"425-433","source":"Crossref","is-referenced-by-count":5,"title":["An Efficient Approach to Debugging Ontologies Based on Patterns"],"prefix":"10.1007","author":[{"given":"Qiu","family":"Ji","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiqiang","family":"Gao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhisheng","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Man","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_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 (2003)"},{"key":"33_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/11428817_21","volume-title":"Natural Language Processing and Information Systems","author":"P. Cimiano","year":"2005","unstructured":"Cimiano, P., V\u00f6lker, J.: Text2onto \u2013 A Framework for Ontology Learning and Data-Driven Change Discovery. In: Montoyo, A., Mu\u0144oz, R., M\u00e9tais, E. (eds.) NLDB 2005. LNCS, vol.\u00a03513, pp. 227\u2013238. Springer, Heidelberg (2005)"},{"key":"33_CR3","unstructured":"Corcho, \u00d3., Roussey, C., Bl\u00e1zquez, L.M.V., P\u00e9rez, I.: Pattern-based owl ontology debugging guidelines. In: WOP (2009)"},{"key":"33_CR4","unstructured":"Flouris, G., Huang, Z., Pan, J.Z., Plexousakis, D., Wache, H.: Inconsistencies, negations and changes in ontologies. In: AAAI, Boston, Massachusetts, pp. 1295\u20131300 (2006)"},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: extracting modules from ontologies. In: WWW, pp. 717\u2013726 (2007)","DOI":"10.1145\/1242572.1242669"},{"key":"33_CR6","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":"33_CR7","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":"33_CR8","doi-asserted-by":"crossref","unstructured":"Parsia, B., Sirin, E., Kalyanpur, A.: Debugging owl ontologies. In: WWW, pp. 633\u2013640 (2005)","DOI":"10.1145\/1060745.1060837"},{"key":"33_CR9","doi-asserted-by":"crossref","unstructured":"Plaisted, D.A., Greenbaum, S.: A structure-preserving clasue form translation. Journal of Symbolic Computation (1986)","DOI":"10.1016\/S0747-7171(86)80028-1"},{"issue":"1","key":"33_CR10","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":"33_CR11","unstructured":"Sattler, U., Schneider, T., Zakharyaschev, M.: Which kind of module should i extract? In: Description Logics (2009)"},{"key":"33_CR12","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: IJCAI, pp. 355\u2013362 (2003)"},{"key":"33_CR13","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":"33_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"745","DOI":"10.1007\/11574620_53","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"H. Wang","year":"2005","unstructured":"Wang, H., Horridge, M., Rector, A.L., Drummond, N., Seidenberg, J.: Debugging OWL-DL Ontologies: A Heuristic Approach. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 745\u2013757. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29923-0_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:21:20Z","timestamp":1620127280000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29923-0_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642299223","9783642299230"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29923-0_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}