Skip to Main content Skip to Navigation
Theses

Querying existential rule knowledge bases : decidability and complexity

Abstract : In this thesis we investigate the issue of querying knowledge bases composed of data and general background knowledge, called an ontology. Ontological knowledge can be represented under different formalisms and we consider here a fragment of first-order logic called existential rules (also known as tuple-generating dependencies and Datalog+/-).The fundamental entailment problem at the core of this thesis asks if a conjunctive query is entailed by an existential rule knowledge base. General existential rules are highly expressive, however at the cost of undecidability. Various restrictions on sets of rules have been proposed to regain the decidability of the entailment problem.Our specific contribution is two-fold. First, we propose a new tool that allows to unify and extend most of the known existential rule classes that rely on acyclicity conditions to tame infinite forward chaining, without increasing the complexity of the acyclicity recognition. Second, we study the compatibility of known decidable rule classes with a frequently required modeling construct, namely transitivity of binary relations. We help clarifying the picture of negative and positive results on this question, and provide a technique to safely combine transitivity with one of the simplest, yet useful, decidable rule classes, namely linear rules.
Document type :
Theses
Complete list of metadatas

Cited literature [68 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01807962
Contributor : Abes Star :  Contact
Submitted on : Tuesday, June 5, 2018 - 1:13:08 PM
Last modification on : Tuesday, September 8, 2020 - 5:13:11 AM
Long-term archiving on: : Thursday, September 6, 2018 - 3:02:58 PM

File

2016_ROCHER_archivage.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01807962, version 1

Collections

Citation

Swan Rocher. Querying existential rule knowledge bases : decidability and complexity. Artificial Intelligence [cs.AI]. Université Montpellier, 2016. English. ⟨NNT : 2016MONTT291⟩. ⟨tel-01807962⟩

Share

Metrics

Record views

154

Files downloads

66