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 metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/hal-01421834
Contributor : Jérôme Euzenat <>
Submitted on : Friday, December 23, 2016 - 12:38:14 AM
Last modification on : Thursday, October 11, 2018 - 8:48:03 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

496

Files downloads

162