Tableau extensions for reasoning with link keys

Maroua Gmati 1 Manuel Atencia 1 Jérôme Euzenat 1
1 EXMO - Computer mediated exchange of structured knowledge
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Link keys allow for generating links across data sets expressed in different ontologies. But they can also be thought of as axioms in a description logic. As such, they can contribute to infer ABox axioms, such as links, or terminological axioms and other link keys. Yet, no reasoning support exists for link keys. Here we extend the tableau method designed for ALC to take link keys into account. We show how this extension enables combining link keys with terminological reasoning with and without ABox and TBox and generate non trivial link keys.
Type de document :
Communication dans un congrès
11th ISWC workshop on ontology matching (OM), Oct 2016, Kobe, Japan. No commercial editor., Proc. 11th ISWC workshop on ontology matching (OM), pp.37-48, 2016
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01421834
Contributeur : Jérôme Euzenat <>
Soumis le : vendredi 23 décembre 2016 - 00:38:14
Dernière modification le : mercredi 11 avril 2018 - 01:55:58
Document(s) archivé(s) le : mardi 21 mars 2017 - 10:32:47

Fichier

om2016_Tpaper4.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01421834, version 1

Collections

Citation

Maroua Gmati, Manuel Atencia, Jérôme Euzenat. Tableau extensions for reasoning with link keys. 11th ISWC workshop on ontology matching (OM), Oct 2016, Kobe, Japan. No commercial editor., Proc. 11th ISWC workshop on ontology matching (OM), pp.37-48, 2016. 〈hal-01421834〉

Partager

Métriques

Consultations de la notice

360

Téléchargements de fichiers

72