J. F. Allen, Maintaining knowledge about temporal intervals, Communications of the ACM, vol.26, issue.11, pp.832-843, 1983.
DOI : 10.1145/182.358434

M. Atencia, A. Borgida, J. Euzenat, C. Ghidini, and L. Serafini, A Formal Semantics for Weighted Ontology Mappings, 2012.
DOI : 10.1007/978-3-642-35176-1_2
URL : https://hal.archives-ouvertes.fr/hal-00768413

F. Baader, D. Calvanese, D. L. Mcguinness, D. Nardi, and P. F. Patel, The description logic handbook: theory , implementation, and applications, 2003.
DOI : 10.1017/CBO9780511711787

J. Bao, D. Caragea, and V. Honavar, On the Semantics of Linking and Importing in Modular Ontologies, Proc. of ISWC-06, pp.72-86, 2006.
DOI : 10.1007/11926078_6

B. Bennett, Logical Representations for Automated Reasoning about Spatial Relationships, 1997.

B. Bennett, A. Isli, and A. G. Cohn, When does a composition table provide a complete and tractable proof procedure for a relational constraint language, Proc. of IJCAI-97 Workshop on Spatial and Temporal Reasoning, 1997.

W. J. Blok and D. Pigozzi, Algebraizable logics. Memoirs of the, 1989.

M. Bodirsky, Complexity Classification in Infinite-Domain Constraint Satisfaction, 2012.

M. Bodirsky and H. Chen, Qualitative Temporal and Spatial Reasoning Revisited, Proc. of CSL-07, pp.194-207, 2007.

M. Bodirsky and V. Dalmau, Datalog and constraint satisfaction with infinite templates, Journal of Computer and System Sciences, vol.79, issue.1, pp.79-100, 2013.
DOI : 10.1016/j.jcss.2012.05.012
URL : https://hal.archives-ouvertes.fr/hal-00756928

A. Borgida and L. Serafini, Distributed Description Logics: Assimilating Information from Peer Sources, Journal of Data Semantics, vol.1, pp.153-184, 2003.
DOI : 10.1007/978-3-540-39733-5_7

L. H. Chin and A. Tarski, Distributive and modular laws in the arithmetic of relation algebras, University of California Publications in Mathematics, vol.1, issue.9, pp.341-384, 1951.

M. Codescu, T. Mossakowski, and O. Kutz, A categorical approach to ontology alignment, Proc. of ISWC-13 Workshop on Ontology Matching, pp.1-12, 2014.

Q. Cohen-solal, M. Bouzid, and A. Niveau, An Algebra of Granular Temporal Relations for Qualitative Reasoning, Proc. of IJCAI-15, pp.2869-2875, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01189003

A. G. Cohn, S. Li, W. Liu, and J. Renz, Reasoning about Topological and Cardinal Direction Relations Between 2- Dimensional Spatial Objects, J. Artif. Intell. Res. (JAIR), vol.51, pp.493-532, 2014.

C. Grau, P. Bernardo, B. Patel-schneider, and . Motik, OWL 2 Web Ontology Language Direct Semantics, 2012.

J. David, J. Euzenat, F. Scharffe, C. Trojahn, and . Santos, The Alignment API 4, pp.3-10, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00781018

J. Dunn, G. Michael, and . Hardegree, Algebraic Methods in Philosophical Logic, 2001.

I. Düntsch, Relation algebras and their application in qualitative spatial reasoning, 2003.

F. Dylla, T. Mossakowski, D. Schneider, and . Wolter, Algebraic Properties of Qualitative Spatio-temporal Calculi, Proc. of COSIT-13, pp.516-536, 2013.
DOI : 10.1007/978-3-319-01790-7_28

C. Eschenbach and L. Kulik, An axiomatic approach to the spatial relations underlying left-right and in front of-behind, Proc. of KI-97, pp.207-218, 1997.
DOI : 10.1007/3540634932_16

J. Euzenat, An Algebraic Approach to Granularity in Qualitative Time and Space Representation, Proc. of IJCAI-95, pp.894-900, 1995.

J. Euzenat and P. Shvaiko, Ontology Matching, 2013.
DOI : 10.1007/978-3-642-38721-0
URL : https://hal.archives-ouvertes.fr/hal-00918122

T. Feder and M. Y. Vardi, The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory, SIAM Journal on Computing, vol.28, issue.1, pp.57-104, 1998.
DOI : 10.1137/S0097539794266766

P. Freyd and A. Scedrov, Categories, Allegories, Mathematical Library, 1990.

