Reasoning for the description logic ALC with link keys

Manuel Atencia 1 Jérôme Euzenat 1 Chan Le Duc 2 Khadija Jradeh 1, 2
1 MOEX - Evolution de la connaissance
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Data interlinking is a critical task for widening and enhancing linked open data. One way to tackle data interlinking is to use link keys, which generalise keys to the case of two RDF datasets described using different ontologies. Link keys specify pairs of properties to compare for finding same-as links between instances of two classes of two different datasets. Hence, they can be used for finding links. Link keys can also be considered as logical axioms just like keys, ontologies and ontology alignments. We introduce the logic ALC+LK extending the description logic ALC with link keys. It may be used to reason and infer entailed link keys that may be more useful for a particular data interlinking task. We show that link key entailment can be reduced to consistency checking without introducing the negation of link keys. For deciding the consistency of an ALC+LK ontology, we introduce a new tableau-based algorithm. Contrary to the classical ones, the completion rules concerning link keys apply to pairs of individuals not directly related. We show that this algorithm is sound, complete and always terminates.
Complete list of metadatas

Cited literature [30 references]  Display  Hide  Download
Contributor : Chan Le Duc <>
Submitted on : Thursday, April 4, 2019 - 2:23:11 PM
Last modification on : Tuesday, November 19, 2019 - 1:44:16 AM
Long-term archiving on: Friday, July 5, 2019 - 1:51:13 PM


Files produced by the author(s)


  • HAL Id : hal-02090087, version 1


Manuel Atencia, Jérôme Euzenat, Chan Le Duc, Khadija Jradeh. Reasoning for the description logic ALC with link keys. [Research Report] Laboratoire d'Informatique de Grenoble; INRIA Grenoble Rhône-Alpes; Université Paris 8. 2019, pp.1-36. ⟨hal-02090087⟩



Record views


Files downloads