{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T11:34:19Z","timestamp":1790768059570,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":50,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642019067","type":"print"},{"value":"9783642019074","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01907-4_3","type":"book-chapter","created":{"date-parts":[[2009,5,16]],"date-time":"2009-05-16T09:07:13Z","timestamp":1242464833000},"page":"25-66","source":"Crossref","is-referenced-by-count":27,"title":["Formal Properties of Modularisation"],"prefix":"10.1007","author":[{"given":"Boris","family":"Konev","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carsten","family":"Lutz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dirk","family":"Walther","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Frank","family":"Wolter","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"3_CR1","first-page":"361","volume-title":"Proceedings of AAAI 2007","author":"A. Artale","year":"2007","unstructured":"Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: DL-Lite in the light of first-order logic. In: Proceedings of AAAI 2007, pp. 361\u2013366. AAAI Press, Menlo Park (2007)"},{"key":"3_CR2","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope. In: Proceedings of IJCAI 2005, pp. 364\u2013369. Professional Book Center (2005)"},{"key":"3_CR3","volume-title":"The Description Logic Handbook: Theory, implementation and applications","author":"F. Baader","year":"2003","unstructured":"Baader, F., Calvanes, D., McGuiness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, implementation and applications. Cambridge University Press, Cambridge (2003)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/11926078_6","volume-title":"The Semantic Web - ISWC 2006","author":"J. Bao","year":"2006","unstructured":"Bao, J., Caragea, D., Honavar, V.: On the semantics of linking and importing in modular ontologies. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 72\u201386. Springer, Heidelberg (2006)"},{"key":"3_CR5","unstructured":"Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P., Stein, L.: OWL Web Ontology Language reference. W3C Recommendation (February 10, 2004)"},{"issue":"4","key":"3_CR6","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/j.websem.2004.07.001","volume":"1","author":"P. Bouquet","year":"2004","unstructured":"Bouquet, P., Giunchiglia, F., van Harmelen, F., Serafini, L., Stuckenschmidt, H.: Contextualizing ontologies. Journal of Web Semantics\u00a01(4), 325\u2013343 (2004)","journal-title":"Journal of Web Semantics"},{"key":"3_CR7","volume-title":"Handbook of Modal Logic","author":"J. Bradfield","year":"2006","unstructured":"Bradfield, J., Stirling, C.: Modal mu-calculus. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic. Elsevier, Amsterdam (2006)"},{"key":"3_CR8","first-page":"196","volume":"41","author":"P. Byers","year":"1990","unstructured":"Byers, P., Pitt, D.H.: Conservative extensions: a cautionary note. Bulletin of the EATCS\u00a041, 196\u2013201 (1990)","journal-title":"Bulletin of the EATCS"},{"key":"3_CR9","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: Tractable description logics for ontologies. In: Proceedings of AAAI 2005, pp. 602\u2013607. AAAI Press \/ MIT Press (2005)"},{"key":"3_CR10","first-page":"260","volume-title":"Proceedings of KR 2006","author":"D. Calvanese","year":"2006","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: Proceedings of KR 2006, pp. 260\u2013270. AAAI Press, Menlo Park (2006)"},{"key":"3_CR11","first-page":"391","volume-title":"Proceedings of AAAI 2007","author":"D. Calvanese","year":"2007","unstructured":"Calvanese, D., Eiter, T., Ortiz, M.: Answering regular path queries in expressive description logics: An automata-theoretic approach. In: Proceedings of AAAI 2007, pp. 391\u2013396. AAAI Press, Menlo Park (2007)"},{"key":"3_CR12","first-page":"79","volume-title":"Proceedings of KR 2006","author":"B. Cate ten","year":"2006","unstructured":"ten Cate, B., Conradie, W., Marx, M., Venema, Y.: Definitorially complete description logics. In: Proceedings of KR 2006, pp. 79\u201389. AAAI Press, Menlo Park (2006)"},{"key":"3_CR13","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Model Theory","author":"C.C. Chang","year":"1990","unstructured":"Chang, C.C., Keisler, H.J.: Model Theory. Studies in Logic and the Foundations of Mathematics, vol.\u00a073. Elsevier, Amsterdam (1990)"},{"key":"3_CR14","first-page":"717","volume-title":"Proceedings 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: Proceedings of WWW 2007, pp. 717\u2013727. ACM, New York (2007)"},{"key":"3_CR15","first-page":"298","volume-title":"Proceedings of IJCAI 2007","author":"B. Cuenca Grau","year":"2007","unstructured":"Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: A logical framework for modularity of ontologies. In: Proceedings of IJCAI 2007, pp. 298\u2013303. AAAI Press, Menlo Park (2007)"},{"key":"3_CR16","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1613\/jair.2375","volume":"31","author":"B. Cuenca Grau","year":"2008","unstructured":"Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Modular reuse of ontologies: Theory and practice. Journal of Artificial Intelligence Research\u00a031, 273\u2013318 (2008)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"3_CR17","first-page":"198","volume-title":"Proceedings of KR 2006","author":"B. Cuenca Grau","year":"2006","unstructured":"Cuenca Grau, B., Parsia, B., Sirin, E., Kalyanpur, A.: Modularity and web ontologies. In: Proceedings of KR 2006, pp. 198\u2013209. AAAI Press, Menlo Park (2006)"},{"key":"3_CR18","unstructured":"D\u2019Agostino, G., Hollenberg, M.: Uniform interpolation, automata, and the modal \u03bc-calculus. In: Proceedings of AiML 1998, vol.\u00a01. CSLI Publishers (1998)"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Eiter, T., Fink, M., Woltran, S.: Semantical characterizations and complexity of equivalences in answer set programming. ACM Transactions in Computational Logic\u00a08(3) (2007)","DOI":"10.1145\/1243996.1244000"},{"key":"3_CR20","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Many-Dimensional Modal Logics: Theory and Applications","author":"D.M. Gabbay","year":"2003","unstructured":"Gabbay, D.M., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-Dimensional Modal Logics: Theory and Applications. Studies in Logic and the Foundations of Mathematics, vol.\u00a0148. Elsevier, Amsterdam (2003)"},{"key":"3_CR21","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 logic. In: Proceedings of KR 2006, pp. 187\u2013197. AAAI Press, Menlo Park (2006)"},{"issue":"2","key":"3_CR22","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":"3_CR23","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1613\/jair.2372","volume":"31","author":"B. Glimm","year":"2008","unstructured":"Glimm, B., Lutz, C., Horrocks, I., Sattler, U.: Answering conjunctive queries in the $\\mathcal{SHIQ}$ description logic. Journal of Artificial Intelligence Research\u00a031, 150\u2013197 (2008)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"1","key":"3_CR24","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. Journal of ACM\u00a039(1), 95\u2013146 (1992)","journal-title":"Journal of ACM"},{"key":"3_CR25","first-page":"83","volume-title":"Proceedings of Logical Environments","author":"J.A. Goguen","year":"1993","unstructured":"Goguen, J.A., Diaconescu, R., Stefaneas, P.: Logical support for modularisation. In: Proceedings of Logical Environments, pp. 83\u2013130. Cambridge University Press, Cambridge (1993)"},{"key":"3_CR26","volume-title":"Handbook of Modal Logic","author":"V. Goranko","year":"2007","unstructured":"Goranko, V., Otto, M.: Model theory of modal logic. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic. Elsevier, Amsterdam (2007)"},{"key":"3_CR27","first-page":"55","volume-title":"Proceedings of ECAI 2008","author":"B. Konev","year":"2008","unstructured":"Konev, B., Lutz, C., Walther, D., Wolter, F.: Semantic modularity and module extraction in description logics. In: Proceedings of ECAI 2008, pp. 55\u201359. IOS Press, Amsterdam (2008)"},{"key":"3_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-540-71070-7_21","volume-title":"Automated Reasoning","author":"B. Konev","year":"2008","unstructured":"Konev, B., Walther, D., Wolter, F.: The logical difference problem for description logic terminologies. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS, vol.\u00a05195, pp. 259\u2013274. Springer, Heidelberg (2008)"},{"key":"3_CR29","unstructured":"Kontchakov, R., Wolter, F., Zakharyaschev, M.: Modularity in DL-Lite. In: Proceedings of DL 2007, pp. 76\u201387. CEUR-WS (2007)"},{"key":"3_CR30","first-page":"285","volume-title":"Proceedings of KR 2008","author":"R. Kontchakov","year":"2008","unstructured":"Kontchakov, R., Wolter, F., Zakharyaschev, M.: Can you tell the difference between DL-Lite ontologies. In: Proceedings of KR 2008, pp. 285\u2013295. AAAI Press, Menlo Park (2008)"},{"issue":"1","key":"3_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2004.02.002","volume":"156","author":"O. Kutz","year":"2004","unstructured":"Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-connections of abstract description systems. Artificial Intelligence\u00a0156(1), 1\u201373 (2004)","journal-title":"Artificial Intelligence"},{"key":"3_CR32","volume-title":"Proceedings of ECAI 2008","author":"O. Kutz","year":"2008","unstructured":"Kutz, O., Mossakowski, T.: Conservativity in structured ontologies. In: Proceedings of ECAI 2008. IOS Press, Amsterdam (2008)"},{"key":"3_CR33","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1613\/jair.1113","volume":"18","author":"J. Lang","year":"2003","unstructured":"Lang, J., Liberatore, P., Marquis, P.: Propositional independence: formula-variable independence and forgetting. Journal of Artificial Intelligence Research\u00a018, 391\u2013443 (2003)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"4","key":"3_CR34","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1145\/383779.383783","volume":"2","author":"V. Lifschitz","year":"2001","unstructured":"Lifschitz, V., Pearce, D., Valverde, A.: Strongly equivalent logic programs. ACM Transactions on Computational Logic\u00a02(4), 526\u2013541 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"key":"3_CR35","unstructured":"L\u00fcttich, K., Masolo, C., Borgo, S.: Development of modular ontologies in CASL. In: Proceedings of WoMO 2006, CEUR-WS (2006)"},{"key":"3_CR36","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":"3_CR37","series-title":"Lecture Notes in Computer Science","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 $\\mathcal{EL}$ . In: Pfenning, F. (ed.) CADE 2007. LNCS, vol.\u00a04603, pp. 84\u201399. Springer, Heidelberg (2007)"},{"key":"3_CR38","unstructured":"Lutz, C., Wolter, F.: Deciding inseparability and conservative extensions in the description logic $\\mathcal{EL}$ . Technical report, University of Liverpool (2008)"},{"key":"3_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/BFb0030588","volume-title":"TAPSOFT\u201997: Theory and Practice of Software Development","author":"T.S.E. Maibaum","year":"1997","unstructured":"Maibaum, T.S.E.: Conservative extensions, interpretations between theories and all that! In: Bidoit, M., Dauchet, M. (eds.) TAPSOFT 1997. LNCS, vol.\u00a01214, pp. 40\u201366. Springer, Heidelberg (1997)"},{"issue":"1","key":"3_CR40","doi-asserted-by":"publisher","first-page":"397","DOI":"10.2178\/jsl\/1190150051","volume":"67","author":"L. Maksimova","year":"2002","unstructured":"Maksimova, L.: Complexity of interpolation and related problems in positive calculi. Journal of Symbolic Logic\u00a067(1), 397\u2013408 (2002)","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"3_CR41","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":"3_CR42","first-page":"154","volume-title":"Proceedings of AAAI Fall Symposium on Relevance","author":"R. Reiter","year":"1994","unstructured":"Reiter, R., Lin, F.: Forget it! In: Proceedings of AAAI Fall Symposium on Relevance, pp. 154\u2013159. AAAI Press, Menlo Park (1994)"},{"key":"3_CR43","doi-asserted-by":"crossref","unstructured":"Schorlemmer, M., Kalfoglou, Y.: Institutionalising ontology-based semantic integration. Applied Ontology (to appear, 2008)","DOI":"10.3233\/AO-2008-0041"},{"key":"3_CR44","unstructured":"Serafini, L., Borgida, A., Tamilin, A.: Aspects of distributed and modular ontology reasoning. In: Proceedings of IJCAI 2005, pp. 570\u2013575. Professional Book Center (2005)"},{"key":"#cr-split#-3_CR45.1","unstructured":"Spackman, K.: Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with SNOMED-RT. In: JAMIA (2000);"},{"key":"#cr-split#-3_CR45.2","unstructured":"Fall Symposium Special Issue"},{"key":"3_CR46","first-page":"188","volume":"46","author":"P. Veloso","year":"1992","unstructured":"Veloso, P.: Yet another cautionary note on conservative extensions: a simple case with a computing flavour. EATCS-Bulletin\u00a046, 188\u2013193 (1992)","journal-title":"EATCS-Bulletin"},{"key":"3_CR47","first-page":"189","volume":"43","author":"P. Veloso","year":"1991","unstructured":"Veloso, P., Veloso, S.: Some remarks on conservative extensions. a socratic dialog. EATCS-Bulletin\u00a043, 189\u2013198 (1991)","journal-title":"EATCS-Bulletin"},{"key":"3_CR48","series-title":"Lecture Notes in Logic","volume-title":"G\u00f6del 1996","author":"A. Visser","year":"1996","unstructured":"Visser, A.: Uniform interpolation and layered bisimulation. In: G\u00f6del 1996, Brno. Lecture Notes in Logic, vol.\u00a06. Springer, Heidelberg (1996)"},{"key":"3_CR49","first-page":"245","volume-title":"Proceedings of ESWC 2008","author":"Z. Wang","year":"2008","unstructured":"Wang, Z., Wang, K., Topor, R.W., Pan, J.Z.: Forgetting Concepts in DL-Lite. In: Proceedings of ESWC 2008, pp. 245\u2013257. IOS Press, Amsterdam (2008)"}],"container-title":["Lecture Notes in Computer Science","Modular Ontologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01907-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,18]],"date-time":"2020-05-18T07:59:50Z","timestamp":1589788790000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01907-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642019067","9783642019074"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01907-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}