Mapping

From Ontohub
Revision as of 21:19, 10 February 2014 by Tillmo (talk | contribs) (Created page with "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 s...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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