Formal Methods for Managing and Processing Ontology Alignments

Ontologies are formal knowledge representation methods that can provide means for a shared understanding of a given domain. To enable meaningful communication and interoperability between two or more information systems that utilize independently created ontologies, a bridge between them is necessary, often referred to as an ontology alignment. Formal Methods for Managing and Processing Ontology Alignments provides complete ontology alignment lifecycle, including modelling, methods, and maintena