Formal Approaches for Ontology Alignment Engineering | lit.salon