Team EXMO

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts
Other Grants and Activities
Dissemination
Bibliography

Section: Scientific Foundations

Ontology alignments

When different representations are used, it is necessary to identify their correspondences. This task is called ontology matching and its result is an alignment. It can be described as follows: given two ontologies, each describing a set of discrete entities (which can be classes, properties, rules, predicates, etc.), find the relationships, e.g., equivalence or subsumption, if any, that hold between these entities.

An alignment between two ontologies o and Im2 $o^\#8242 $ is a set of correspondences Im3 ${\#9001 e,e^\#8242 ,r,n\#9002 }$ in which

Given the semantics of the two ontologies provided by their consequence relation, we define an interpretation of the two ontologies as a triple made of an interpretation for each ontology and an equalising function ($ \gamma$ ) which maps the domain of each of the models to a common domain on which the relations are interpreted. Such a triple Im5 ${\#9001 m,m^\#8242 ,\#947 \#9002 }$ is a model of the aligned ontologies o and Im6 $o^\#8242 $ if and only if, for each correspondence Im7 ${\#9001 e,e^\#8242 ,r\#9002 }$ of the alignment A , m$ \models$o , Im8 ${m^\#8242 \#8871 o^\#8242 }$ and Im9 ${{\#9001 \#947 (m(e)),\#947 (}m^\#8242 {(}e^\#8242 {))\#9002 \#8712 ~}r^\#947 }$ .

This definition is extended to an ontology network which is a set of ontologies and associated alignments. A model of such an ontology network is a tuple of local models and an equalising function such that each alignment is valid for the models and the equalising function involved in the tuple. In such a system, alignments play the role of model filters which will select the local models which are compatible with all alignments.

So, given an ontology network, it is possible to interpret it. However, given a set of ontologies, it is necessary to find the alignments between them and the semantics does not tell which ones they are. Ontology matching aims at finding these alignments. A variety of methods is used for this task. They perform pair-wise comparisons of entities from each of the ontologies and select the most similar pairs. Most matching algorithms provide correspondences between named entities, more rarely between compound terms. The relationships are generally equivalence between these entities. Some systems are able to provide subsumption relations as well as other relations in the support language (like incompatibility or instanciation). Confidence measures are usually given a value between 0 and 1 and are used for expressing preferences between two correspondences.


previous
next

Logo Inria