{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:54:00Z","timestamp":1756000440161},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540710691"},{"type":"electronic","value":"9783540710707"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71070-7_21","type":"book-chapter","created":{"date-parts":[[2008,8,29]],"date-time":"2008-08-29T05:56:30Z","timestamp":1219989390000},"page":"259-274","source":"Crossref","is-referenced-by-count":36,"title":["The Logical Difference Problem for Description Logic Terminologies"],"prefix":"10.1007","author":[{"given":"Boris","family":"Konev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Walther","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Wolter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","first-page":"325","volume-title":"Proceedings of IJCAI 2003","author":"F. Baader","year":"2003","unstructured":"Baader, F.: Terminological cycles in a description logic with existential restrictions. In: Proceedings of IJCAI 2003, pp. 325\u2013330. Morgan Kaufmann, San Francisco (2003); Long version available as LTCS Report 02-02"},{"key":"21_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/11814771_25","volume-title":"Automated Reasoning","author":"F. Baader","year":"2006","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL\u2014a polynomial-time reasoner for life science ontologies. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 287\u2013291. Springer, Heidelberg (2006)"},{"key":"21_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 \n                      \n                        \n                      \n                      $\\mathcal{EL}^+$\n                    . In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol.\u00a04667, pp. 52\u201367. Springer, Heidelberg (2007)"},{"key":"21_CR4","unstructured":"The Caml team, \n                      \n                        http:\/\/caml.inria.fr\/contact.en.html"},{"issue":"4","key":"21_CR5","first-page":"327","volume":"27","author":"A. Fl\u00f6gel","year":"1993","unstructured":"Fl\u00f6gel, A., B\u00fcning, H.K., Lettmann, T.: On the restricted equivalence of subclasses of propositional logic. ITA\u00a027(4), 327\u2013340 (1993)","journal-title":"ITA"},{"key":"21_CR6","first-page":"187","volume-title":"Proceedings of KR 2006","author":"S. Ghilardi","year":"2006","unstructured":"Ghilardi, S., Lutz, C., Wolter, F.: Did I damage my ontology? a case for conservative extensions in description logics. In: Proceedings of KR 2006, pp. 187\u2013197. AAAI Press, Menlo Park (2006)"},{"key":"21_CR7","unstructured":"Ghilardi, S., Lutz, C., Wolter, F., Zakharyaschev, M.: Conservative extensions in modal logics. In: Proceedings of AiML-6, pp. 187\u2013207. College Publications (2006)"},{"issue":"2","key":"21_CR8","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/BF01061237","volume":"55","author":"S. Ghilardi","year":"1995","unstructured":"Ghilardi, S., Zawadowski, M.: Undefinability of propositional quantifiers in the modal system S4. Studia Logica\u00a055(2), 259\u2013271 (1995)","journal-title":"Studia Logica"},{"key":"21_CR9","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1145\/1242572.1242669","volume-title":"Proceedings of WWW 2007","author":"B.C. Grau","year":"2007","unstructured":"Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: extracting modules from ontologies. In: Proceedings of WWW 2007, pp. 717\u2013726. ACM Press, New York (2007)"},{"key":"21_CR10","first-page":"229","volume-title":"Proceedings of LICS 2005","author":"M. Hofmann","year":"2005","unstructured":"Hofmann, M.: Proof-theoretic approach to description logic. In: Proceedings of LICS 2005, pp. 229\u2013237. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"21_CR11","unstructured":"Konev, B., Walther, D., Wolter, F.: The logical difference problem for description logic terminologies (manuscript 2008), \n                      \n                        http:\/\/www.csc.liv.ac.uk\/~frank\/publ\/publ.html"},{"key":"21_CR12","first-page":"453","volume-title":"Proceedings of IJCAI 2007","author":"C. Lutz","year":"2007","unstructured":"Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: Proceedings of IJCAI 2007, pp. 453\u2013458. AAAI Press, Menlo Park (2007)"},{"key":"21_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-540-73595-3_7","volume-title":"Automated Deduction \u2013 CADE-21","author":"C. Lutz","year":"2007","unstructured":"Lutz, C., Wolter, F.: Conservative extensions in the lightweight description logic \n                      \n                        \n                      \n                      $\\mathcal{EL}$\n                    . In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol.\u00a04603, pp. 84\u201399. Springer, Heidelberg (2007)"},{"key":"21_CR14","first-page":"744","volume-title":"Proceedings of AAAI 2002","author":"N.F. Noy","year":"2002","unstructured":"Noy, N.F., Musen, M.: Promptdiff: A fixed-point algorithm for comparing ontology versions. In: Proceedings of AAAI 2002, pp. 744\u2013750. AAAI Press, Menlo Park (2002)"},{"issue":"1","key":"21_CR15","doi-asserted-by":"publisher","first-page":"33","DOI":"10.2307\/2275175","volume":"57","author":"A. Pitts","year":"1992","unstructured":"Pitts, A.: On an interpretation of second-order quantification in first-order intuitionistic propositional logic. Journal of Symbolic Logic\u00a057(1), 33\u201352 (1992)","journal-title":"Journal of Symbolic Logic"},{"key":"21_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/11814771_21","volume-title":"Automated Reasoning","author":"V. Sofronie-Stokkermans","year":"2006","unstructured":"Sofronie-Stokkermans, V.: Interpolation in local theory extensions. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 235\u2013250. Springer, Heidelberg (2006)"},{"key":"21_CR17","unstructured":"Spackman, K.: Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with SNOMED-RT. In: JAMIA, Fall Symposium Special Issue (2000)"},{"key":"21_CR18","series-title":"Lecture Notes Logic","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/978-3-662-21963-8_9","volume-title":"G\u00f6del 1996 (Brno, 1996)","author":"A. Visser","year":"1996","unstructured":"Visser, A.: Uniform interpolation and layered bisimulation. In: G\u00f6del 1996 (Brno, 1996). Lecture Notes Logic, vol.\u00a06, pp. 139\u2013164. Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71070-7_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T00:36:30Z","timestamp":1620002190000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71070-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540710691","9783540710707"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71070-7_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}