Decentralized Reasoning on a Network of Aligned Ontologies with Link Keys Link keys are recently introduced to formalize data interlinking between data sources. They are considered as a new kind of correspondences included in ontology alignments. We propose a procedure for reasoning in a decentralized manner on a network of ontologies with alignments containing link keys. In this paper, the ontologies involved in such a network are expressed in the logic (mathcal ALC) while the alignments can contain concept, individual and link key correspondences equipped with a loose semantics. The decentralized aspect of our procedure is based on a process of knowledge propagation through the network via correspondences. This process allows to reduce polynomially global reasoning to local reasoning.

Alignement interactif dontologies avec ServOMap RESUME. La construction du0027ontologies ne repose pas sur une technique universelle puisquu0027il existe une certaine du0027heterogeneite liee a la syntaxe, a la terminologie utilisee et a la conception. Pour des besoins du0027integration et du0027interoperabilite entre les systemes manipulant ces ontologies, des algorithmes du0027identification de correspondances appelees alignement se sont averes necessaires. Ces algorithmes pour la plus part ne prennent pas en compte lu0027intervention du0027un utilisateur expert du domaine dans leur processus. Nous presentons dans cet article une approche qui fait intervenir lu0027interaction avec lu0027utilisateur afin de produire un alignement aussi precis que possible et de tres bonne qualite. Cette approche a ete implementee dans ServOMap, systeme du0027alignement qui permet de traiter de larges ontologies.