Skip to Main content Skip to Navigation
New interface
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Jérôme Euzenat Connect in order to contact the contributor
Submitted on : Friday, December 23, 2016 - 12:38:14 AM
Last modification on : Wednesday, July 6, 2022 - 4:18:01 AM
Long-term archiving on: : Tuesday, March 21, 2017 - 10:32:47 AM


Files produced by the author(s)


  • HAL Id : hal-01421834, version 1



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. pp.37-48. ⟨hal-01421834⟩



Record views


Files downloads