{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T08:38:51Z","timestamp":1774946331604,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540897033","type":"print"},{"value":"9783540897040","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-89704-0_1","type":"book-chapter","created":{"date-parts":[[2008,11,13]],"date-time":"2008-11-13T02:53:45Z","timestamp":1226544825000},"page":"1-15","source":"Crossref","is-referenced-by-count":33,"title":["A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments"],"prefix":"10.1007","author":[{"given":"Boontawee","family":"Suntisrivaraporn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guilin","family":"Qi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qiu","family":"Ji","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Haase","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/978-3-540-73099-6_4","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"F. Baader","year":"2007","unstructured":"Baader, F., Pe\u00f1aloza, R.: Axiom pinpointing in general tableaux. In: Olivetti, N. (ed.) TABLEAUX 2007. LNCS, vol.\u00a04548, pp. 11\u201327. Springer, Heidelberg (2007)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","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 \u03b5 $\\mathcal{L}^{+}$ . In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS, vol.\u00a04667, pp. 52\u201367. Springer, Heidelberg (2007)"},{"key":"1_CR3","unstructured":"Baader, F., Suntisrivaraporn, B.: Debugging SNOMED CT using axiom pinpointing in the description logic \u03b5 $\\mathcal{L}^{+}$ . In: Proceedings of KR-MED 2008: Representing and Sharing Knowledge Using SNOMED (2008)"},{"key":"1_CR4","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1613\/jair.2375","volume":"31","author":"B.C. Grau","year":"2008","unstructured":"Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Modular reuse of ontologies: Theory and practice. J. of Artificial Intelligence Research (JAIR)\u00a031, 273\u2013318 (2008)","journal-title":"J. of Artificial Intelligence Research (JAIR)"},{"key":"1_CR5","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., 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":"1_CR6","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1145\/1242572.1242669","volume-title":"Proc. of WWW 2007","author":"B. Cuenca Grau","year":"2007","unstructured":"Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: Extracting modules from ontologies. In: Proc. of WWW 2007, Banff, Canada, pp. 717\u2013726. ACM, New York (2007)"},{"key":"1_CR7","unstructured":"Horrocks, I., Sattler, U.: A tableaux decision procedure for $\\mathcal{SHOIQ}$ . In: Proc. of IJCAI 2005, pp. 448\u2013453 (2005)"},{"key":"1_CR8","unstructured":"Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Proc. of IJCAI 2005, pp. 254\u2013259 (2005)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Ji, Q., Qi, G., Haase, P.: A relevance-based algorithm for finding justifications of DL entailments. In: Technical report, University of Karlsruhe (2008), http:\/\/www.aifb.uni-karlsruhe.de\/WBS\/gqi\/papers\/RelAlg.pdf","DOI":"10.1007\/978-3-642-10871-6_21"},{"key":"1_CR10","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., 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":"1_CR11","doi-asserted-by":"crossref","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. Journal of Web Semantics\u00a03(4), 268\u2013293 (2005)","journal-title":"Journal of Web Semantics"},{"key":"1_CR12","first-page":"645","volume-title":"Proc. of AAAI 2005","author":"T. Meyer","year":"2005","unstructured":"Meyer, T., Lee, K., Booth, R.: Knowledge integration for description logics. In: Proc. of AAAI 2005, pp. 645\u2013650. AAAI Press, Menlo Park (2005)"},{"issue":"1","key":"1_CR13","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":"1_CR14","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)"},{"issue":"3","key":"1_CR15","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. Autom. Reasoning\u00a039(3), 317\u2013349 (2007)","journal-title":"J. Autom. Reasoning"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-540-68234-9_19","volume-title":"The Semantic Web: Research and Applications","author":"B. Suntisrivaraporn","year":"2008","unstructured":"Suntisrivaraporn, B.: Module extraction and incremental classification: A pragmatic approach for $\\mathcal{EL}^+$ ontologies. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol.\u00a05021, pp. 230\u2013244. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89704-0_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T12:01:48Z","timestamp":1619524908000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89704-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540897033","9783540897040"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89704-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}