Ontology Matching: Terminology
As can be observed from what we have presented so far, in the area of
ontology matching,different authors including ourselves use different
words to refer to similar concepts,and, vice versa, sometimes
different concepts are referred to by the same
is especially confusing since these terms, e.g., mapping, can be
used for describing both an action and its result. We reproduce here
the glossary of terms provided
in our book
(first edition; pp42-43).
is the process of finding
relationships or correspondences between entities of different
is a set of correspondences between two or more (in case of multiple matching) ontologies (by analogy with molecular sequence alignment). The alignment is the output of the matching process.
is the relation holding, or supposed to hold according to a particular matching algorithm or individual, between entities of different ontologies. These entities can be as different as classes, individuals, properties or formulas. Some authors use the term mapping instead, however, it will not be used in this sense in this book.
is the oriented, or directed, version of an alignment: it maps the
entities of one ontology to at most one entity of another
ontology. This complies with the mathematical definition of a mapping
instead of that of a general relation. The mathematical definition
would in principle require that the mapped object is equal to its
image, i.e., that the relation is an equivalence relation. A mapping can be seen as a collection of mapping rules all oriented in the same direction, i.e., from one ontology to the other, and such that the elements of the source ontology appear at most once.
is a correspondence which maps an entity of one ontology into another one from another ontology.
is the creation of
a new ontology from two, possibly overlapping, source
ontologies. The initial ontologies remain unaltered.The merged
ontology is supposed to contain the knowledge of the initial
ontologies, e.g., consequences of each ontology are consequences of
the merge. This concept is closely related to that of schema
integration in databases.
is the inclusion in one ontology of another ontology and assertions expressing the glue between these ontologies, usually as bridge axioms. The integrated ontology is supposed to contain the knowledge of both initial ontologies. Contrary to merging, the first ontology is unaltered while the second one is modified.
or articulation axioms are formulas, in an
ontology language, that express the alignments such that itis
possible to integrate the entities of an ontology within one
another. Bridge axioms are the basis for ontology merging when the
ontologies are expressed in the same language.
is the process of transforming an ontology from one ontology language to another. By extension, it is a program for translating ontologies.
is the process of expressing the entities of an ontology with respect
to the entities of another ontology, i.e., relations between entities
of the first ontology and those of the second one are added to the
first ontology. So the initial consequences of the first ontology are
still consequences of the transformation result. The two initial
ontologies are unaltered and a third ontology, the transformation
result, is created. By extension, it is a program that transforms ontologies.
is the process of transforming data or instances from one ontology into corresponding data or instances expressed in another ontology. By extension, it is a program that translates data.
consists of interfacing two
software components by dynamically altering the information stream
between these. By extension, a mediator is a program performing
mediation.In web service compositiona mediator translates the output of a service in
the input of another one: it thus performs data
translation. In query answering applications it is a dual pair of translations that
transforms the query from one ontology to another and that
translates the answer back.
of an ontology is the ontology resulting from the application of modifications to this ontology.
is a process that harmonises the content of two or more ontologies, typically requiring changes on one of the two sides or even on both sides. In this case, there is no merging of the ontologies but co-evolution. Ontology reconciliation can be performed for the purpose of merging two ontologies or for the purpose of making them independent.
Reproduced from J. Euzenat, P. Shvaiko, Ontology matching,
Copyright © Springer-Verlag, 2007.
Reproduction forbidden without authorisation.
$Id: glossary.html,v 1.5 2013/11/18 16:58:43 euzenat Exp $