{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T04:15:36Z","timestamp":1750997736411,"version":"3.41.0"},"reference-count":82,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,11,8]],"date-time":"2017-11-08T00:00:00Z","timestamp":1510099200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["611553"],"award-info":[{"award-number":["611553"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Data Semant"],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1007\/s13740-017-0080-0","type":"journal-article","created":{"date-parts":[[2017,11,8]],"date-time":"2017-11-08T11:10:47Z","timestamp":1510139447000},"page":"155-197","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Categorical Approach to Networks of Aligned Ontologies"],"prefix":"10.1007","volume":"6","author":[{"given":"Mihai","family":"Codescu","sequence":"first","affiliation":[]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1517-7354","authenticated-orcid":false,"given":"Oliver","family":"Kutz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,8]]},"reference":[{"volume-title":"The description logic handbook: theory, implementation, and applications","year":"2003","key":"80_CR1","unstructured":"Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (eds) (2003) The description logic handbook: theory, implementation, and applications. Cambridge University Press, Cambridge"},{"key":"80_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.919","volume":"16","author":"F Baader","year":"2002","unstructured":"Baader F, Lutz C, Sturm H, Wolter F (2002) Fusions of description logics and abstract description systems. J Artif Intell Res (JAIR) 16:1\u201358","journal-title":"J Artif Intell Res (JAIR)"},{"key":"80_CR3","doi-asserted-by":"publisher","unstructured":"Bao J, Voutsadakis G, Slutzki G, Honavar V (2009) Package-based description logics. In: Stuckenschmidt H, Parent C, Spaccapietra S (eds) Modular ontologies: concepts, theories and techniques for knowledge modularization. Lecture Notes in Computer Science, vol 5445. Springer, pp 349\u2013371. https:\/\/doi.org\/10.1007\/978-3-642-01907-4_16 . http:\/\/dblp.uni-trier.de\/rec\/bib\/series\/lncs\/BaoVSH09","DOI":"10.1007\/978-3-642-01907-4_16"},{"issue":"3","key":"80_CR4","doi-asserted-by":"crossref","first-page":"311","DOI":"10.3233\/AO-2012-0113","volume":"7","author":"P Barlatier","year":"2012","unstructured":"Barlatier P, Dapoigny R (2012) A type-theoretical approach for ontologies: the case of roles. Appl Ontol 7(3):311\u2013356","journal-title":"Appl Ontol"},{"key":"80_CR5","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/978-3-540-39733-5_7","volume":"1","author":"A Borgida","year":"2003","unstructured":"Borgida A, Serafini L (2003) Distributed description logics: assimilating information from peer sources. J Data Semant 1:153\u2013184","journal-title":"J Data Semant"},{"key":"80_CR6","unstructured":"Borzyszkowski T (1999) Higher-order logic and theorem proving for structured specifications. In: Bert D, Choppy C, Mosses PD (eds) Recent trends in algebraic development techniques, 14th international workshop, WADT \u201999, Ch\u00e2teau de Bonas, France, 15\u201318 Sept 1999, Selected Papers, volume 1827 of Lecture notes in computer science. Springer, pp 401\u2013418"},{"key":"80_CR7","doi-asserted-by":"crossref","unstructured":"Bouquet P, Giunchiglia F, van Harmelen F, Serafini L, Stuckenschmidt H (2003) C-OWL: contextualizing ontologies. In: ISWC, pp 164\u2013179","DOI":"10.1007\/978-3-540-39718-2_11"},{"key":"80_CR8","unstructured":"Brewka G, Roelofsen F, Serafini L (2007) Contextual default reasoning. In: Veloso MM (eds) IJCAI 2007, proceedings of the 20th international joint conference on artificial intelligence, Hyderabad, India, 6-12 Jan 2007, pp 268\u2013273"},{"key":"80_CR9","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/3-540-45632-5_2","volume-title":"Computational logic: logic programming and beyond, volume LNCS 2408","author":"D Calvanese","year":"2002","unstructured":"Calvanese D, De Giacomo G, Lenzerini M (2002) Description logics for information integration. In: Kakas AC, Sadri F (eds) Computational logic: logic programming and beyond, volume LNCS 2408. Springer, Berlin, pp 41\u201360"},{"key":"80_CR10","doi-asserted-by":"crossref","unstructured":"Calvanese D, De Giacomo G, Lenzerini M, Rosati R (2004) Logical foundations of peer-to-peer data integration. In: Beeri C, Deutsch A (eds) PODS. ACM, pp 241\u2013251","DOI":"10.1145\/1055558.1055593"},{"key":"80_CR11","volume-title":"Model theory","author":"CC Chang","year":"1990","unstructured":"Chang CC, Keisler HJ (1990) Model theory, 3rd edn. North-Holland, Amsterdam","edition":"3"},{"key":"80_CR12","doi-asserted-by":"publisher","unstructured":"Codescu M, Kuksa E, Kutz O, Mossakowski T, Neuhaus F (2017) Ontohub: a semantic repository for heterogeneous ontologies. Appl Ontol. https:\/\/doi.org\/10.3233\/AO-170190","DOI":"10.3233\/AO-170190"},{"key":"80_CR13","first-page":"131","volume-title":"MoVaH\u201908 workshop on modeling, validation and heterogeneity","author":"M Codescu","year":"2008","unstructured":"Codescu M, Mossakowski T (2008) Heterogeneous colimits. In: Boulanger F, Gaston C, Schobbens P-Y (eds) MoVaH\u201908 workshop on modeling, validation and heterogeneity. IEEE Press, New York, pp 131\u2013140"},{"key":"80_CR14","unstructured":"Codescu M, Mossakowski T, Kutz O (2014) A categorical approach to ontology alignment. In: Proceedings of the 9th international workshop on ontology matching (OM-2014), ISWC-2014, Riva del Garda, Trentino, Italy, CEUR-WS online proceedings"},{"key":"80_CR15","unstructured":"Cuenca-Grau B, Kutz O (2007) Modular ontology languages revisited. In: Proceedings of the IJCAI\u201907 workshop on semantic web for collaborative knowledge acquisition (SWeCKa), Hyderabad, India, Jan 2007, pp 22\u201331"},{"issue":"1","key":"80_CR16","doi-asserted-by":"crossref","first-page":"3","DOI":"10.3233\/SW-2011-0028","volume":"2","author":"J David","year":"2011","unstructured":"David J, Euzenat J, Scharffe F, dos Santos CT (2011) The alignment API 4.0. Semant Web 2(1):3\u201310","journal-title":"Semant Web"},{"key":"80_CR17","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1016330812768","volume":"10","author":"R Diaconescu","year":"2002","unstructured":"Diaconescu R (2002) Grothendieck institutions. Appl Categ Struct 10:383\u2013402","journal-title":"Appl Categ Struct"},{"key":"80_CR18","volume-title":"Institution-independent model theory","author":"R Diaconescu","year":"2008","unstructured":"Diaconescu R (2008) Institution-independent model theory. Birkh\u00e4user, Basel"},{"key":"80_CR19","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/j.artint.2015.07.007","volume":"228","author":"J Euzenat","year":"2015","unstructured":"Euzenat J (2015) Revision in networks of ontologies. Artif Intell 228:195\u2013216","journal-title":"Artif Intell"},{"key":"80_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-38721-0","volume-title":"Ontology matching","author":"J Euzenat","year":"2013","unstructured":"Euzenat J, Shvaiko P (2013) Ontology matching, 2nd edn. Springer, Heidelberg","edition":"2"},{"key":"80_CR21","first-page":"49","volume":"95","author":"J Euzenat","year":"2003","unstructured":"Euzenat J, Stuckenschmidt H (2003) The \u2018family of languages\u2019 approach to semantic interoperability. Knowl Transform Semant Web 95:49\u201363","journal-title":"Knowl Transform Semant Web"},{"key":"80_CR22","unstructured":"Faria D, Pesquita C, Santos E, Cruz IF, Couto FM (2014) AgreementMakerLight 2.0: towards efficient large-scale ontology matching. In: Proceedings of the 2014 international conference on posters & demonstrations track-volume 1272, pp 457\u2013460. CEUR-WS.org"},{"key":"80_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5292-1","volume-title":"First-order modal logic","author":"M Fitting","year":"1998","unstructured":"Fitting M, Mendelsohn RL (1998) First-order modal logic. Kluwer Academic Publishers, Dordrecht"},{"key":"80_CR24","doi-asserted-by":"publisher","unstructured":"Padilha NF, Bai\u00e3o F, Revoredo K (2012) Ontology alignment for semantic data integration through foundational ontologies. In: Castano S, Vassiliadis P, Lakshmanan LVS, Lee M-L (eds) Advances in conceptual modeling. ER 2012. Lecture Notes in Computer Science, vol 7518. Springer, Berlin, Heidelberg, pp 172\u2013181. https:\/\/doi.org\/10.1007\/978-3-642-33999-8_21","DOI":"10.1007\/978-3-642-33999-8_21"},{"key":"80_CR25","unstructured":"Ghidini C, Serafini L (1998) Distributed first order logics. In: Frontiers of combining systems 2, Studies in logic and computation. Research Studies Press, pp 121\u2013140"},{"key":"80_CR26","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/978-1-4939-1887-4_24","volume-title":"Context Comput","author":"C Ghidini","year":"2014","unstructured":"Ghidini C, Serafini L (2014) Multi-context logics\u2014a general introduction. In: Brezillon P, Gonzales A (eds) Context Comput. Springer, Berlin, pp 381\u2013399"},{"key":"80_CR27","first-page":"234","volume-title":"Modeling and using context, volume of 4635 lecture notes in computer science","author":"C Ghidini","year":"2007","unstructured":"Ghidini C, Serafini L, Tessaris S (2007) On relating heterogeneous elements from different ontologies. In: Kokinov B, Richardson D, Roth-Berghofer T, Vieu L (eds) Modeling and using context, volume of 4635 lecture notes in computer science. Springer, Berlin, pp 234\u2013247"},{"key":"80_CR28","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1017\/S0960129500000050","volume":"1","author":"JA Goguen","year":"1991","unstructured":"Goguen JA (1991) A categorical manifesto. Math Struct Comput Sci 1:49\u201367","journal-title":"Math Struct Comput Sci"},{"key":"80_CR29","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"JA Goguen","year":"1992","unstructured":"Goguen JA, Burstall RM (1992) Institutions: abstract model theory for specification and programming. J Assoc Comput Mach 39:95\u2013146 (Predecessor. LNCS 164, 221\u2013256, 1984)","journal-title":"J Assoc Comput Mach"},{"key":"80_CR30","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1007\/s001650200013","volume":"13","author":"JA Goguen","year":"2002","unstructured":"Goguen JA, Ro\u015fu G (2002) Institution morphisms. Form Asp Comput 13:274\u2013307","journal-title":"Form Asp Comput"},{"key":"80_CR31","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/978-3-540-39993-3_7","volume-title":"From object-orientation to formal methods, essays in memory of Ole-Johan Dahl, volume 2635 of lecture notes in computer science","author":"JA Goguen","year":"2004","unstructured":"Goguen JA, Ro\u015fu G (2004) Composing hidden information modules over inclusive institutions. In: Owe O, Krogdahl S, Lyche T (eds) From object-orientation to formal methods, essays in memory of Ole-Johan Dahl, volume 2635 of lecture notes in computer science. Springer, Berlin, pp 96\u2013123"},{"key":"80_CR32","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1007\/11426714_8","volume-title":"Agent-oriented information systems II","author":"G Guizzardi","year":"2005","unstructured":"Guizzardi G, Wagner G (2005) Towards ontological foundations for agent modelling concepts using the unified fundational ontology (UFO). Agent-oriented information systems II. Springer, Berlin, pp 110\u2013124"},{"key":"80_CR33","volume-title":"Category theory","author":"H Herrlich","year":"1973","unstructured":"Herrlich H, Strecker G (1973) Category theory. Allyn and Bacon, Boston"},{"key":"80_CR34","unstructured":"Hitzler P, Euzenat J, Kr\u00f6tzsch M, Serafini L, Stuckenschmidt H, Wache H, Zimmermann A (2006) Integrated view and comparison of alignment semantics. Deliverable D2.2.5 (Knowledge Web\u2014FP6)"},{"key":"80_CR35","first-page":"266","volume-title":"Formal ontology in information systems (FOIS 2008)","author":"J Hois","year":"2008","unstructured":"Hois J, Kutz O (2008) Counterparts in language and space\u2014similarity and $${\\cal{S}}$$ S -connection. In: Eschenbach C, Gr\u00fcninger M (eds) Formal ontology in information systems (FOIS 2008). IOS Press, Amsterdam, pp 266\u2013279"},{"key":"80_CR36","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/978-3-540-87601-4_20","volume-title":"Spatial cognition VI. Learning, reasoning, and talking about space, volume 5248 of LNAI","author":"J Hois","year":"2008","unstructured":"Hois J, Kutz O, Freksa C (2008) Natural language meets spatial calculi. In: Newcombe NS, G\u00e4rdenfors P, W\u00f6lfl S (eds) Spatial cognition VI. Learning, reasoning, and talking about space, volume 5248 of LNAI. Springer, Berlin, pp 266\u2013282"},{"key":"80_CR37","unstructured":"Homola M (2007) Distributed description logics revisited. In: Calvanese D, Franconi E, Haarslev V, Lembo D, Motik B, Turhan A-Y, Tessaris S (eds) Proceedings of the 2007 international workshop on description logics (DL2007), Italy, 8\u201310 June 2007, CEUR-WS. http:\/\/ceur-ws.org\/Vol-250\/paper_51.pdf"},{"key":"80_CR38","unstructured":"Horridge M, Drummond N, Goodwin J, Rector A, Stevens R, Wang HH (2006) The Manchester OWL syntax. In OWL: experiences and directions (OWLED-06)"},{"key":"80_CR39","unstructured":"Horrocks I, Kutz O, Sattler U (2006) The even more irresistible $${\\cal{SROIQ}}$$ SROIQ . In: Doherty P, Mylopoulos J, Welty C (eds) Proceedings of the 10th international conference on principles of knowledge representation and reasoning (KR-06). AAAI Press"},{"issue":"1","key":"80_CR40","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I Horrocks","year":"2003","unstructured":"Horrocks I, Patel-Schneider PF, van Harmelen F (2003) From SHIQ and RDF to OWL: the making of a web ontology language. J Web Semant 1(1):7\u201326","journal-title":"J Web Semant"},{"key":"80_CR41","doi-asserted-by":"crossref","unstructured":"Jim\u00e9nez-Ruiz E, Cuenca Grau B (2011) LogMap: logic-based and scalable ontology matching. In: Proceedings of the 10th international semantic web confernece (ISWC 2011). Springer, pp 273\u2013288","DOI":"10.1007\/978-3-642-25073-6_18"},{"key":"80_CR42","unstructured":"Jim\u00e9nez-Ruiz E, Payne TR, Solimando A, Tamma V (2016) Limiting logical violations in ontology alignment through negotiation. In: Proceedings of the fifteenth international conference on principles of knowledge representation and reasoning, KR\u201916. AAAI Press, pp 217\u2013226"},{"key":"80_CR43","unstructured":"Kazakov Y (2008) RIQ and SROIQ are harder than SHOIQ. In: Brewka G, Lang J (eds) Principles of knowledge representation and reasoning: proceedings of the eleventh international conference, KR 2008, Sydney, Australia, 16-19 Sept 2008. AAAI Press, pp 274\u2013284"},{"key":"80_CR44","doi-asserted-by":"publisher","unstructured":"Khan Z, Keet CM (2013) The foundational ontology library ROMULUS. In: Cuzzocrea A, Maabout S (eds) Model and data engineering. MEDI 2013. Lecture Notes in Computer Science, vol 8216. Springer, Berlin, Heidelberg, pp 200\u2013211. https:\/\/doi.org\/10.1007\/978-3-642-41366-7_17 . http:\/\/dblp.uni-trier.de\/rec\/bib\/conf\/medi\/KhanK13","DOI":"10.1007\/978-3-642-41366-7_17"},{"key":"80_CR45","doi-asserted-by":"publisher","unstructured":"Khan Z, Keet CM (2016) Romulus: the repository of ontologies for multiple uses populated with mediated foundational ontologies. J Data Semant 5(1):19\u201336. https:\/\/doi.org\/10.1007\/s13740-015-0052-1","DOI":"10.1007\/s13740-015-0052-1"},{"key":"80_CR46","doi-asserted-by":"crossref","first-page":"943","DOI":"10.1016\/B978-044451541-4\/50025-7","volume-title":"Philosophy of logic, handbook of the philosophy of science","author":"M Kracht","year":"2007","unstructured":"Kracht M, Kutz O (2007) Logically possible worlds and counterpart semantics for modal logic. In: Jacquette D (ed) Philosophy of logic, handbook of the philosophy of science, vol 5. Elsevier, Amsterdam, pp 943\u2013996"},{"key":"80_CR47","unstructured":"Kuksa E, Mossakowski T (2016) Ontohub: version control, linked data and theorem proving for ontologies. In: Proceedings of the joint ontology workshops (JOWO 2016). Episode 2: the French summer of ontology; co-located with FOIS 2016, volume 1660 of CEUR-WS"},{"issue":"1","key":"80_CR48","doi-asserted-by":"crossref","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 (2004) $$\\cal{E}$$ E -connections of abstract description systems. Artif Intell 156(1):1\u201373","journal-title":"Artif Intell"},{"key":"80_CR49","unstructured":"Kutz O, Mossakowski T, Codescu M (2008) Shapes of alignments\u2014construction, combination, and computation. In: Sattler U, Tamilin A (eds) International workshop on ontologies: reasoning and modularity (WORM-08), vol 348 of CEUR-WS"},{"key":"80_CR50","unstructured":"Kutz O, Mossakowski T, Hastings J, Castro AG, Sojic A (2011) Hyperontology for the biomedical ontologist: a sketch and some examples. In: Workshop on working with multiple biomedical ontologies (WoMBO at ICBO, (2011) Buffalo, NY, Aug 2011"},{"issue":"2","key":"80_CR51","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/s11787-010-0020-3","volume":"4","author":"O Kutz","year":"2010","unstructured":"Kutz O, Mossakowski T, L\u00fccke D (2010) Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design. Log Univ 4(2):255\u2013333 (Special Issue on \u2018Is Logic Universal?\u2019)","journal-title":"Log Univ"},{"key":"80_CR52","volume-title":"Free logics: their foundations, character, and some applications thereof","author":"K Lambert","year":"1997","unstructured":"Lambert K (1997) Free logics: their foundations, character, and some applications thereof. Academia Verlag, Sankt Augustin"},{"key":"80_CR53","unstructured":"Le Duc C, Lamolle M, Zimmermann A, Cur\u00e9 O (2013) Draon: a distributed reasoner for aligned ontologies. In: ORE, pp 81\u201386"},{"issue":"4","key":"80_CR54","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/s13740-012-0016-7","volume":"2","author":"J Lehmann","year":"2013","unstructured":"Lehmann J, Chan M, Bundy A (2013) A higher order approach to ontology evolution in physics. J Data Semant 2(4):163\u2013187","journal-title":"J Data Semant"},{"key":"80_CR55","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the working mathematician","author":"S Mac Lane","year":"1971","unstructured":"Mac Lane S (1971) Categories for the working mathematician. Springer, Berlin"},{"key":"80_CR56","unstructured":"Meilicke C, Stuckenschmidt H, Tamilin A (2007) Repairing ontology mappings. In: Proceedings of the twenty-second AAAI conference on artificial intelligence, 22\u201326 July 2007, Vancouver, BC. AAAI Press, pp 1408\u20131413"},{"key":"80_CR57","unstructured":"Morales-Gonz\u00e1lez A, Fern\u00e1ndez-Reyes FC, Keet CM (2012) Ontoparts: a tool to select part-whole relations in OWL ontologies. In: Simperl E, Norton B, Mladenic D, Valle ED, Fundulaki I, Passant A, Troncy R (eds) The semantic web: ESWC 2012 satellite events\u2014ESWC 2012 satellite events, Heraklion, Crete, Greece, 27\u201331 May 2012. Revised selected papers, volume 7540 of lecture notes in computer science. Springer, pp 452\u2013457"},{"key":"80_CR58","unstructured":"Mossakowski T, Codescu M, Kutz O, Lange C, Gr\u00fcninger M (2014) Proof support for common logic. In: Benzm\u00fcller C, Otten J (eds) Automated reasoning in quantified non-classical logics (ARQNL), number 33 in EasyChair proceedings in computing. EasyChair, pp 42\u201358"},{"key":"80_CR59","doi-asserted-by":"crossref","unstructured":"Mossakowski T, Codescu M, Neuhaus F, Kutz O (2015) The road to universal logic-Festschrift for 50th birthday of Jean-Yves Beziau, volume II. in: The distributed ontology, modelling and specification language\u2013DOL. Studies in universal logic. Birkh\u00e4user","DOI":"10.1007\/978-3-319-15368-1_21"},{"key":"80_CR60","unstructured":"Mossakowski T, Krumnack U, Maibaum T (2014) What is a derived signature morphism? In Codescu M, Diaconescu R, Tutu I (eds) Recent trends in algebraic development techniques\u201422nd international workshop, WADT 2014, Sinaia, Romania, 4\u20137 Sept 2014, Revised selected papers, volume 9463 of lecture notes in computer science. Springer, pp 90\u2013109"},{"key":"80_CR61","doi-asserted-by":"crossref","unstructured":"Mossakowski T, Kutz O (2011) The onto-logical translation graph. In: Modular ontologies (WoMO 2011), volume 230 of Frontiers in artificial intelligence and applications. IOS Press, pp 94\u2013109","DOI":"10.3233\/978-1-60750-799-4-94"},{"key":"80_CR62","unstructured":"Mossakowski T, Kutz O, Codescu M, Lange C (2013) The distributed ontology, modeling and specification language. In: Del Vescovo C et al (eds) Proceedings of the 7th international workshop on modular ontologies (WoMO-13), volume 1081. CEUR-WS"},{"key":"80_CR63","first-page":"519","volume-title":"TACAS 2007 volume 4424 of lecture notes in computer science","author":"T Mossakowski","year":"2007","unstructured":"Mossakowski T, Maeder C, L\u00fcttich K (2007) The heterogeneous tool set. In: Grumberg O, Huth M (eds) TACAS 2007 volume 4424 of lecture notes in computer science. Springer, Heidelberg, pp 519\u2013522"},{"key":"80_CR64","doi-asserted-by":"crossref","unstructured":"Mossakowski T, Rabe F, Codescu M (2017) Canonical Selection of Colimits. In: Markus R (ed) WADT 2016. LNCS. Springer","DOI":"10.1007\/978-3-319-72044-9_12"},{"volume-title":"CASL Reference manual Lecture notes in computer science: 2960","year":"2004","key":"80_CR65","unstructured":"Mosses PD (ed) (2004) CASL Reference manual Lecture notes in computer science: 2960. Springer, Berlin"},{"key":"80_CR66","doi-asserted-by":"crossref","unstructured":"Nalon C, Kutz O (2014) Towards resolution-based reasoning for connected logics. In: Elsevier\u2019s electronic notes in theoretical computer science (ENTCS), vol 305, pp 85\u2013102. Post-proceedings of the 8th workshop on logical and semantic frameworks (LSFA-13)","DOI":"10.1016\/j.entcs.2014.06.007"},{"issue":"2","key":"80_CR67","doi-asserted-by":"crossref","first-page":"211","DOI":"10.3233\/AO-2012-0108","volume":"7","author":"F Neuhaus","year":"2012","unstructured":"Neuhaus F, Hayes P (2012) Common logic and the Horatio problem. Appl Ontol 7(2):211\u2013231","journal-title":"Appl Ontol"},{"key":"80_CR68","unstructured":"Object Management Group (2015) The distributed ontology, modeling, and specification language (DOL), Draft answer to RFP https:\/\/ontoiop.org"},{"issue":"5","key":"80_CR69","doi-asserted-by":"crossref","first-page":"945","DOI":"10.1017\/S0960129512000424","volume":"23","author":"F Rabe","year":"2013","unstructured":"Rabe F (2013) A logical framework combining model and proof theory. Math Struct Comput Sc 23(5):945\u20131001","journal-title":"Math Struct Comput Sc"},{"key":"80_CR70","unstructured":"Rector A, Horrocks I (1997) Experience building a large, re-usable medical ontology using a description logic with transitivity and concept inclusions. In: Proceedings of the WS on ontological engineering, AAAI spring symposium (AAAI\u201997). AAAI Press"},{"key":"80_CR71","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-17336-3","volume-title":"Foundations of algebraic specification and formal software development","author":"D Sannella","year":"2012","unstructured":"Sannella D, Tarlecki A (2012) Foundations of algebraic specification and formal software development. Springer, Berlin"},{"key":"80_CR72","unstructured":"Schneider M, Rudolph S, Sutcliffe G (2013) Modeling in OWL 2 without restrictions. In: Rodriguez-Muro M, Jupp S, Srinivas K (eds) Proceedings of the 10th international workshop on OWL: experiences and directions (OWLED 2013) co-located with 10th extended semantic web conference (ESWC 2013), Montpellier, France, 26\u201327 May 2013, volume 1080 of CEUR workshop proceedings. CEUR-WS.org"},{"key":"80_CR73","first-page":"660","volume-title":"Application of sheaves, volume 753 of lecture notes in mathematics","author":"DS Scott","year":"1979","unstructured":"Scott DS (1979) Identity and existence in intuitionistic logic. In: Fourman M, Mulvey C, Scott D (eds) Application of sheaves, volume 753 of lecture notes in mathematics. Springer, Berlin, pp 660\u2013696"},{"key":"80_CR74","doi-asserted-by":"crossref","unstructured":"Serafini L, Tamilin A (2005) DRAGO: distributed reasoning architecture for the semantic web. In: Proceedings 2nd European semantic web conference (ESWC), volume 3532 of lecture notes in computer science, Hersounisous (GR), May 2005, pp 361\u2013376","DOI":"10.1007\/11431053_25"},{"key":"80_CR75","doi-asserted-by":"crossref","unstructured":"Shvaiko P, Euzenat J (2013) Ontology matching: state of the art and future challenges. IEEE Trans Knowl Data Eng 25(1):158\u2013176","DOI":"10.1109\/TKDE.2011.253"},{"key":"80_CR76","doi-asserted-by":"crossref","unstructured":"Sojic A, Kutz O (2012) Open biomedical pluralism\u2014formalising knowledge about breast cancer phenotypes. J Biomed Semant 3(2) 2012. Proceedings of ontologies in biomedicine and life sciences (OBML 2011)","DOI":"10.1186\/2041-1480-3-S2-S3"},{"volume-title":"Modular ontologies: concepts, theories and techniques for knowledge modularization, volume 5445 of lecture notes in computer science","year":"2009","key":"80_CR77","unstructured":"Stuckenschmidt H, Parent C, Spaccapietra S (eds) (2009) Modular ontologies: concepts, theories and techniques for knowledge modularization, volume 5445 of lecture notes in computer science. Springer, Berlin"},{"key":"80_CR78","unstructured":"Zimmermann A (2007) Integrated distributed description logics. In: Calvanese D, Franconi E, Haarslev V, Lembo D, Motik B, Turhan A, Tessaris S (eds) Description logics, volume 250 of CEUR workshop proceedings"},{"key":"80_CR79","first-page":"69","volume-title":"Agreement technologies volume 8 of law, governance and technology series","author":"A Zimmermann","year":"2013","unstructured":"Zimmermann A (2013) Logical formalisms for agreement technologies. In: Ossowski S (ed) Agreement technologies volume 8 of law, governance and technology series. Springer, Berlin, pp 69\u201382"},{"key":"80_CR80","doi-asserted-by":"crossref","unstructured":"Zimmermann A, Euzenat J (2006) Three semantics for distributed systems and their relations with alignment composition. In: Proceedings 5th international semantic web conference (ISWC), LNCS 4273, Athens (GA US), pp 16\u201329","DOI":"10.1007\/11926078_2"},{"key":"80_CR81","unstructured":"Zimmermann A, Kr\u00f6tzsch M, Euzenat J, Hitzler P (2006) Formalizing ontology alignment and its operations with category theory. In: Proceedings of FOIS-06, pp 277\u2013288"},{"key":"80_CR82","doi-asserted-by":"crossref","unstructured":"Zimmermann A, Le Duc C (2008) Reasoning with a network of aligned ontologies. In: International conference on web reasoning and rule systems. Springer, pp 43\u201357","DOI":"10.1007\/978-3-540-88737-9_5"}],"container-title":["Journal on Data Semantics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13740-017-0080-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13740-017-0080-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13740-017-0080-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T22:44:33Z","timestamp":1750977873000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13740-017-0080-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,8]]},"references-count":82,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,12]]}},"alternative-id":["80"],"URL":"https:\/\/doi.org\/10.1007\/s13740-017-0080-0","relation":{},"ISSN":["1861-2032","1861-2040"],"issn-type":[{"type":"print","value":"1861-2032"},{"type":"electronic","value":"1861-2040"}],"subject":[],"published":{"date-parts":[[2017,11,8]]}}}