Difference between revisions of "Mapping"
From Ontohub
(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...") |
(No difference)
|
Revision as of 21:19, 10 February 2014
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.
