Zobrazeno 1 - 10
of 81
pro vyhledávání: '"Leclère, Michel"'
We consider the issue of answering unions of conjunctive queries (UCQs) with disjunctive existential rules and mappings. While this issue has already been well studied from a chase perspective, query rewriting within UCQs has hardly been addressed ye
Externí odkaz:
http://arxiv.org/abs/2306.05973
Autor:
Bourhis, Pierre, Leclère, Michel, Mugnier, Marie-Laure, Tison, Sophie, Ulliana, Federico, Galois, Lily
We study the notion of boundedness in the context of positive existential rules, that is, whether there exists an upper bound to the depth of the chase procedure, that is independent from the initial instance. By focussing our attention on the oblivi
Externí odkaz:
http://arxiv.org/abs/2006.08467
Publikováno v:
Theory and Practice of Logic Programming 21 (2021) 51-79
Existential rules are a positive fragment of first-order logic that generalizes function-free Horn rules by allowing existentially quantified variables in rule heads. This family of languages has recently attracted significant interest in the context
Externí odkaz:
http://arxiv.org/abs/2004.10030
The chase is a fundamental tool for existential rules. Several chase variants are known, which differ on how they handle redundancies possibly caused by the introduction of nulls. Given a chase variant, the halting problem takes as input a set of exi
Externí odkaz:
http://arxiv.org/abs/1810.09304
Existential rules, long known as tuple-generating dependencies in database theory, have been intensively studied in the last decade as a powerful formalism to represent ontological knowledge in the context of ontology-based query answering. A knowled
Externí odkaz:
http://arxiv.org/abs/1810.02132
We address the issue of Ontology-Based Data Access, with ontologies represented in the framework of existential rules, also known as Datalog+/-. A well-known approach involves rewriting the query using ontological knowledge. We focus here on the basi
Externí odkaz:
http://arxiv.org/abs/1311.3198
Publikováno v:
In Artificial Intelligence 2011 175(9):1620-1654
Autor:
Mugnier, Marie-Laure, Leclère, Michel
Publikováno v:
In Data & Knowledge Engineering 2007 60(3):468-493
Publikováno v:
Theory & Practice of Logic Programming; Jan2021, Vol. 21 Issue 1, p51-79, 29p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.