Published: 2006 Januar
Institution: AIFB, University of Karlsruhe
Bemerkung: KnowledgeWeb Deliverable
We take a general perspective on alignment in order to develop common theoretical foundations for the subject. The deliverable comprises a comparative study of different mapping languages by means of distributed first-order logic, and a study on category-theoretical modelling of alignment and merging by means of pushout-combinations.