M. Atencia, A. Borgida, J. Euzenat, C. Ghidini, and L. Serafini, A Formal Semantics for Weighted Ontology Mappings, Proc. of ISWC-12
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. , The description logic handbook: theory, implementation, and applications, 2003.
DOI : 10.1017/CBO9780511711787

M. Bodirsky and V. Dalmau, Datalog and Constraint Satisfaction with Infinite Templates, J. Comput. Syst. Sci, vol.791, pp.79-100, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00756928

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

F. Dylla, T. Mossakowski, T. Schneider, and D. 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

J. Euzenat, Algebras of Ontology Alignment Relations, Proc. of ISWC-08, pp.387-402, 2008.
DOI : 10.2307/2268577
URL : https://hal.archives-ouvertes.fr/hal-00793543

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

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

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

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

A. Inants, Qualitative calculi with heterogeneous universes, 2016.
URL : https://hal.archives-ouvertes.fr/tel-01366032

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

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

A. Locoro, J. David, and J. Euzenat, Context-Based Matching: Design of a Flexible Framework and Experiment, Journal on Data Semantics, vol.2, issue.1, pp.25-46, 2014.
DOI : 10.1007/s13740-013-0019-z
URL : https://hal.archives-ouvertes.fr/hal-00975284

T. Lukasiewicz, L. Predoiu, and H. Stuckenschmidt, Tightly integrated probabilistic description logic programs for representing ontology mappings, Annals of Mathematics and Artificial Intelligence, vol.38, issue.3, pp.3-4, 2011.
DOI : 10.1007/s10472-012-9280-3

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

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