Applying Formal Methods in Ontology Reconciliation Techniques Design. - Patrício de Alencar Silva; Ulrich Schiel; Cláudia Maria Fernandes; Araújo Ribeiro; Rute Cardoso Drebes (iiWAS, 2007)