Reasoning with Link Keys

par Khadija Jradeh

Projet de thèse en Informatique

Sous la direction de Manuel Atencia arcas.

Thèses en préparation à Grenoble Alpes , dans le cadre de École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) , en partenariat avec Laboratoire d'Informatique de Grenoble (laboratoire) depuis le 21-11-2018 .


  • Résumé

    The purpose of the semantic web is to take advantage of formalised knowledge at the scale of the worldwide web. This has led to the release of a vast quantity of data, continuously growing, expressed in semantic web formalisms (RDF) generally called linked data. Part of the added value of linked data lies in the links identifying the same entity in different datasets as it allows for making inferences across datasets. They may identify, for example, the same books and articles in different bibliographical data sources. So finding the manifestation of the same entity across several datasets is a crucial task of linked data. One way of identifying entities is to use link keys, which generalise keys in relational databases to the case of two different RDF datasets. An example of a link key is: {<auteur, creator>, <titre, title>} linkkey <Livre, Book> stating that whenever an instance of the class Livre has the same values for properties auteur and titre as an instance of class Book has for properties creator and title, then they denote the same entity. Link keys can be used for data interlinking — they specify the properties and classes to compare for discovering links — but, interestingly, they can also be treated as logical axioms and can thus be combined with other kinds of knowledge, like ontologies, to support logical reasoning. Reasoning with link keys may be helpful to deduce further links, either directly or indirectly by deducing new link keys to use for interlinking. The goal of this PhD is to study reasoning procedures for link keys. Two main directions are expected to be followed. First, and in line with the works on reasoning with ontologies written in OWL, mainly based on tableau methods for description logics (DLs), the selected candidate will extend these methods for reasoning with link keys. Then, the student will study our previous work on rule-based methods for data interlinking and adapt them to be able to reason with different kinds of link keys. The optimal joint use of these two approaches for data interlinking will be the ultimate objective of the PhD. The proposed methods will be implemented to come up with computationally efficient link key reasoners.

  • Titre traduit

    Reasoning with Link Keys


  • Résumé

    The purpose of the semantic web is to take advantage of formalised knowledge at the scale of the worldwide web. This has led to the release of a vast quantity of data, continuously growing, expressed in semantic web formalisms (RDF) generally called linked data. Part of the added value of linked data lies in the links identifying the same entity in different datasets as it allows for making inferences across datasets. They may identify, for example, the same books and articles in different bibliographical data sources. So finding the manifestation of the same entity across several datasets is a crucial task of linked data. One way of identifying entities is to use link keys, which generalise keys in relational databases to the case of two different RDF datasets. An example of a link key is: {<auteur, creator>, <titre, title>} linkkey <Livre, Book> stating that whenever an instance of the class Livre has the same values for properties auteur and titre as an instance of class Book has for properties creator and title, then they denote the same entity. Link keys can be used for data interlinking — they specify the properties and classes to compare for discovering links — but, interestingly, they can also be treated as logical axioms and can thus be combined with other kinds of knowledge, like ontologies, to support logical reasoning. Reasoning with link keys may be helpful to deduce further links, either directly or indirectly by deducing new link keys to use for interlinking. The goal of this PhD is to study reasoning procedures for link keys. Two main directions are expected to be followed. First, and in line with the works on reasoning with ontologies written in OWL, mainly based on tableau methods for description logics (DLs), the selected candidate will extend these methods for reasoning with link keys. Then, the student will study our previous work on rule-based methods for data interlinking and adapt them to be able to reason with different kinds of link keys. The optimal joint use of these two approaches for data interlinking will be the ultimate objective of the PhD. The proposed methods will be implemented to come up with computationally efficient link key reasoners.