{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,15]],"date-time":"2025-12-15T13:55:45Z","timestamp":1765806945525,"version":"3.38.0"},"reference-count":185,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,11,1]],"date-time":"2010-11-01T00:00:00Z","timestamp":1288569600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2010,11]]},"DOI":"10.1007\/s11787-010-0020-3","type":"journal-article","created":{"date-parts":[[2010,11,9]],"date-time":"2010-11-09T08:38:29Z","timestamp":1289291909000},"page":"255-333","source":"Crossref","is-referenced-by-count":36,"title":["Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design"],"prefix":"10.1007","volume":"4","author":[{"given":"Oliver","family":"Kutz","sequence":"first","affiliation":[]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[]},{"given":"Dominik","family":"L\u00fccke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,11,10]]},"reference":[{"key":"20_CR1","unstructured":"Ad\u00e1mek, J., Herrlich, H., Strecker, G.: Abstract and Concrete Categories. Wiley, New York (1990). Available at http:\/\/www.math.uni-bremen.de\/dmb\/acc.pdf"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Alagi\u0107, S., Bernstein, P.A.: A Model Theory for Generic Schema Management. In: Proc. of DBPL-01, LNCS, vol. 2397, pp. 228\u2013246. Springer, Berlin (2002)","DOI":"10.1007\/3-540-46093-4_14"},{"issue":"1\u20134","key":"20_CR3","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1023\/A:1016636131405","volume":"30","author":"A. Artale","year":"2000","unstructured":"Artale A., Franconi E.: A survey of temporal extensions of description logics. Ann. Math. Artif. Intell. 30(1\u20134), 171\u2013210 (2000)","journal-title":"Ann. Math. Artif. Intell."},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Artale, A., Kontchakov, R., Lutz, C., Wolter, F., Zakharyaschev, M.: Temporalising tractable description logics. In: Proc. of the 14th Int. Symposium on Temporal Representation and Reasoning (TIME) Washington, DC, USA, IEEE, pp. 11\u201322 (2007)","DOI":"10.1109\/TIME.2007.62"},{"key":"20_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59851-7","volume-title":"Algebraic Foundations of Systems Specification","author":"E. Astesiano","year":"1999","unstructured":"Astesiano E., Kreowski H.-J., Krieg-Br\u00fcckner B.: Algebraic Foundations of Systems Specification. Springer, Berlin (1999)"},{"volume-title":"The Description Logic Handbook","year":"2003","key":"20_CR6","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)"},{"issue":"2","key":"20_CR7","doi-asserted-by":"crossref","first-page":"535","DOI":"10.2178\/jsl\/1185803623","volume":"72","author":"F. Baader","year":"2007","unstructured":"Baader F., Ghilardi S.: Connecting many-sorted theories. J. Symbol. Logic 72(2), 535\u2013583 (2007)","journal-title":"J. Symbol. Logic"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: first results. In: Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05) Pittsburgh (2005)","DOI":"10.25368\/2010.145"},{"key":"20_CR9","unstructured":"Bateman, J., Castro, A., Normann, I., Pera, O., Garcia, L., Villaveces, J.-M.: OASIS common hyper-ontological framework (COF). Deliverable D1.2.1, EU Project OASIS (2010)"},{"issue":"14","key":"20_CR10","doi-asserted-by":"crossref","first-page":"1027","DOI":"10.1016\/j.artint.2010.05.008","volume":"174","author":"J. Bateman","year":"2010","unstructured":"Bateman J., Hois J., Ross R., Tenbrink T.: A linguistic ontology of space for natural language processing. Artif. Intell. 174(14), 1027\u20131071 (2010)","journal-title":"Artif. Intell."},{"issue":"3","key":"20_CR11","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1080\/01638530701600912","volume":"44","author":"J. Bateman","year":"2007","unstructured":"Bateman J., Tenbrink T., Farrar S.: The role of conceptual and linguistic ontologies in discourse. Discourse Processes 44(3), 175\u2013213 (2007)","journal-title":"Discourse Processes"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Bateman, J.: Ontological diversity: the case from space. In: Galton, A., Mizoguchi, R. (eds.) Formal Ontology in Information Systems - Proceedings of the Sixth International Conference (FOIS 2010), vol. 209. IOS Press (2010)","DOI":"10.3233\/978-1-60750-535-8-5"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Baumgartner, P., Suchanek, F.M.: Automated reasoning support for first-order ontologies. In: Alferes, J., Bailey, J., May, W., Schwertel, U. (eds.) Principles and Practice of Semantic Web Reasoning 4th International Workshop (PPSWR 2006), Revised Selected Papers. LNAI, vol. 4187. Springer, Berlin (2006)","DOI":"10.1007\/11853107_2"},{"key":"20_CR14","unstructured":"Beall, J.C., Restall, G.: Defending Logical Pluralism. In: Brown, B., Woods, J. (eds.) Logical Consequences: Rival Approaches. Proceedings of the 1999 Conference of the Society of Exact Philosophy. Stanmore, Hermes (2001)"},{"key":"20_CR15","volume-title":"Logical Pluralism","author":"J.C. Beall","year":"2006","unstructured":"Beall J.C., Restall G.: Logical Pluralism. Clarendon Press, Oxford (2006)"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Bekiaris, E., Bonfiglio, S.: The OASIS Concept. In: Stephanidis, C. (ed.) Universal Access in Human-Computer Interaction. Addressing Diversity. Lecture Notes in Computer Science, vol. 5614, pp. 202\u2013209. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02707-9_22"},{"issue":"1","key":"20_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11225-005-6774-6","volume":"80","author":"N.D. Belnap","year":"2005","unstructured":"Belnap N.D.: Under Carnap\u2019s lamp: flat pre-semantics. Stud. Log. 80(1), 1\u201328 (2005)","journal-title":"Stud. Log."},{"key":"20_CR18","volume-title":"Contemporary Aspects of Philosophy","author":"N.D. Belnap","year":"1977","unstructured":"Belnap N.D.: How a computer should think. In: Ryle, G. (eds) Contemporary Aspects of Philosophy, Oriel Press, Stocksfield (1977)"},{"key":"20_CR19","first-page":"8","volume-title":"Modern Uses of Multiple-Valued Logics","author":"N.D. Belnap","year":"1977","unstructured":"Belnap N.D.: A useful four-valued logic. In: Dunn, J., Epstein, G. (eds) Modern Uses of Multiple-Valued Logics, pp. 8\u201337. Reidel, Dordrecht (1977)"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Bench-Capon, T.J.M., Malcolm, G.: Formalising Ontologies and Their Relations. In: Proc. of DEXA-99. LNCS, vol. 1677, pp. 250\u2013259. Springer, Berlin (1999)","DOI":"10.1007\/3-540-48309-8_23"},{"key":"20_CR21","first-page":"23","volume":"4","author":"B. Bennett","year":"1996","unstructured":"Bennett B.: Modal logics for qualitative spatial reasoning. J. Interest Group Pure Appl. Log. 4, 23\u201345 (1996)","journal-title":"J. Interest Group Pure Appl. Log."},{"key":"20_CR22","first-page":"182","volume":"6","author":"Benthem van","year":"2008","unstructured":"van Benthem: J. Logical dynamics meets logical pluralism?. Aust. J. Log. 6, 182\u2013209 (2008)","journal-title":"Aust. J. Log."},{"volume-title":"Logica Universalis: Towards a General Theory of Logic","year":"2005","key":"20_CR23","unstructured":"B\u00e9ziau, J.-Y. (ed.): Logica Universalis: Towards a General Theory of Logic. Birkh\u00e4user, Basel (2005)"},{"key":"20_CR24","doi-asserted-by":"crossref","unstructured":"Bhatt, M., Dylla, F., Hois, J.: Spatio-terminological inference for the design of ambient environments. In: Hornsby, K.S., Claramunt, C., Denis, M., Ligozat, G. (eds.) Conference on Spatial Information Theory (COSIT\u201909), pp. 371\u2013391. Springer (2009)","DOI":"10.1007\/978-3-642-03832-7_23"},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"Bidoit, M., Mosses, P.D.: Casl User Manual. LNCS, vol. 2900 (IFIP Series). Springer, Berlin (2004)","DOI":"10.1007\/b11968"},{"key":"20_CR26","unstructured":"Birnbaum, L., Forbus, K.D., Wagner, E., Baker, J., Witbrock, M.: Analogy, intelligent ir, and knowledge integration for intelligence analysis: situation tracking and the whodunit problem. In: Proceedings of the International Conference on Intelligence Analysis (2005)"},{"key":"20_CR27","unstructured":"Bittner, T., Donnelly, M.: Computational ontologies of parthood, componenthood, and containment. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI. Professional Book Center, pp. 382\u2013387 (2005)"},{"issue":"1\u20132","key":"20_CR28","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0004-3702(96)00004-5","volume":"82","author":"A. Borgida","year":"1996","unstructured":"Borgida A.: On the relative expressiveness of description logics and predicate logics. Artif. Intell. 82(1\u20132), 353\u2013367 (1996)","journal-title":"Artif. Intell."},{"key":"20_CR29","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.: Distributed description logics: assimilating information from peer sources. J. Data Semant. 1, 153\u2013184 (2003)","journal-title":"J. Data Semant."},{"key":"20_CR30","doi-asserted-by":"crossref","unstructured":"Borzyszkowski, T.: Higher-order logic and theorem proving for structured specifications. In: Bert, D., Choppy, C., Mosses, P.D. (eds.) WADT. Lecture Notes in Computer Science, vol. 1827, pp. 401\u2013418. Springer (1999)","DOI":"10.1007\/978-3-540-44616-3_23"},{"key":"20_CR31","volume-title":"Associative Networks: Representation and Use of Knowledge by Computers","author":"R.J. Brachman","year":"1979","unstructured":"Brachman R.J.: On the epistemological status of semantic networks. In: Findler, N.V. (eds) Associative Networks: Representation and Use of Knowledge by Computers, Academic Press, London (1979)"},{"key":"20_CR32","volume-title":"Handbook of Modal Logic","author":"T. Bra\u00fcner","year":"2006","unstructured":"Bra\u00fcner T., Ghilardi S.: First-order modal logic. In: Benthem, J.v., Blackburn, P., Wolter, F. (eds) Handbook of Modal Logic, Elsevier, Amsterdam (2006)"},{"key":"20_CR33","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Epistemic first-order queries over description logic knowledge bases. In: Proc. of the 2006 Description Logic Workshop (DL 2006), CEUR Electronic Workshop Proceedings, vol. 189 (2006). http:\/\/ceur-ws.org\/Vol-189\/"},{"key":"20_CR34","unstructured":"Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Poggi, A., Rosati, R.: Ontology-based database access. In: Proc. of SEBD, pp. 324\u2013331 (2007)"},{"key":"20_CR35","doi-asserted-by":"crossref","unstructured":"Carnap, R.: Logische Syntax der Sprache. Kegan Paul, 1934. English translation 1937, The Logical Syntax of Language","DOI":"10.1007\/978-3-662-25375-5"},{"key":"20_CR36","first-page":"20","volume":"4","author":"R. Carnap","year":"1950","unstructured":"Carnap R.: Empiricism, semantics, and ontology. Revue Internationale de Philosophie 4, 20\u201340 (1950)","journal-title":"Revue Internationale de Philosophie"},{"key":"20_CR37","unstructured":"Carnap, R.: Intellectual autobiography. In: Schilpp, P.A. (ed.) The philosophy of Rudolf Carnap. The Library of Living Philosophers, vol. 11. Open Court, La Salle (1963)"},{"key":"20_CR38","unstructured":"ten Cate, B., Conradie, W., Marx, M., Venema, Y.: Definitorially complete description logics. In: Doherty, P., Mylopoulos, J., Welty, C. (eds.) Proceedings of KR 2006, pp. 79\u201389. AAAI Press, Menlo Park (2006)"},{"issue":"1","key":"20_CR39","doi-asserted-by":"crossref","first-page":"56","DOI":"10.2307\/2266170","volume":"5","author":"A. Church","year":"1940","unstructured":"Church A.: A formulation of the simple theory of types. J. Symbol. Log. 5(1), 56\u201369 (1940)","journal-title":"J. Symbol. Log."},{"key":"20_CR40","doi-asserted-by":"crossref","unstructured":"Codescu, M., Mossakowski, T.: Heterogeneous colimits. In: Boulanger, F., Gaston, C., Schobbens, P.-Y. (eds.) MoVaH\u201908 Workshop on Modeling, Validation and Heterogeneity (2008)","DOI":"10.1109\/ICSTW.2008.20"},{"key":"20_CR41","unstructured":"CoFI (The Common Framework Initiative).: Casl Reference Manual. LNCS, vol. 2960 (IFIP Series). Springer (2004). Available at http:\/\/www.cofi.info"},{"key":"20_CR42","first-page":"2","volume":"43","author":"A. Cohn","year":"2001","unstructured":"Cohn A., Hazarika S.: Qualitative spatial representation and reasoning: an overview. Fundam. Inform. 43, 2\u201332 (2001)","journal-title":"Fundam. Inform."},{"key":"20_CR43","unstructured":"Common Logic Working Group.: Common Logic: Abstract syntax and semantics. Tech. rep. (2003)"},{"issue":"4","key":"20_CR44","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/j.datak.2009.08.002","volume":"69","author":"J. Conesa","year":"2010","unstructured":"Conesa J., Storey V.C., Sugumaran V.: Usability of upper level ontologies: the case of ResearchCyc. Data Knowl. Eng. 69(4), 343\u2013356 (2010)","journal-title":"Data Knowl. Eng."},{"key":"20_CR45","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. J. Artif. Intell. Res. (JAIR) 31, 273\u2013318 (2008)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"issue":"4","key":"20_CR46","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/j.websem.2008.05.001","volume":"6","author":"B. Cuenca Grau","year":"2008","unstructured":"Cuenca Grau B., Horrocks I., Motik B., Parsia B., Patel-Schneider P., Sattler U.: OWL 2: The next step for OWL. Web Semantics: Science, Services and Agents on the World Wide Web 6(4), 309\u2013322 (2008) Semantic Web Challenge 2006\/2007","journal-title":"Web Semantics: Science, Services and Agents on the World Wide Web"},{"key":"20_CR47","doi-asserted-by":"crossref","unstructured":"Cuenca Grau, B., Parsia, B., Sirin, E.: Ontology integration using $${\\mathcal{E}}$$ -connections. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.) Modular Ontologies\u2014Concepts, Theories and Techniques for Knowledge Modularization. LNCS, vol. 5445. Springer (2009)","DOI":"10.1007\/978-3-642-01907-4_14"},{"key":"20_CR48","doi-asserted-by":"crossref","first-page":"622","DOI":"10.1016\/S1385-7258(65)50063-9","volume":"27","author":"K. Bouv\u00e8re de","year":"1965","unstructured":"de Bouv\u00e8re K.: Logical synonymity. Indagationes Mathematicae 27, 622\u2013629 (1965)","journal-title":"Indagationes Mathematicae"},{"key":"20_CR49","doi-asserted-by":"crossref","unstructured":"Del Vescovo, C., Parsia, B., Sattler, U., Schneider, T.: The modular structure of an ontology: an empirical study. In: Kutz, O., Hois, J., Bao, J., Cuenca Grau, B. (eds.) Modular Ontologies\u2014Proceedings of the Fourth International Workshop (WoMO 2010) (Toronto, Canada). Frontiers in Artificial Intelligence and Applications, vol. 210, pp. 11\u201324. IOS Press (2010)","DOI":"10.3233\/978-1-60750-544-0-11"},{"key":"20_CR50","unstructured":"Delugach, H.S.: Towards conceptual structures interoperability using common logic. In: Croitoru, M., J\u00e4schke, R., Rudolph, S. (eds.) Proc. of the Third Conceptual Structures Tool Interoperability Workshop, held at the 16th International Conference on Conceptual Structures (ICCS 2008), July 7, 2008, UTM (Universit\u00e9 Toulouse Le Mirail), Toulouse, France (2008)"},{"key":"20_CR51","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1016330812768","volume":"10","author":"R. Diaconescu","year":"2002","unstructured":"Diaconescu R.: Grothendieck institutions. Appl. Categorical Struct. 10, 383\u2013402 (2002)","journal-title":"Appl. Categorical Struct."},{"key":"20_CR52","unstructured":"Diaconescu, R.: Institution-independent model theory. In: Studies in Universal Logic. Birkh\u00e4user, Basel (2008)"},{"key":"20_CR53","first-page":"83","volume-title":"Papers presented at the second annual Workshop on Logical environments, Edinburgh, Scotland","author":"R. Diaconescu","year":"1993","unstructured":"Diaconescu R., Goguen J., Stefaneas P.: Logical Support for Modularisation. In: Huet, G., Plotkin, G. (eds) Papers presented at the second annual Workshop on Logical environments, Edinburgh, Scotland, pp. 83\u2013130. Cambridge University Press, New York (1993)"},{"issue":"1\u20132","key":"20_CR54","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/S0004-3702(98)00009-5","volume":"100","author":"F.M. Donini","year":"1998","unstructured":"Donini F.M., Lenzerini M., Nardi D., Nutt W., Schaerf A.L: An epistemic operator for description logics. Artif. Intell. 100(1\u20132), 225\u2013274 (1998)","journal-title":"Artif. Intell."},{"key":"20_CR55","doi-asserted-by":"crossref","unstructured":"Dou, D., McDermot, D.: Towards theory translation. In: Declarative Agent Languages and Technologies IV. Springer, Berlin (2007)","DOI":"10.1007\/11961536_2"},{"key":"20_CR56","volume-title":"A Mathematical Introduction to Logic","author":"H.B. Enderton","year":"1972","unstructured":"Enderton H.B.: A Mathematical Introduction to Logic. Academic Press, New York (1972)"},{"key":"20_CR57","volume-title":"Ontology Matching","author":"J. Euzenat","year":"2007","unstructured":"Euzenat J., Shvaiko P.: Ontology Matching. Springer, Heidelberg (2007)"},{"key":"20_CR58","doi-asserted-by":"crossref","unstructured":"Evans, M.: Can there be vague objects? Analysis 38, 208 (1978) reprinted in his Collected Papers, Oxford, Clarendon Press (1985)","DOI":"10.2307\/3327996"},{"issue":"2","key":"20_CR59","doi-asserted-by":"crossref","first-page":"364","DOI":"10.2307\/2274509","volume":"53","author":"S. Feferman","year":"1988","unstructured":"Feferman S.: Hilbert\u2019s program relativized: Proof-theoretical and foundational reductions. J. Symbol. Logic 53(2), 364\u2013384 (1988)","journal-title":"J. Symbol. Logic"},{"key":"20_CR60","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5292-1","volume-title":"First\u2013Order Modal Logic","author":"M. Fitting","year":"1998","unstructured":"Fitting M., Mendelsohn R.L.: First\u2013Order Modal Logic. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"20_CR61","doi-asserted-by":"crossref","unstructured":"Freksa, C.: Using orientation information for qualitative spatial reasoning. In: Theories and methods of spatio-temporal reasoning in geographic space. LNCS, vol. 639, pp. 162\u2013178. Springer, Berlin (1992)","DOI":"10.1007\/3-540-55966-3_10"},{"key":"20_CR62","doi-asserted-by":"crossref","unstructured":"Gabbay, D.: Fibring logics. Oxford Logic Guides, vol. 38. Clarendon Press, Oxford (1999)","DOI":"10.1093\/oso\/9780198503811.001.0001"},{"key":"20_CR63","unstructured":"Gabbay, D., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-Dimensional Modal Logics: Theory and Applications. No. 148 in Studies in Logic and the Foundations of Mathematics. Elsevier Science Publishers, Amsterdam (2003)"},{"key":"20_CR64","doi-asserted-by":"crossref","unstructured":"Gangemi, A., Guarino, N., Masolo, C., Oltramari, A., Schneider, L.: Sweetening Ontologies with dolce. In: Proc. of EKAW 2002. LNCS, vol. 2473, pp. 166\u2013181. Springer, Berlin (2002)","DOI":"10.1007\/3-540-45810-7_18"},{"key":"20_CR65","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2076.001.0001","volume-title":"Conceptual Spaces\u2014The Geometry of Thought","author":"P. G\u00e4rdenfors","year":"2000","unstructured":"G\u00e4rdenfors P.: Conceptual Spaces\u2014The Geometry of Thought. MIT Press, Bradford Books (2000)"},{"key":"20_CR66","volume-title":"Logic Machines and Diagrams","author":"M. Gardner","year":"1958","unstructured":"Gardner M.: Logic Machines and Diagrams. McGraw-Hill, New York (1958)"},{"key":"20_CR67","volume-title":"Logical Foundations of Artificial Intelligence","author":"M.R. Genesereth","year":"1987","unstructured":"Genesereth M.R., Nilsson N.J.: Logical Foundations of Artificial Intelligence. Morgan Kaufmann, Los Altos (1987)"},{"key":"20_CR68","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1017\/S0960129500000050","volume":"1","author":"J.A. Goguen","year":"1991","unstructured":"Goguen J.A.: A Categorical Manifesto. Math. Struct. Comput. Sci. 1, 49\u201367 (1991)","journal-title":"Math. Struct. Comput. Sci."},{"key":"20_CR69","unstructured":"Goguen, J.A.: Ontology, society, and ontotheology. In: Varzi, A.C., Vieu, L. (eds.) Formal Ontology in Information Systems: Proceedings of the Third International Conference (FOIS-2004). Frontiers in Artificial Intelligence and Applications, IOS Press, pp. 95\u2013105 (2004)"},{"issue":"6","key":"20_CR70","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1093\/jigpal\/jzi050","volume":"13","author":"J.A. Goguen","year":"2005","unstructured":"Goguen J.A.: Data, schema, ontology and logic integration. Log. J, IGPL 13(6), 685\u2013715 (2005)","journal-title":"Log. J, IGPL"},{"key":"20_CR71","unstructured":"Goguen, J.A.: Information integration in institutions. In: Moss, L. (ed.) Jon Barwise Memorial Volume. Indiana University Press, To appear (2006)"},{"key":"20_CR72","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Burstall, R.M.: Introducing institutions. In: Clarke, E., Kozen, D. (eds.) Proc. Logics of Programming Workshop. LNCS, vol. 164, pp. 221\u2013256. Springer (1984)","DOI":"10.1007\/3-540-12896-4_366"},{"key":"20_CR73","doi-asserted-by":"crossref","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. J. ACM 39, 95\u2013146 (1992)","journal-title":"J. ACM"},{"key":"20_CR74","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1007\/s001650200013","volume":"13","author":"J.A. Goguen","year":"2002","unstructured":"Goguen J.A., Ro\u015fu G.: Institution morphisms. Form. Aspects Comput. 13, 274\u2013307 (2002)","journal-title":"Form. Aspects Comput."},{"key":"20_CR75","first-page":"20","volume-title":"Ontologies in Medicine","author":"P. Grenon","year":"2004","unstructured":"Grenon P., Smith B., Goldberg L.: Biodynamic ontology: applying BFO in the biomedical domain. In: Pisanelli, D.M. (eds) Ontologies in Medicine, pp. 20\u201338. IOS Press, Amsterdam (2004)"},{"issue":"4\u20135","key":"20_CR76","doi-asserted-by":"crossref","first-page":"907","DOI":"10.1006\/ijhc.1995.1081","volume":"43","author":"T.R. Gruber","year":"1995","unstructured":"Gruber T.R.: Toward principles for the design of ontologies used for knowledge sharing. Int. J. Hum.-Comput. Stud. 43(4\u20135), 907\u2013928 (1995)","journal-title":"Int. J. Hum.-Comput. Stud."},{"key":"20_CR77","unstructured":"Gr\u00fcninger, M., Hahmann, T., Hashemi, A., Ong, D.: Ontology verification with repositories. In: Galton, A., Mizoguchi, R. (eds.) Formal Ontology in Information Systems\u2014Proceedings of the Sixth International Conference (FOIS-2010). Frontiers in Artificial Intelligence and Applications, vol. 209, pp. 317\u2013330. IOS Press (2010)"},{"key":"20_CR78","unstructured":"Guarino, N.: The ontological level. In: Casati, R., Smith, B., White, G. (eds.) Philosophy and the Cognitive Sciences (1994). H\u00f6lder-Pichler-Tempsky, pp. 443\u2013456. Proc. of the 16th Wittgenstein Symposium, Kirchberg, Austria, Vienna, August 1993."},{"key":"20_CR79","unstructured":"Guarino, N.: Formal ontology and information systems. In: Guarino, N. (ed.) Formal Ontology in Information Systems, Proc. of FOIS-98, Trento, Italy, June 6\u20138, pp. 3\u201315. IOS Press, Amsterdam (1998)"},{"key":"20_CR80","doi-asserted-by":"crossref","unstructured":"Guarino, N.: The ontological level: revisiting 30\u00a0years of knowledge representation. In: Borgida, A., Chaudhri, V., Giorgini, P., Yu, E. (eds.) Conceptual Modelling: Foundations and Applications. Essays in Honor of John Mylopoulos, pp. 52\u201367. Springer (2009)","DOI":"10.1007\/978-3-642-02463-4_4"},{"key":"20_CR81","first-page":"25","volume-title":"Towards Very Large Knowledge Bases: Knowledge Building And Knowledge Sharing","author":"N. Guarino","year":"1995","unstructured":"Guarino N., Giaretta P.: Ontologies and knowledge bases: towards a terminological clarification. In: Mars, N. (eds) Towards Very Large Knowledge Bases: Knowledge Building And Knowledge Sharing, pp. 25\u201332. IOS Press, Amsterdam (1995)"},{"issue":"2","key":"20_CR82","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1145\/503124.503150","volume":"45","author":"N. Guarino","year":"2002","unstructured":"Guarino N., Welty C.: Evaluating ontological decisions with OntoClean. Commun. ACM 45(2), 61\u201365 (2002)","journal-title":"Commun. ACM"},{"issue":"4","key":"20_CR83","doi-asserted-by":"crossref","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. 11(4), 559\u2013578 (2001)","journal-title":"J. Log. Comput."},{"key":"20_CR84","doi-asserted-by":"crossref","unstructured":"Guizzardi, G.: Modal Aspects of object types and part-whole relations and the de re\/de dicto distinction. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) Advanced Information Systems Engineering, 19th International Conference (CAiSE-07). Lecture Notes in Computer Science, vol. 4495, pp. 5\u201320. Springer (2007)","DOI":"10.1007\/978-3-540-72988-4_2"},{"key":"20_CR85","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511812866","volume-title":"Philosophy of Logics","author":"S. Haack","year":"1978","unstructured":"Haack S.: Philosophy of Logics. Cambridge University Press, Cambridge (1978)"},{"key":"20_CR86","volume-title":"Deviant Logic, Fuzzy Logic: Beyond the Formalism","author":"S. Haack","year":"1996","unstructured":"Haack S.: Deviant Logic, Fuzzy Logic: Beyond the Formalism. Cambridge University Press, Cambridge (1996)"},{"key":"20_CR87","doi-asserted-by":"crossref","unstructured":"Haase, P., van Harmelen, F., Huang, Z., Stuckenschmidt, H., Sure, Y.: A framework for handling inconsistency in changing ontologies. In: Proc. of the 4th International Semantic Web Conference (ISWC-05). LNCS, vol. 3729, pp. 353\u2013367. Springer (2005)","DOI":"10.1007\/11574620_27"},{"issue":"1\u20133","key":"20_CR88","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1023\/B:AXIO.0000006788.44025.49","volume":"14","author":"B. Heller","year":"2004","unstructured":"Heller B., Herre H.: Ontological categories in GOL. Axiomathes 14(1\u20133), 57\u201376 (2004)","journal-title":"Axiomathes"},{"key":"20_CR89","doi-asserted-by":"crossref","unstructured":"Herre, H.: The ontology of mereological systems. In: Poli, R., Seibt, J., Healy, M., Kameas, A. (eds.) Theory and Applications of Ontology - volume 1: Philosophical Perspectives. Springer (2010)","DOI":"10.1007\/978-90-481-8845-1_3"},{"key":"20_CR90","unstructured":"Hois, J., Bhatt, M., Kutz, O.: Modular ontologies for architectural design. In: Proc. of the 4th Workshop on Formal Ontologies Meet Industry, FOMI-09, Vicenza, Italy. Frontiers in Artificial Intelligence and Applications, vol. 198. IOS Press (2009)"},{"key":"20_CR91","unstructured":"Hois, J., Kutz, O.: Counterparts in language and space\u2014similarity and $${\\mathcal{S}}$$ -Connection. In: Eschenbach, C., Gr\u00fcninger, M. (eds.) Formal Ontology in Information Systems (FOIS 2008), pp. 266\u2013279. IOS Press (2008)"},{"key":"20_CR92","doi-asserted-by":"crossref","unstructured":"Hois, J., Kutz, O.: Natural language meets spatial calculi. In: Freksa, C., Newcombe, N.S., G\u00e4rdenfors, P., W\u00f6lfl, S. (eds.) Spatial Cognition VI. Learning, Reasoning, and Talking about. Space. 6th International Conference on Spatial Cognition. LNCS, pp. 266\u2013282. Springer (2008)","DOI":"10.1007\/978-3-540-87601-4_20"},{"key":"20_CR93","unstructured":"Horridge, M., Drummond, N., Goodwin, J., Rector, A., Stevens, R., Wang, H.H.: The Manchester OWL Syntax. In: OWL: Experiences and Directions (2006)"},{"key":"20_CR94","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The Even More Irresistible $${\\mathcal{SROIQ}}$$ . In: Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR2006), pp. 57\u201367. AAAI Press (June 2006)"},{"key":"20_CR95","volume-title":"Theory and Applications of Ontology: Computer Applications","author":"Y. Kalfoglou","year":"2010","unstructured":"Kalfoglou Y., Schorlemmer M.: The information flow approach to ontology-based semantic alignment. In: Poli, R., Healy, M., Kameas, A. (eds) Theory and Applications of Ontology: Computer Applications, Springer, Berlin (2010)"},{"key":"20_CR96","doi-asserted-by":"crossref","unstructured":"Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all Justifications of OWL DL Entailments. In: Proc. of ISWC\/ASWC2007. LNCS, vol. 4825, pp. 267\u2013280. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-76298-0_20"},{"key":"20_CR97","unstructured":"Kazakov, Y.: An extension of regularity conditions for complex role inclusion axioms. In: Grau, B.C., Horrocks, I., Motik, B., Sattler, U. (eds.) Proc. of DL-09., vol. 477 of CEUR Workshop Proceedings, CEUR-WS.org (2009)"},{"issue":"1\u20132","key":"20_CR98","doi-asserted-by":"crossref","first-page":"91","DOI":"10.3233\/AO-2008-0044","volume":"3","author":"C.M. Keet","year":"2008","unstructured":"Keet C.M., Artale A.: Representing and reasoning over a taxonomy of part-whole relations. Appl. Ontol. 3(1\u20132), 91\u2013110 (2008)","journal-title":"Appl. Ontol."},{"key":"20_CR99","unstructured":"Klinov, P., Mazlack, L.J.: On possible applications of rough mereology to handling granularity in ontological knowledge. In: Proceedings of the 22nd National Conference on Artificial Intelligence (AAAI-07), pp. 1876\u20131877. AAAI Press, Menlo Park (2007)"},{"key":"20_CR100","unstructured":"Knauff, M., Rauh, R., Schlieder, C.: Preferred mental models in qualitative spatial reasoning: a cognitive assessment of Allen\u2019s calculus. In: Proc. of the 17th Annual Conference of the Cognitive Science Society (1995)"},{"key":"20_CR101","volume-title":"Ontology Modularization","author":"B. Konev","year":"2008","unstructured":"Konev B., Lutz C., Walther D., Wolter F.: Formal properties of modularization. In: Stuckenschmidt, H., Spaccapietra, S. (eds) Ontology Modularization, Springer, Berlin (2008)"},{"key":"20_CR102","unstructured":"Konev, B., Lutz, C., Walther, D., Wolter, F.: Semantic modularity and module extraction in description logics. In: 18th European Conf. on Artificial Intelligence (ECAI-08) (2008)"},{"key":"20_CR103","unstructured":"Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to query answering in DL-lite. In: Lin, F., Sattler, U. (eds.) Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR2010). AAAI Press, Menlo Park (2010)"},{"issue":"6","key":"20_CR104","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1002\/malq.19700160608","volume":"16","author":"J. Kotas","year":"1970","unstructured":"Kotas J., Pieczkowski A.: Allgemeine logische und mathematische Theorien. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik (now \u2018Mathematical Logic Quarterly\u2019) 16(6), 353\u2013376 (1970)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik (now \u2018Mathematical Logic Quarterly\u2019)"},{"key":"20_CR105","doi-asserted-by":"crossref","unstructured":"Kracht, M., Kutz, O.: Logically possible worlds and counterpart semantics for modal logic. In: Jacquette, D. (ed.) Philosophy of Logic, Handbook of the Philosophy of Science, vol. 5, pp. 943\u2013996. Elsevier, Amsterdam (2007)","DOI":"10.1016\/B978-044451541-4\/50025-7"},{"key":"20_CR106","unstructured":"Kutz, O.: $${\\mathcal{E}}$$ -connections and logics of distance. PhD thesis, The University of Liverpool (2004)"},{"issue":"1","key":"20_CR107","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/s11225-007-9023-3","volume":"85","author":"O. Kutz","year":"2007","unstructured":"Kutz O.: Notes on logics of metric spaces. Stud. Log. 85(1), 75\u2013104 (2007)","journal-title":"Stud. Log."},{"key":"20_CR108","unstructured":"Kutz, O., L\u00fccke, D., Mossakowski, T.: Heterogeneously structured ontologies\u2014integration, connection, and refinement. In: Meyer, T., Orgun, M.A. (eds.) Advances in Ontologies. Proceedings of the Knowledge Representation Ontology Workshop (KROW 2008). CRPIT, ACS, vol. 90, pp. 41\u201350. Sydney, Australia (2008)"},{"key":"20_CR109","unstructured":"Kutz, O., L\u00fccke, D., Mossakowski, T.: Modular construction of models\u2014towards a consistency proof for the foundational ontology Dolce. In: 1st Int. Workshop on Computer Science as Logic-Related. ICTAC 2008, Istanbul, Turkey (2008)"},{"key":"20_CR110","unstructured":"Kutz, O., L\u00fccke, D., Mossakowski, T., Normann, I.: The OWL in the Casl\u2014designing ontologies across logics. In: Dolbear, C., Ruttenberg, A., Sattler, U. (eds.) OWL: Experiences and Directions, 5th International Workshop (OWLED-08) (co-located with ISWC-08, Karlsruhe, Germany, October 26\u201327), CEUR-WS, vol. 432 (2008)"},{"issue":"1","key":"20_CR111","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.: $${\\mathcal{E}}$$ -connections of Abstract Description Systems. Artif. Intell. 156(1), 1\u201373 (2004)","journal-title":"Artif. Intell."},{"key":"20_CR112","unstructured":"Kutz, O., Mossakowski, T.: Modules in transition: conservativity, composition, and colimits. In: 2nd Int. Workshop on Modular Ontologies (WoMO-07). K-CAP, Whistler BC, Canada (2007)"},{"key":"20_CR113","unstructured":"Kutz, O., Mossakowski, T.: Conservativity in Structured Ontologies. In: 18th European Conf. on Artificial Intelligence (ECAI-08), IOS Press, Patras, Greece (2008)"},{"key":"20_CR114","unstructured":"Kutz, O., Mossakowski, T., Codescu, M.: Shapes of alignments: construction, combination, and computation. In: Sattler, U., Tamilin, A. (eds.) Proc. of the 1st Workshop on Ontologies: Reasoning and Modularity (WORM-08) CEUR-WS, vol. 348. ESWC, Tenerife (2008)"},{"key":"20_CR115","unstructured":"Kutz, O., Normann, I.: Context discovery via theory interpretation. In: Proc. of the IJCAI Workshop on Automated Reasoning about Context and Ontology Evolution, ARCOE-09, Pasadena, California (2009)"},{"key":"20_CR116","unstructured":"Kutz, O., Wolter, F., Zakharyaschev, M.: Connecting abstract description systems. In: Proc. of the 8th Conference on Principles of Knowledge Representation and Reasoning (KR-02), pp. 215\u2013226. Morgan Kaufmann (2002)"},{"key":"20_CR117","unstructured":"Leibniz, G.W.: S\u00e4mtliche Schriften und Briefe\u2014VI Sektion: Philosophische Schriften, Band IV, pp. 1680\u20131692. Akademie, Berlin (2001)"},{"key":"20_CR118","volume-title":"Building large knowledge-based systems: representation and inference in the Cyc project","author":"D.B. Lenat","year":"1990","unstructured":"Lenat D.B., Guha R.V.: Building large knowledge-based systems: representation and inference in the Cyc project. Addison-Wesley, Reading (1990)"},{"key":"20_CR119","unstructured":"Lewis, D.: Parts of Classes. Basil Blackwell, Oxford (1991) With an appendix by Burgess, J.P., Hazen, A.P., Lewis, D."},{"key":"20_CR120","doi-asserted-by":"crossref","unstructured":"Lucanu, D., Li, Y.-F., Dong, J.S.: Semantic web languages\u2014towards an institutional perspective. In: Futatsugi, K., Jouannaud, J.-P., Meseguer, J. (eds.) Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, vol. 4060, pp. 99\u2013123. Springer (2006)","DOI":"10.1007\/11780274_6"},{"issue":"6\u20137","key":"20_CR121","doi-asserted-by":"crossref","first-page":"852","DOI":"10.1016\/j.artint.2007.10.017","volume":"172","author":"T. Lukasiewicz","year":"2008","unstructured":"Lukasiewicz T.: Expressive probabilistic description logics. Artif. Intell. 172(6\u20137), 852\u2013883 (2008)","journal-title":"Artif. Intell."},{"key":"20_CR122","unstructured":"Lutz, C., Schr\u00f6der, L.: Probabilistic description logics for subjective uncertainty. In: Lin, F., Sattler, U. (eds.) Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR2010). AAAI Press, Menlo Park (2010)"},{"key":"20_CR123","unstructured":"Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: Proceedings of IJCAI-07, pp. 453\u2013458. AAAI Press, Menlo Park (2007)"},{"key":"20_CR124","doi-asserted-by":"crossref","unstructured":"Lutz, C., Wolter, F.: Modal logics of topological relations. Log. Methods Comput. Sci. 2(2) (2006)","DOI":"10.2168\/LMCS-2(2:5)2006"},{"key":"20_CR125","doi-asserted-by":"crossref","unstructured":"Lutz, C., Wolter, F.: Mathematical logic for life science ontologies. In: Ono, H., Kanazawa, M., de Queiroz, R.J.G.B. (eds.) WoLLIC. Lecture Notes in Computer Science, vol. 5514, pp. 37\u201347. Springer (2009)","DOI":"10.1007\/978-3-642-02261-6_4"},{"key":"20_CR126","doi-asserted-by":"crossref","unstructured":"Lutz, C., Wolter, F., Zakharyaschev, M.: Temporal description logics: a survey. In: Proceedings of the Fourteenth International Symposium on Temporal Representation and Reasoning. IEEE Computer Society Press (2008)","DOI":"10.1109\/TIME.2008.14"},{"key":"20_CR127","doi-asserted-by":"crossref","unstructured":"Ma, Y., Hitzler, P.: Paraconsistent reasoning for OWL 2. In: RR \u201909: Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems, pp. 197\u2013211. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-05082-4_14"},{"key":"20_CR128","unstructured":"Ma, Y., Hitzler, P.: Distance-based measures of inconsistency and incoherency for description logics. In: Haarslev, V., Toman, D., Weddell, G. (eds.) Proceedings of the 23rd International Workshop on Description Logics (DL-2010), vol. 573. CEUR Workshop Proceedings, pp. 475\u2013485. Waterloo, Canada (2010)"},{"key":"20_CR129","doi-asserted-by":"crossref","unstructured":"Ma, Y., Hitzler, P., Lin, Z.: Algorithms for paraconsistent Reasoning with OWL. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC. Lecture Notes in Computer Science, vol. 4519. pp. 399\u2013413. Springer (2007)","DOI":"10.1007\/978-3-540-72667-8_29"},{"key":"20_CR130","unstructured":"Ma, Y., Hitzler, P., Lin, Z.: Paraconsistent resolution for four-valued description logics. In: Proceedings of the 2007 International Workshop on Description Logics (DL-2007), Brixen-Bressanone, Italy, June 2007. CEUR Workshop Proceedings, vol. 250, pp. 395\u2013402 (June 2007)"},{"key":"20_CR131","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":"20_CR132","unstructured":"Madhavan, J., Bernstein, P., Domingos, P., Halevy, A.: Representing and reasoning about mappings between domain models. In: Proc. of AAAI 2002. Edmonton, Canada (2002)"},{"key":"20_CR133","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5694-3","volume-title":"Multi-dimensional Modal Logic","author":"M. Marx","year":"1997","unstructured":"Marx M., Venema Y.: Multi-dimensional Modal Logic. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"20_CR134","unstructured":"Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A.: Wonder Web Deliverable D18: Ontology Library. Tech. rep., ISTC-CNR (2003)"},{"key":"20_CR135","doi-asserted-by":"crossref","unstructured":"Masters, J.: Structured knowledge source integration and its applications to information fusion. In: Proceedings of the Fifth International Conference on Information Fusion (FUSION 2002). Annapolis, MD, IEEE (2002)","DOI":"10.1109\/ICIF.2002.1020968"},{"key":"20_CR136","unstructured":"McCorduck, P.: Machines Who Think: A Personal Inquiry into the History and Prospects of Artificial Intelligence. Peters, Wellesley, 2nd rev edn. (2004)"},{"key":"20_CR137","doi-asserted-by":"crossref","unstructured":"Meseguer, J.: General logics. In: Logic Colloquium 87, pp. 275\u2013329. North Holland (1989)","DOI":"10.1016\/S0049-237X(08)70132-0"},{"key":"20_CR138","doi-asserted-by":"crossref","unstructured":"Meseguer, J., Mart\u00ed-Oliet, N.: From abstract data types to logical frameworks. In: Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification, pp. 48\u201380. Springer, London (1995)","DOI":"10.1007\/BFb0014422"},{"key":"20_CR139","unstructured":"Minsky, M.; A framework for representing knowledge. In: Winston, P. (ed.) The Psychology of Computer Vision. McGraw-Hill (1975)"},{"key":"20_CR140","doi-asserted-by":"crossref","unstructured":"Mossakowski, T.: Comorphism-based Grothendieck logics. In: Mathematical Foundations of Computer Science. LNCS, vol. 2420, pp. 593\u2013604. Springer (2002)","DOI":"10.1007\/3-540-45687-2_49"},{"key":"20_CR141","unstructured":"Mossakowski, T.: Institutional 2-cells and Grothendieck institutions. In: Futatsugi, K., Jouannaud, J.-P., Meseguer, J. (eds.) Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen. LNCS 4060, pp. 124\u2013149. Springer (2006)"},{"issue":"1\u20132","key":"20_CR142","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1016\/j.jlap.2005.09.005","volume":"67","author":"T. Mossakowski","year":"2006","unstructured":"Mossakowski T., Autexier S., Hutter D.: Development graphs\u2014proof management for structured specifications. J. Log. Algebraic Program. 67(1\u20132), 114\u2013145 (2006)","journal-title":"J. Log. Algebraic Program."},{"key":"20_CR143","doi-asserted-by":"crossref","unstructured":"Mossakowski, T., Haxthausen, A., Sannella, D., Tarlecki, A.: CASL: The Common Algebraic Specification Language. In: Bjorner, M.H.D. (ed.) Logics of Formal Specification Languages. Monographs in Theoretical Computer Science. Springer, Heidelberg, ch. 3, pp. 241\u2013298 (2008)","DOI":"10.1007\/978-3-540-74107-7_5"},{"key":"20_CR144","doi-asserted-by":"crossref","unstructured":"Mossakowski, T., Maeder, C., L\u00fcttich, K.: The heterogeneous tool set. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424. Springer, pp. 519\u2013522 (2007)","DOI":"10.1007\/978-3-540-71209-1_40"},{"key":"20_CR145","unstructured":"Mossakowski, T., Maeder, C., L\u00fcttich, K.: The heterogeneous tool set. In: Beckert, B. (ed.) VERIFY 2007, vol. 259. CEUR-WS (2007)"},{"key":"20_CR146","doi-asserted-by":"crossref","unstructured":"Mossakowski, T., Tarlecki, A.: Heterogeneous logical environments for distributed specifications. In: Corradini, A., Montanari, U. (eds.) WADT 2008. Lecture Notes in Computer Science, vol. 5486, pp. 266\u2013289. Springer (2009)","DOI":"10.1007\/978-3-642-03429-9_18"},{"issue":"1","key":"20_CR147","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/s11787-009-0005-2","volume":"3","author":"T. Mossakowski","year":"2009","unstructured":"Mossakowski T., Tarlecki A., Diaconescu R.: What is a logic translation?. Logica Universalis 3(1), 95\u2013124 (2009) Winner of the Universal Logic 2007 Contest","journal-title":"Logica Universalis"},{"issue":"2","key":"20_CR148","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1016\/j.websem.2009.02.001","volume":"7","author":"B. Motik","year":"2009","unstructured":"Motik B., Horrocks I., Sattler U.: Bridging the Gap Between OWL and Relational Databases. J. Web Semant. Sci. Serv. Agents World Wide Web 7(2), 74\u201389 (2009)","journal-title":"J. Web Semant. Sci. Serv. Agents World Wide Web"},{"key":"20_CR149","unstructured":"Newell, A., Shaw, J.C., Simon, H.A.: Report on a general problem-solving program. In: Proceedings of the International Conference on Information Processing (IFIP), pp. 256\u2013264 (1959)"},{"issue":"3","key":"20_CR150","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1145\/360018.360022","volume":"19","author":"A. Newell","year":"1976","unstructured":"Newell A., Simon H.A.: Computer science as empirical inquiry: symbols and search. Commun. ACM 19(3), 113\u2013126 (1976)","journal-title":"Commun. ACM"},{"key":"20_CR151","doi-asserted-by":"crossref","unstructured":"Niles, I., Pease, A.: Towards a standard upper ontology. In: FOIS-01: Proc. of the International Conference on Formal Ontology in Information Systems, pp. 2\u20139. ACM, New York (2001)","DOI":"10.1145\/505168.505170"},{"key":"20_CR152","doi-asserted-by":"crossref","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.L.: Isabelle\/HOL\u2014a proof assistant for higher-order logic. LNCS, vol. 2283. Springer (2002)","DOI":"10.1007\/3-540-45949-9"},{"key":"20_CR153","unstructured":"Normann, I.: Automated theory interpretation. PhD thesis, Department of Computer Science, Jacobs University, Bremen (2009)"},{"key":"20_CR154","doi-asserted-by":"crossref","unstructured":"Odintsov, S.P., Wansing, H.: Inconsistency-tolerant description logic. Motivation and Basic Systems. In: Hendricks, V., Malinowski, J. (eds.) Trends in Logic. 50 Years of Studia Logica, no. 21 in Trends in Logic, pp. 301\u2013335. Kluwer Academic Publishers, Dordrecht (2003)","DOI":"10.1007\/978-94-017-3598-8_11"},{"issue":"3","key":"20_CR155","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/j.jal.2007.06.001","volume":"6","author":"S.P. Odintsov","year":"2008","unstructured":"Odintsov S.P., Wansing H.: Inconsistency-tolerant description logic. Part II: A tableau algorithm for $${\\mathcal{C}\\mathcal{ALC}^{C}}$$ . J. Appl. Log. 6(3), 343\u2013360 (2008)","journal-title":"J. Appl. Log."},{"key":"20_CR156","volume-title":"Nonexistent Objects","author":"T. Parsons","year":"1980","unstructured":"Parsons T.: Nonexistent Objects. Yale University Press, New Haven and London (1980)"},{"issue":"3","key":"20_CR157","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(89)90036-2","volume":"38","author":"P.F. Patel-Schneider","year":"1989","unstructured":"Patel-Schneider P.F.: A four-valued semantics for terminological logics. Artif. Intell. 38(3), 319\u2013351 (1989)","journal-title":"Artif. Intell."},{"issue":"4","key":"20_CR158","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/BF02123372","volume":"33","author":"A. Pieczkowski","year":"1974","unstructured":"Pieczkowski A.: \u00dcber Theorien im erweiterten Sinne. Stud. Log. 33(4), 317\u2013331 (1974)","journal-title":"Stud. Log."},{"key":"20_CR159","unstructured":"Pokrywczy\u0144ski, D., Malcolm, G.: Towards a functional approach to modular ontologies using institutions. In: Kutz, O., Hois, J., Bao, J., Cuenca Grau, B. (eds.) Modular Ontologies\u2014Proceedings of the Fourth International Workshop (WoMO 2010). Frontiers in Artificial Intelligence and Applications, vol. 210, pp. 53\u201366. IOS Press, Toronto (2010)"},{"key":"20_CR160","doi-asserted-by":"crossref","unstructured":"Priest, G.: In contradiction: a study of the transconsistent, Nijhoff International Philosophy Series, vol. 39. Dordrecht, Martinus Nijhoff, The Hague (1987)","DOI":"10.1007\/978-94-009-3687-4"},{"key":"20_CR161","unstructured":"Priest, G.: Logic: One or many? In: Brown, B., Woods, J. (eds.) Logical Consequences. Hermes (2001)"},{"key":"20_CR162","first-page":"210","volume":"6","author":"G. Priest","year":"2008","unstructured":"Priest G.: Logical pluralism hollandaise. Aust. J. Log. 6, 210\u2013214 (2008)","journal-title":"Aust. J. Log."},{"key":"20_CR163","unstructured":"Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. In: Proceedings of the 3rd International Conference on the Principles of Knowledge Representation and Reasoning (KR\u201992), pp. 165\u2013176. Morgan Kaufmann, Los Altos (1992)"},{"key":"20_CR164","doi-asserted-by":"crossref","first-page":"426","DOI":"10.2307\/3655622","volume":"99","author":"G. Restall","year":"2002","unstructured":"Restall G.: Carnap\u2019s tolerance, language change and logical pluralism. J. Philos. 99, 426\u2013443 (2002)","journal-title":"J. Philos."},{"key":"20_CR165","unstructured":"Ridder, L.: Mereologie\u2014Ein Beitrag zur Ontologie und Erkenntnistheorie. Philosophische Abhandlungen, vol. 83. Vittorio Klostermann, Frankfurt am Main (2002)"},{"key":"20_CR166","unstructured":"Rodrigues, O., Russo, A.: A Translation Method for Belnap Logic. Research Report Doc 98\/7, Imperial College London, September 1998"},{"key":"20_CR167","doi-asserted-by":"crossref","unstructured":"Sannella, D., Burstall, R.: Structured theories in LCF. In: Proc. 8th Colloq. on Trees in Algebra and Programming. Lecture Notes in Computer Science, vol. 159, pp. 377\u2013391. Springer (1983)","DOI":"10.1007\/3-540-12727-5_24"},{"key":"20_CR168","doi-asserted-by":"crossref","unstructured":"Schorlemmer, M., Kalfoglou, Y.: Institutionalising ontology-based semantic integration. J. Appl. Ontol. 3(3) (2008)","DOI":"10.3233\/AO-2008-0041"},{"issue":"12\u201313","key":"20_CR169","doi-asserted-by":"crossref","first-page":"1217","DOI":"10.1016\/j.tcs.2008.11.020","volume":"410","author":"L. Schr\u00f6der","year":"2009","unstructured":"Schr\u00f6der L., Mossakowski T.: HasCASL: Integrated higher-order specification and program development. Theor. Comput. Sci. 410(12\u201313), 1217\u20131260 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"20_CR170","unstructured":"Schulz, S., Romacker, M., Hahn, U.: Part-whole reasoning in medical ontologies revisited\u2014introducing SEP triplets into classification-based description logics. In: Proc. AMIA Symposium, pp. 830\u2013834 (1998)"},{"key":"20_CR171","doi-asserted-by":"crossref","unstructured":"Seidenberg, J., Rector, A.L.: Representing transitive propagation in OWL. In: Embley, D.W., Oliv\u00e9, A., Ram, S. (eds.) Proc. of ER 2006, 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6\u20139. LNCS, vol. 4215, pp. 255\u2013266. Springer (2006)","DOI":"10.1007\/11901181_20"},{"key":"20_CR172","doi-asserted-by":"crossref","unstructured":"Shehtman V.: \u201cEverywhere\u201d and \u201cHere\u201d. J. Appl. Non-Classical Log. 9 (1999)","DOI":"10.1080\/11663081.1999.10510972"},{"issue":"3","key":"20_CR173","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1093\/logcom\/exm007","volume":"17","author":"M. Sheremet","year":"2007","unstructured":"Sheremet M., Tishkovsky D., Wolter F., Zakharyaschev M.: A logic for concepts and similarity. J. Log. Comput. 17(3), 415\u2013452 (2007)","journal-title":"J. Log. Comput."},{"issue":"4","key":"20_CR174","doi-asserted-by":"crossref","first-page":"534","DOI":"10.1016\/j.apal.2009.04.001","volume":"161","author":"M. Sheremet","year":"2010","unstructured":"Sheremet M., Wolter F., Zakharyaschev M.: A modal logic framework for reasoning about comparative distances and topology. Ann. Pure Appl. Log. 161(4), 534\u2013559 (2010)","journal-title":"Ann. Pure Appl. Log."},{"key":"20_CR175","volume-title":"Parts: A Study in Ontology","author":"P. Simons","year":"1987","unstructured":"Simons P.: Parts: A Study in Ontology. Clarendon Press, Oxford (1987)"},{"key":"20_CR176","doi-asserted-by":"crossref","unstructured":"Simons P. (1991) On being spread out in time: temporal parts and the problem of change. In: Spohn W. et\u00a0al. (eds) Existence and Explanation. Kluwer Academic Publishers. Dordrecht","DOI":"10.1007\/978-94-011-3244-2_10"},{"issue":"1","key":"20_CR177","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1016\/j.jbi.2006.02.013","volume":"40","author":"N. Sioutos","year":"2007","unstructured":"Sioutos N., de Coronado S., Haber M.W., Hartel F.W., Shaiu W.-L., Wright L.W.: NCI Thesaurus: a semantic model integrating cancer-related clinical and molecular information. J. Biomed. Inform. 40(1), 30\u201343 (2007)","journal-title":"J. Biomed. Inform."},{"key":"20_CR178","doi-asserted-by":"crossref","unstructured":"Straccia, U.: A sequent calculus for reasoning in four-valued description logics. In: Galmiche, D. (ed.) Proc. of TABLEAUX-97: Int. Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Pont-\u00e0-Mousson, France, May 13\u201316. LNCS, vol. 1227, pp. 343\u2013357. Springer (1997)","DOI":"10.1007\/BFb0027425"},{"key":"20_CR179","doi-asserted-by":"crossref","unstructured":"Suntisrivaraporn, B., Baader, F., Schulz, S., Spackman, K.: Replacing SEP-triplets in SNOMED CT using tractable description logic operators. In: AIME \u201907: Proceedings of the 11th conference on Artificial Intelligence in Medicine, pp. 287\u2013291. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-73599-1_38"},{"key":"20_CR180","doi-asserted-by":"crossref","first-page":"103","DOI":"10.4064\/fm-31-1-103-134","volume":"31","author":"A. Tarski","year":"1938","unstructured":"Tarski A.: Der Aussagenkalk\u00fcl und die Topologie. Fundamenta Mathematicae 31, 103\u2013134 (1938)","journal-title":"Fundamenta Mathematicae"},{"key":"20_CR181","doi-asserted-by":"crossref","DOI":"10.1037\/14127-000","volume-title":"Symbolic Logic","author":"J. Venn","year":"1881","unstructured":"Venn J.: Symbolic Logic. The MacMillan Company, London (1881)"},{"key":"20_CR182","doi-asserted-by":"crossref","unstructured":"Villadsen, J.: Paraconsistent query answering systems. In: FQAS \u201902: Proceedings of the 5th International Conference on Flexible Query Answering Systems, pp. 370\u2013384. Springer, London (2002)","DOI":"10.1007\/3-540-36109-X_29"},{"key":"20_CR183","doi-asserted-by":"crossref","unstructured":"Voronkov, A.: Inconsistencies in ontologies. In: JELIA-06, p. 19. (2006)","DOI":"10.1007\/11853886_3"},{"key":"20_CR184","unstructured":"Zhou, L., Huang, H., Qi, G., Ma, Y., Huang, Z., Qu, Y.: Paraconsistent query answering over DL-lite ontologies. In: Proceedings of the Third Chinese Semantic Web Symposium (CSWS-09) (2009)"},{"key":"20_CR185","unstructured":"Zimmermann, A., Kr\u00f6tzsch, M., Euzenat, J., Hitzler, P.: Formalizing ontology alignment and its operations with category theory. In: Proc. of FOIS-06, pp. 277\u2013288 (2006)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-010-0020-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-010-0020-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-010-0020-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T18:02:14Z","timestamp":1740679334000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-010-0020-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11]]},"references-count":185,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,11]]}},"alternative-id":["20"],"URL":"https:\/\/doi.org\/10.1007\/s11787-010-0020-3","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"type":"print","value":"1661-8297"},{"type":"electronic","value":"1661-8300"}],"subject":[],"published":{"date-parts":[[2010,11]]}}}