Skip to Main content Skip to Navigation
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
LIG - Laboratoire d'Informatique de Grenoble, Inria Grenoble - Rhône-Alpes
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

https://hal.inria.fr/hal-01421834
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 : Thursday, October 21, 2021 - 3:51:27 AM
Long-term archiving on: : Tuesday, March 21, 2017 - 10:32:47 AM

File

om2016_Tpaper4.pdf
Files produced by the author(s)

Identifiers

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

Share

Metrics

Record views

752

Files downloads

219