Formal Methods for Managing and Processing Ontology Alignments - Marcin Pietranik (Taylor and Francis, 2024)