1. Atencia, M., Borgida, A., Euzenat, J., Ghidini, C., Serafini, L.: A formal semantics for weighted ontology mappings. Tech. Rep. 81401, Fondazione Bruno Kessler - IRST (2012)
2. Lecture Notes in Computer Science;J. Bao,2009
3. Lecture Notes in Computer Science;A. Borgida,2003
4. Calvanese, D.: Unrestricted and finite model reasoning in class-based representation formalisms. Number viii-96-2 of collana delle tesi del dottorato di ricerca in informatica, Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza” (1996)
5. Euzenat, J., Shvaiko, P.: Ontology matching. Springer (2007)