Z. Gantner, M. Westphal, and S. Wölfl, GQR-A fast reasoner for binary qualitative constraint calculi, Proc. of AAAI-08, 2008.

S. Givant and P. Halmos, Introduction to Boolean Algebras, Undergraduate Texts in Mathematics and Technology, 2009.

G. Grätzer, General Lattice Theory, 2003.

R. Hirsch, Expressive power and complexity in algebraic logic, Journal of Logic and Computation, vol.7, issue.3, pp.309-351, 1997.
DOI : 10.1093/logcom/7.3.309

R. Hirsch and I. Hodkinson, Relation algebras by games, 2002.

R. Hirsch and I. M. Hodkinson, Abstract, The Journal of Symbolic Logic, vol.71, issue.01, pp.225-279, 1997.
DOI : 10.1016/0004-3702(91)90006-6

W. Hodges, Model Theory. Encyclopedia of Mathematics and its Applications, 1993.

I. Hodkinson, Atom structures of cylindric algebras and relation algebras . Annals of Pure and Applied Logic 89, pp.2-3, 1997.

M. Homola, Semantic Investigations in Distributed Ontologies, 2010.

A. Inants and J. Euzenat, An Algebra of Qualitative Taxonomical Relations for Ontology Alignments, Proc. of ISWC-15, pp.253-268, 2015.
DOI : 10.1007/978-3-319-25007-6_15
URL : https://hal.archives-ouvertes.fr/hal-01188792

B. Jónsson, Relation algebras and Schr??der categories, Discrete Mathematics, vol.70, issue.1, pp.27-45, 1988.
DOI : 10.1016/0012-365X(88)90078-7

B. Jónsson and A. Tarski, Boolean Algebras with Operators. Part I, American Journal of Mathematics, vol.73, issue.4, pp.891-939, 1951.
DOI : 10.2307/2372123

P. Jonsson and T. Drakengren, A Complete Classification of Tractability in RCC-5, J. Artif. Intell. Res. (JAIR), vol.6, pp.211-221, 1997.

Y. Kawahara and H. Furusawa, An algebraic formalization of fuzzy relations. Fuzzy Sets and Systems 101, pp.125-135, 1999.

Y. Kurata, 9-Intersection Calculi for Spatial Reasoning on the Topological Relations between Multi-Domain Objects, IJCAI-09 Workshop on Spatial and Temporal Reasoning, 2009.

Y. Kurata and H. Shi, Toward Heterogeneous Cardinal Direction Calculus, Proc. of KI-09, pp.452-459, 2009.
DOI : 10.1007/978-3-540-28633-2_8

P. Ladkin and R. D. Maddux, On binary constraint problems, Journal of the ACM, vol.41, issue.3, pp.435-469, 1994.
DOI : 10.1145/176584.176585

L. Duc, M. Chan, A. Lamolle, and . Zimmermann, An API for Distributed Reasoning on Networked Ontologies with Alignments, Proc. of KEOD-10, pp.295-304, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01240330

. Draon, A Distributed Reasoner for Aligned Ontologies, Informal Proc. of ORE-13 Workshop on OWL Reasoner Evaluation, pp.81-86

G. Ligozat, Reasoning about Cardinal Directions, Journal of Visual Languages & Computing, vol.9, issue.1, pp.23-44, 1998.
DOI : 10.1006/jvlc.1997.9999

G. Ligozat and J. Renz, What Is a Qualitative Calculus? A General Framework, Proc. of PRICAI-04, pp.53-64, 2004.
DOI : 10.1007/978-3-540-28633-2_8
URL : https://hal.archives-ouvertes.fr/hal-01487502

G. Ligozat, D. Mitra, and J. Condotta, Spatial and temporal reasoning: beyond Allen's calculus. AI Commun, pp.223-233, 2004.
DOI : 10.1002/9781118601457

A. K. Mackworth, Consistency in networks of relations, Artificial Intelligence, vol.8, issue.1, pp.99-118, 1977.
DOI : 10.1016/0004-3702(77)90007-8

A. K. Mackworth and E. C. Freuder, The complexity of some polynomial network consistency algorithms for constraint satisfaction problems, Artificial Intelligence, vol.25, issue.1, pp.65-74, 1985.
DOI : 10.1016/0004-3702(85)90041-4

S. Maclane, Categories for the Working Mathematician, 1971.

R. D. Maddux, Some varieties containing relation algebras, Transactions of the American Mathematical Society, vol.272, issue.2, pp.501-526, 1982.
DOI : 10.1090/S0002-9947-1982-0662049-7

