Showing 1–4 of 4 results for author: Rocher, S

A General Modifier-based Framework for Inconsistency-Tolerant Query Answering

Authors: Jean Francois Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia

Abstract: We propose a general framework for inconsistency-tolerant query answering within existential rule setting. This framework unifies the main semantics proposed by the state of art and introduces new ones based on cardinality and majority principles. It relies on two key notions: modifiers and inference strategies. An inconsistency-tolerant semantics is seen as a composite modifier plus an inference… ▽ More We propose a general framework for inconsistency-tolerant query answering within existential rule setting. This framework unifies the main semantics proposed by the state of art and introduces new ones based on cardinality and majority principles. It relies on two key notions: modifiers and inference strategies. An inconsistency-tolerant semantics is seen as a composite modifier plus an inference strategy. We compare the obtained semantics from a productivity point of view. △ Less

Submitted 18 February, 2016; originally announced February 2016.

Combining Existential Rules and Transitivity: Next Steps

Authors: Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher

Abstract: We consider existential rules (aka Datalog+) as a formalism for specifying ontologies. In recent years, many classes of existential rules have been exhibited for which conjunctive query (CQ) entailment is decidable. However, most of these classes cannot express transitivity of binary relations, a frequently used modelling construct. In this paper, we address the issue of whether transitivity can b… ▽ More We consider existential rules (aka Datalog+) as a formalism for specifying ontologies. In recent years, many classes of existential rules have been exhibited for which conjunctive query (CQ) entailment is decidable. However, most of these classes cannot express transitivity of binary relations, a frequently used modelling construct. In this paper, we address the issue of whether transitivity can be safely combined with decidable classes of existential rules. First, we prove that transitivity is incompatible with one of the simplest decidable classes, namely aGRD (acyclic graph of rule dependencies), which clarifies the landscape of `finite expansion sets' of rules. Second, we show that transitivity can be safely added to linear rules (a subclass of guarded rules, which generalizes the description logic DL-Lite-R) in the case of atomic CQs, and also for general CQs if we place a minor syntactic restriction on the rule set. This is shown by means of a novel query rewriting algorithm that is specially tailored to handle transitivity rules. Third, for the identified decidable cases, we pinpoint the combined and data complexities of query entailment. △ Less

Submitted 5 January, 2017; v1 submitted 28 April, 2015; originally announced April 2015.

Comments: This is an extended version, completed with full proofs, of an article appearing in IJCAI'15 - revised version (December 2016)

MSC Class: 68T30

Extending Acyclicity Notions for Existential Rules (\emph{long version})

Authors: Jean-Francois Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher

Abstract: Existential rules have been proposed for representing ontological knowledge, specifically in the context of Ontology-Based Query Answering. Entailment with existential rules is undecidable. We focus in this paper on conditions that ensure the termination of a breadth-first forward chaining algorithm known as the chase. First, we propose a new tool that allows to extend existing acyclicity conditio… ▽ More Existential rules have been proposed for representing ontological knowledge, specifically in the context of Ontology-Based Query Answering. Entailment with existential rules is undecidable. We focus in this paper on conditions that ensure the termination of a breadth-first forward chaining algorithm known as the chase. First, we propose a new tool that allows to extend existing acyclicity conditions ensuring chase termination, while keeping good complexity properties. Second, we consider the extension to existential rules with nonmonotonic negation under stable model semantics and further extend acyclicity results obtained in the positive case. △ Less

Submitted 25 July, 2014; originally announced July 2014.

Comments: This report contains a revised version (July 2014) of the paper that will appear in the proceedings of ECAI 2014 and an appendix with proofs that could not be included in the paper for space restriction reasons

Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation

Authors: Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher

Abstract: Existential rules have been proposed for representing ontological knowledge, specifically in the context of Ontology- Based Data Access. Entailment with existential rules is undecidable. We focus in this paper on conditions that ensure the termination of a breadth-first forward chaining algorithm known as the chase. Several variants of the chase have been proposed. In the first part of this paper,… ▽ More Existential rules have been proposed for representing ontological knowledge, specifically in the context of Ontology- Based Data Access. Entailment with existential rules is undecidable. We focus in this paper on conditions that ensure the termination of a breadth-first forward chaining algorithm known as the chase. Several variants of the chase have been proposed. In the first part of this paper, we propose a new tool that allows to extend existing acyclicity conditions ensuring chase termination, while keeping good complexity properties. In the second part, we study the extension to existential rules with nonmonotonic negation under stable model semantics, discuss the relevancy of the chase variants for these rules and further extend acyclicity results obtained in the positive case. △ Less

Submitted 25 July, 2014; v1 submitted 5 May, 2014; originally announced May 2014.

Comments: This paper appears in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)