Skip to Main content Skip to Navigation
Theses

Interrogation de grandes bases de connaissances : algorithmes de réécriture de requêtes conjonctives en présence de règles existentielles

Abstract : The issue of querying a knowledge base, also called Ontology-based Query Answering (OBQA), consists of taking into account general knowledge, typically a domain ontology, when evaluating queries. In this thesis, ontological knowledge is represented by first-order logical formulas, called existential rules. Existential rules are also known as Datalog+/- and tuple-generating dependencies. We adopt a well-known approach, which consists of rewriting the query with the rules to reduce the problem to a classical database query answering problem. We define a theoretical framework to study algorithms that rewrite a conjunctive query into a union of conjunctive queries, as well as a generic rewriting algorithm that takes into account a rewriting operator. Then, we propose several rewriting operators and develop several optimisations, which we evaluate on benchmarks of the domain.
Document type :
Theses
Complete list of metadatas

Cited literature [40 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01714586
Contributor : Abes Star :  Contact
Submitted on : Wednesday, February 21, 2018 - 4:32:05 PM
Last modification on : Thursday, June 13, 2019 - 1:30:01 AM
Long-term archiving on: : Tuesday, May 22, 2018 - 2:26:39 PM

File

41722_KONIG_2014_archivage_cor...
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01714586, version 1

Collections

Citation

Mélanie König. Interrogation de grandes bases de connaissances : algorithmes de réécriture de requêtes conjonctives en présence de règles existentielles. Intelligence artificielle [cs.AI]. Université Montpellier II - Sciences et Techniques du Languedoc, 2014. Français. ⟨NNT : 2014MON20148⟩. ⟨tel-01714586⟩

Share

Metrics

Record views

401

Files downloads

470