L'activité consistant à identifier et spécifier des correspondances sémantiques (p. ex. équivalence, subsomption, mappages de propriétés) entre concepts et relations de deux ontologies ou plus afin que données, requêtes ou inférences puissent être interprétées de manière cohérente entre elles.

Principe

L'alignement produit des mappages explicites qui traduisent ou relient des construits ontologiques ; ces mappages sont nécessaires à l'interprétation, au raisonnement ou à l'échange automatisé inter‑ontologies.

Démonstration

Scénario illustratif → Deux ontologies biomédicales modélisent une crise cardiaque : Ontologie A a la classe MyocardialInfarction et la propriété hasOnset ; Ontologie B a la classe HeartAttack et la propriété onsetTime. Reconnaissance → on déclare Equivalence(MyocardialInfarction, HeartAttack) et PropertyMap(hasOnset, onsetTime). Action → une requête fédérée vers A est traduite vers B en utilisant les mappages. Conséquence → la requête renvoie des résultats cohérents des deux sources et un raisonneur peut déduire l'appartenance commune.

Mauvaise application

Traiter l'alignement comme une simple correspondance d'étiquettes textuelles (égalité de chaînes) sans tenir compte des différences de modélisation (classe vs événement, domaine/portée des propriétés) conduit à des équivalences erronées et à des inférences invalides.

Conséquence

Un alignement correct permet des requêtes intégrées, des statistiques agrégées et un raisonnement inter‑sources ; des alignements manquants ou incorrects produisent des agrégats incohérents, des inférences fallacieuses ou des correspondances manquées.

Inversion

Lorsque les ontologies expriment délibérément des engagements de modélisation incompatibles (par ex. événements modélisés comme classes vs processus réifiés) ou lorsque la traçabilité doit être préservée, un alignement complet peut être inapplicable ou indésirable ; des mappages partiels ou annotés (avec provenance et confiance) sont alors préférables.

Limite

Clairement inclus : déclarer des correspondances de classes et propriétés entre ontologies formelles. Cas limite : associer une classe d'ontologie à un terme de vocabulaire contrôlé aux sémantiques plus faibles. Clairement exclu : rapprochement d'enregistrements au niveau des instances ou simple transformation syntaxique de schéma sans correspondance sémantique.

Tension sémantique

Expressivité vs. tractabilité — les mappages détaillés conservent le sens mais augmentent la complexité et l'ambiguïté ; des équivalences strictes simplifient le traitement mais risquent la perte sémantique.

Synthèse

L'alignement d'ontologies formalise des équivalences destinées à permettre l'interopérabilité machine, mais son efficacité dépend d'hypothèses de modélisation explicites, du niveau de granularité des mappages et de leur provenance documentée.