Otto von Guericke Universität Magdeburg
Monday 25th April 2016, 10h
Amphithéatre F107, Inria Grenoble Rhône-Alpes, Montbonnot
Ontology matching and alignment is a key mechanism for linking the diverse datasets and ontologies arising in the Semantic Web. We show that category theory provides the powerful abstractions needed for a uniform treatment at various levels: semantics, language design, reasoning and tools. This has lead to a contribution to the Distributed Ontology, Modeling and Specification Language DOL, namely constructs for networks of aligned ontologies endowed with formal semantics. We show in particular how the three semantics of Zimmermann and Euzenat can be uniformly and faithfully represented using these DOL language constructs. Finally, we summarise how the DOL alignment features are currently being implemented in the Ontohub/Hets tool-ecosystem, including support for the OWL and Alignment APIs.
Till Mossakowski got his PhD from Bremen University. In 2005, he has received his habilitation degree for a thesis about heterogeneous specifications. Since October 2013, he is professor for theoretical computer science in Magdeburg. He also is head of the Institute for Intelligent Cooperating Systems. His research areas include: