{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T04:08:31Z","timestamp":1746072511085,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642376344"},{"type":"electronic","value":"9783642376351"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37635-1_13","type":"book-chapter","created":{"date-parts":[[2013,4,11]],"date-time":"2013-04-11T01:30:45Z","timestamp":1365643845000},"page":"212-230","source":"Crossref","is-referenced-by-count":5,"title":["Semantics of the Distributed Ontology Language: Institutes and Institutions"],"prefix":"10.1007","author":[{"given":"Till","family":"Mossakowski","sequence":"first","affiliation":[]},{"given":"Oliver","family":"Kutz","sequence":"additional","affiliation":[]},{"given":"Christoph","family":"Lange","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Abstract and Concrete Categories","author":"J. Ad\u00e1mek","year":"1990","unstructured":"Ad\u00e1mek, J., Herrlich, H., Strecker, G.: Abstract and Concrete Categories. Wiley, New York (1990)"},{"issue":"1","key":"13_CR2","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(91)90023-U","volume":"92","author":"A. Avron","year":"1991","unstructured":"Avron, A.: Simple consequence relations. Inf. Comput.\u00a092(1), 105\u2013140 (1991)","journal-title":"Inf. Comput."},{"issue":"4","key":"13_CR3","doi-asserted-by":"crossref","first-page":"205","DOI":"10.3233\/AO-2008-0057","volume":"3","author":"E. Beisswanger","year":"2008","unstructured":"Beisswanger, E., Schulz, S., Stenzhorn, H., Hahn, U.: BioTop: An upper domain ontology for the life sciences - a description of its current structure, contents, and interfaces to OBO ontologies. Applied Ontology\u00a03(4), 205\u2013212 (2008)","journal-title":"Applied Ontology"},{"key":"13_CR4","unstructured":"Carnielli, W.A., Coniglio, M., Gabbay, D.M., Gouveia, P., Sernadas, C.: Analysis and synthesis of logics: how to cut and paste reasoning systems. Applied logic series. Springer (2008)"},{"key":"13_CR5","unstructured":"Common Logic Working Group. Common Logic: Abstract syntax and semantics. Technical report (2003), http:\/\/iso-commonlogic.org"},{"issue":"1","key":"13_CR6","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, C.T.: The alignment API 4.0. Semantic Web\u00a02(1), 3\u201310 (2011)","journal-title":"Semantic Web"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1023\/A:1016330812768","volume":"10","author":"R. Diaconescu","year":"2002","unstructured":"Diaconescu, R.: Grothendieck institutions. Applied Categorical Structures\u00a010, 383\u2013402 (2002)","journal-title":"Applied Categorical Structures"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Gentzen, G.: Investigations into logical deduction. In: Szabo, M.E. (ed.) The Collected Papers of Gerhard Gentzen, pp. 68\u2013213. North-Holland, Amsterdam (1969)","DOI":"10.1016\/S0049-237X(08)70822-X"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/s001650200013","volume":"13","author":"J. Goguen","year":"2002","unstructured":"Goguen, J., Rosu, G.: Institution morphisms. Formal Aspects of Computing\u00a013, 274\u2013307 (2002)","journal-title":"Formal Aspects of Computing"},{"key":"#cr-split#-13_CR10.1","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery 39, 95\u2013146 (1992);","DOI":"10.1145\/147508.147524"},{"key":"#cr-split#-13_CR10.2","unstructured":"Predecessor in: Clarke, E., Kozen, D. (eds.): Logic of Programs 1983. LNCS, vol.\u00a0164, pp. 221\u2013256. Springer, Heidelberg (1984)"},{"key":"13_CR11","first-page":"231","volume-title":"Foundations of Component-Based Systems, ch. 11","author":"J.A. Goguen","year":"2000","unstructured":"Goguen, J.A., Tracz, W.: An implementation-oriented semantics for module composition. In: Leavens, G.T., Sitaraman, M. (eds.) Foundations of Component-Based Systems, ch. 11, pp. 231\u2013263. Cambridge University Press, New York (2000)"},{"issue":"4","key":"13_CR12","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1093\/logcom\/11.4.559","volume":"11","author":"S. Guerra","year":"2001","unstructured":"Guerra, S.: Composition of Default Specifications. J. Log. Comput.\u00a011(4), 559\u2013578 (2001)","journal-title":"J. Log. Comput."},{"key":"13_CR13","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: Even More Irresistible $\\mathcal{SROIQ}$ . In: Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 57\u201367. AAAI Press (June 2006)"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-01907-4_3","volume-title":"Modular Ontologies","author":"B. Konev","year":"2009","unstructured":"Konev, B., Lutz, C., Walther, D., Wolter, F.: Formal properties of modularisation. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.) Modular Ontologies. LNCS, vol.\u00a05445, pp. 25\u201366. Springer, Heidelberg (2009)"},{"key":"13_CR15","unstructured":"Kutz, O., Mossakowski, T.: Conservativity in Structured Ontologies. In: 18th European Conf. on Artificial Intelligence (ECAI 2008), Patras, Greece. IOS Press (2008)"},{"issue":"2","key":"13_CR16","doi-asserted-by":"publisher","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.: Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design. Logica Universalis\u00a04(2), 255\u2013333 (2010); Special Issue on \u2018Is Logic Universal?\u2019","journal-title":"Logica Universalis"},{"key":"13_CR17","unstructured":"Kutz, O., Normann, I., Mossakowski, T., Walther, D.: Chinese Whispers and Connected Alignments. In: Proc. of the 5th International Workshop on Ontology Matching (OM 2010), 9th International Semantic Web Conference, ISWC 2010, Shanghai, China (November 7, 2010)"},{"key":"13_CR18","unstructured":"Lange, C., Mossakowski, T., Kutz, O.: LoLa: A Modular Ontology of Logics, Languages, and Translations. In: Schneider, T., Walther, D. (eds.) Modular Ontologies, Aachen. CEUR Workshop Proceedings, vol.\u00a0875 (2012)"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Lifschitz, V.: Circumscription. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a03, pp. 297\u2013352. Oxford University Press (1994)","DOI":"10.1093\/oso\/9780198537472.003.0006"},{"key":"13_CR20","unstructured":"Lutz, C., Walther, D., Wolter, F.: Conservative Extensions in Expressive Description Logics. In: Proceedings of IJCAI 2007, pp. 453\u2013458. AAAI Press (2007)"},{"issue":"2","key":"13_CR21","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.jsc.2008.10.007","volume":"45","author":"C. Lutz","year":"2010","unstructured":"Lutz, C., Wolter, F.: Deciding inseparability and conservative extensions in the description logic $\\mathcal{EL}$ . Journal of Symbolic Computation\u00a045(2), 194\u2013228 (2010)","journal-title":"Journal of Symbolic Computation"},{"key":"13_CR22","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1998","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Springer, Berlin (1998)","edition":"2"},{"key":"13_CR23","unstructured":"Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A.: Ontology library. WonderWeb Deliverable\u00a018. Laboratory for Applied Ontology \u2013 ISTC-CNR (December 2003)"},{"issue":"1-2","key":"13_CR24","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J.: Circumscription - A Form of Non-Monotonic Reasoning. Artif. Intell.\u00a013(1-2), 27\u201339 (1980)","journal-title":"Artif. Intell."},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Meseguer, J.: General logics. In: Logic Colloquium 1987, pp. 275\u2013329. North Holland (1989)","DOI":"10.1016\/S0049-237X(08)70132-0"},{"key":"13_CR26","unstructured":"Mossakowski, T.: HetCASL - Heterogeneous Specification. Language Summary (2004), http:\/\/www.informatik.uni-bremen.de\/agbkb\/forschung\/formal_methods\/CoFI\/HetCASL\/HetCASL-Summary.pdf"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Mossakowski, T., Kutz, O.: The Onto-Logical Translation Graph. In: Modular Ontologies\u2014Proceedings of the Fifth International Workshop (WoMO 2011). Frontiers in Artificial Intelligence and Applications, vol.\u00a0230, pp. 94\u2013109. IOS Press (2011)","DOI":"10.3233\/978-1-60750-799-4-94"},{"key":"13_CR28","doi-asserted-by":"crossref","unstructured":"Mossakowski, T., Lange, C., Kutz, O.: Three Semantics for the Core of the Distributed Ontology Language. In: Donnelly, M., Guizzardi, G. (eds.) FOIS 2012: 7th International Conference on Formal Ontology in Information Systems, pp. 337\u2013352. IOS Press, Amsterdam (2012) (Best paper award), http:\/\/www.iospress.nl","DOI":"10.3233\/978-1-61499-084-0-337"},{"key":"13_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/978-3-540-71209-1_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Mossakowski","year":"2007","unstructured":"Mossakowski, T., Maeder, C., L\u00fcttich, K.: The Heterogeneous Tool Set, Hets. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 519\u2013522. Springer, Heidelberg (2007)"},{"key":"13_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-642-03429-9_18","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mossakowski","year":"2009","unstructured":"Mossakowski, T., Tarlecki, A.: Heterogeneous logical environments for distributed specifications. In: Corradini, A., Montanari, U. (eds.) WADT 2008. LNCS, vol.\u00a05486, pp. 266\u2013289. Springer, Heidelberg (2009)"},{"key":"13_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-540-39993-3_7","volume-title":"From Object-Orientation to Formal Methods","author":"J. Goguen","year":"2004","unstructured":"Goguen, J., Ro\u015fu, G.: Composing hidden information modules over inclusive institutions. In: Owe, O., Krogdahl, S., Lyche, T. (eds.) From Object-Orientation to Formal Methods. LNCS, vol.\u00a02635, pp. 96\u2013123. Springer, Heidelberg (2004)"},{"key":"13_CR32","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","volume":"76","author":"D. Sannella","year":"1988","unstructured":"Sannella, D., Tarlecki, A.: Specifications in an arbitrary institution. Information and Computation\u00a076, 165\u2013210 (1988)","journal-title":"Information and Computation"},{"key":"13_CR33","doi-asserted-by":"crossref","unstructured":"Sannella, D., Tarlecki, A.: Foundations of Algebraic Specification and Formal Software Development. EATCS Monographs on theoretical computer science. Springer (2012)","DOI":"10.1007\/978-3-642-17336-3"},{"key":"13_CR34","doi-asserted-by":"crossref","unstructured":"Scott, D.: Rules and derived rules. In: Stenlund, S. (ed.) Logical Theory and Semantic Analysis, pp. 147\u2013161. Reidel (1974)","DOI":"10.1007\/978-94-010-2191-3_13"},{"key":"13_CR35","doi-asserted-by":"crossref","unstructured":"Smith, B., Ceusters, W., Klagges, B., Kohler, J., Kumar, A., Lomax, J., Mungall, C.J., Neuhaus, F., Rector, A., Rosse, C.: Relations in biomedical ontologies. Genome Biology\u00a06, R46 (2005)","DOI":"10.1186\/gb-2005-6-5-r46"},{"key":"13_CR36","unstructured":"Tarlecki, A.: Towards heterogeneous specifications. In: Gabbay, D., de Rijke, M. (eds.) Frontiers of Combining Systems 2, 1998. Studies in Logic and Computation, pp. 337\u2013360. Research Studies Press (2000)"},{"key":"13_CR37","unstructured":"Zimmermann, A., Kr\u00f6tzsch, M., Euzenat, J., Hitzler, P.: Formalizing Ontology Alignment and its Operations with Category Theory. In: Bennett, B., Fellbaum, C. (eds.) Proceedings of the Fourth International Conference on Formal Ontology in Information Systems (FOIS 2006). Frontiers in Artificial Intelligence and Applications, vol.\u00a0150, pp. 277\u2013288. IOS Press (November 2006)"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37635-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:07:46Z","timestamp":1745986066000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37635-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642376344","9783642376351"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37635-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}