, Abstract and Concrete Categories, 1990.
, Simple consequence relations, Information and Computation, vol.92, issue.1, pp.105-140, 1991.
DOI : 10.1016/0890-5401(91)90023-U
URL : http://doi.org/10.1016/0890-5401(91)90023-u
, BioTop: An upper domain ontology for the life sciences -a description of its current structure, contents, and interfaces to OBO ontologies, Applied Ontology, vol.3, issue.4, pp.205-212, 2008.
, Analysis and synthesis of logics: how to cut and paste reasoning systems Applied logic series, 2008.
, François Scharffe, and Cássia Trojahn dos Santos. The alignment API 4, Semantic Web, pp.3-10, 2011.
, Grothendieck institutions Applied categorical structures, pp.383-402, 2002.
DOI : 10.1016/j.tcs.2003.10.030
URL : http://doi.org/10.1016/j.tcs.2003.10.030
, Investigations into logical deduction The Collected Papers of Gerhard Gentzen, pp.68-213, 1969.
, Institution morphisms. Formal aspects of computing, pp.274-307, 2002.
DOI : 10.1007/s001650200013
, Institutions: abstract model theory for specification and programming, Predecessor in, pp.95-146, 1984.
DOI : 10.1145/147508.147524
, An implementation-oriented semantics for module composition, Foundations of Component- Based Systems, pp.231-263, 2000.
, Composition of Default Specifications, Journal of Logic and Computation, vol.11, issue.4, pp.559-578, 2001.
DOI : 10.1093/logcom/11.4.559
, The Even More Irresistible SROIQ, Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR2006), pp.57-67, 2006.
, Formal properties of modularization, Ontology Modularization, 2008.
, Conservativity in Structured Ontologies, 18th European Conf. on Artificial Intelligence (ECAI-08), 2008.
, Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design, Logica Universalis, vol.31, issue.1, pp.255-333, 2010.
DOI : 10.1007/s11787-010-0020-3
, Chinese Whispers and Connected Alignments, Proc. of the 5th International Workshop on Ontology Matching (OM-2010), 9th International Semantic Web Conference ISWC-2010, 2010.
, LoLa: A Modular Ontology of Logics, Languages, and Translations, Modular Ontologies, number 875 in CEUR Workshop Proceedings
, Conservative Extensions in Expressive Description Logics, Proceedings of IJCAI-07, pp.453-458, 2007.
, Deciding inseparability and conservative extensions in the description logic <mml:math altimg="si1.gif" display="inline" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd"><mml:mi mathvariant="script">E</mml:mi><mml:mi mathvariant="script">L</mml:mi></mml:math>, Journal of Symbolic Computation, vol.45, issue.2, pp.194-228, 2010.
DOI : 10.1016/j.jsc.2008.10.007
, Categories for the Working Mathematician, 1998.
, Ontology library, WonderWeb Deliverable Laboratory for Applied Ontology ? ISTC- CNR, vol.18, 2003.
, Circumscription???A form of non-monotonic reasoning, Artificial Intelligence, vol.13, issue.1-2, pp.27-39, 1980.
DOI : 10.1016/0004-3702(80)90011-9
, General logics North Holland, 1989. 26. T. Mossakowski. HetCASL -Heterogeneous Specification. Language Summary, Logic Colloquium 87, pp.275-329, 2004.
, The Onto-Logical Translation Graph, Modular Ontologies?Proceedings of the Fifth International Workshop, pp.94-109, 2011.
, Three Semantics for the Core of the Distributed Ontology Language, FOIS 2012: 7th International Conference on Formal Ontology in Information Systems, pp.337-352
, The Heterogeneous Tool Set, Hets, TACAS 2007, pp.519-522, 2007.
DOI : 10.1007/978-3-540-71209-1_40
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.67.5472
, Heterogeneous Logical Environments for Distributed Specifications, Lecture Notes in Computer Science, vol.9, issue.2, pp.266-289, 2008.
DOI : 10.1007/3-540-61629-2_59
, Composing hidden information modules over inclusive institutions From Object-Orientation to Formal Methods. Essays in Memory of, Lecture Notes in Computer Science, vol.2635, pp.96-123, 2004.
, Specifications in an arbitrary institution, Information and Computation, vol.76, issue.2-3, pp.165-210, 1988.
DOI : 10.1016/0890-5401(88)90008-9
URL : http://doi.org/10.1016/0890-5401(88)90008-9
, Foundations of Algebraic Specification and Formal Software Development. EATCS Monographs on theoretical computer science, 2012.
, Rules and Derived Rules, Logical Theory and Semantic Analysis, pp.147-161, 1974.
DOI : 10.1007/978-94-010-2191-3_13
, Relations in biomedical ontologies, Genome Biology, vol.6, issue.5, p.46, 2005.
DOI : 10.1186/gb-2005-6-5-r46
, Towards heterogeneous specifications, Frontiers of Combining Systems Studies in Logic and Computation, pp.337-360, 1998.
, Formalizing Ontology Alignment and its Operations with Category Theory, Proceedings of the Fourth International Conference on Formal Ontology in Information Systems, pp.277-288, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00825949