@inproceedings{CodescuEtAl14a,
  abstract = {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.
The Distributed Ontology Language DOL is extended in a natural way with
constructs for networks of ontologies. We in particular show 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 ecosystem, including support for the OWL and Alignment APIs.},
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Codescu, Mihai and Mossakowski, Till and Kutz, Oliver},
  biburl = {https://www.bibsonomy.org/bibtex/2e8d6e3bffddb2e5b2a82af84f4113d69/tillmo},
  booktitle = {Proc. of the 9th International Workshop on Ontology Matching (OM-2014), ISWC-2014, Riva del Garda, Trentino, Italy.},
  interhash = {6072f59eb9c69f954974877709bf9ce4},
  intrahash = {e8d6e3bffddb2e5b2a82af84f4113d69},
  keywords = {alignment colimit ontology semantics},
  pdfurl = {http://www.informatik.uni-bremen.de/~okutz/resources/om2014.pdf},
  series = {CEUR-WS online proceedings},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {A Categorical Approach to Ontology Alignment},
  year = 2014
}