D. Mitra, Qualitative reasoning with arbitrary angular directions, Proc of AAAI-02 Spatial and temporal reasoning workshop note, 2002.

U. Montanari, Networks of constraints: Fundamental properties and applications to picture processing, Information Sciences, vol.7, pp.95-132, 1974.
DOI : 10.1016/0020-0255(74)90008-5

R. Moratz, Representing Relative Direction as a Binary Relation of Oriented Points, Proc. of ECAI-06, pp.407-411, 2006.

T. Mossakowski and R. Moratz, Qualitative reasoning about relative direction of oriented points, Artificial Intelligence, vol.180, issue.181, pp.180-181, 2012.
DOI : 10.1016/j.artint.2011.10.003

T. Mossakowski, L. Schröder, and S. Wölfl, A categorical perspective on qualitative constraint calculi, 2006.

T. Mossakowski, C. Lange, and O. Kutz, Three Semantics for the Core of the Distributed Ontology Language, Proc. of FOIS-12, pp.337-352, 2012.

B. Nebel and A. Scivos, Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning. KI 16, pp.14-18, 2002.

J. Olivier and D. Serrato, Catégories de Dedekind. Morphismes dans les catégories de Schröder, C. R. Acad. Sci. Paris Ser. A-B, vol.290, pp.939-941, 1980.

D. A. Randell and A. G. Cohn, Modelling Topological and Metrical Properties in Physical Processes, Proc. of KR-89, pp.357-368, 1989.

D. A. Randell and M. Witkowski, Building Large Composition Tables via Axiomatic Theories, Proc. of KR-02, pp.26-36, 2002.

D. A. Randell, G. Anthony, Z. Cohn, and . Cui, Computing transitivity tables: A challenge for automated theorem provers, Proc. of CADE-92, pp.786-790, 1992.
DOI : 10.1007/3-540-55602-8_225

J. Renz and D. Mitra, Qualitative Direction Calculi with Arbitrary Granularity, Proc. of PRICAI-04, pp.65-74, 2004.
DOI : 10.1007/978-3-540-28633-2_9

H. P. Sankappanavar and S. Burris, A course in universal algebra, 1981.

A. Scivos and B. Nebel, Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation, Proc. of COSIT-01, pp.431-446, 2001.
DOI : 10.1007/3-540-45424-1_29

S. Skiadopoulos and M. Koubarakis, Composing cardinal direction relations, Artificial Intelligence, vol.152, issue.2, pp.143-171, 2004.
DOI : 10.1016/S0004-3702(03)00137-1

A. Tarski, On the calculus of relations, The Journal of Symbolic Logic, vol.5, issue.03, pp.73-89, 1941.
DOI : 10.1007/BF01696781

E. P. Tsang, Foundations of Constraint Satisfaction, 1993.

V. Neumann and J. , Eine Axiomatisierung der Mengenlehre, Journal für die reine und angewandte Mathematik 154, pp.219-240, 1925.

M. Westphal, Qualitative Constraint-based Reasoning: Methods and Applications, 2014.

M. Westphal, J. Hué, and S. Wölfl, On the Scope of Qualitative Constraint Calculi, Proc. of KI-14, pp.207-218, 2014.
DOI : 10.1007/978-3-319-11206-0_20

S. Wölfl and M. Westphal, On Combinations of Binary Qualitative Constraint Calculi, Proc. of IJCAI-09, pp.967-973, 2009.

S. Wölfl, L. Mossakowski, and . Schröder, Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables, Proc. of FLAIRS-07, pp.665-670, 2007.

D. Wolter, SparQ -A Spatial Reasoning Toolbox, Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, Papers from the 2009 AAAI Spring Symposium, p.53, 2009.

E. Zermelo, ¨ Uber Grenzzahlen und Mengenbereiche: Neue Untersuchungenübersuchungen¨suchungenüber die Grundlagen der Mengenlehre, Fund. Math, vol.16, pp.29-47, 1930.

A. Zimmermann, Integrated Distributed Description Logics, Proc. of DL-07, pp.507-514, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00817817

A. Zimmermann and C. L. Duc, Reasoning with a Network of Aligned Ontologies, Proc. of RR-08, pp.43-57, 2008.
DOI : 10.1007/978-3-540-88737-9_5
URL : https://hal.archives-ouvertes.fr/inria-00267808

A. Zimmermann and J. Euzenat, Three Semantics for Distributed Systems and Their Relations with Alignment Composition, Proc. of ISWC-06, pp.16-29, 2006.
DOI : 10.1007/11926078_2
URL : https://hal.archives-ouvertes.fr/hal-00825950