Formal Methods for Managing and Processing Ontology Alignments | 9781032571201 | Memmo