Mapping

A mapping relates two ontologies: a source and a target ontology. It consists of a set of correspondences, where each correspondence relates a symbol of the source ontology with a symbol of the target ontology. There are various different types of mapping, which all can be written down in DOL:

• Imports: If an ontology imports another one, the inclusion is automatically a mapping.
• Views, or interpretations: one ontology is mapped into another one, such that axioms of the source ontology are translated into theorems of the target ontology.
• Alignments: two ontologies are related (in contrast to the other kinds of mappings, this need not be functional). The DOL notation for alignments follows the Alignment API.

Ontohub pages for mappings

• http://ontohub.org/links lists all existing mappings among all ontologies.
• Ontology-specific pages list only the mappings belonging to one particular ontology.