113 citations · 157 across the 7 of their papers we have counts for
7 papers · 1 filter
Answering Path Queries under Linear and Guarded Existential Rules
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier +1
Ontology-mediated query answering is concerned with the problem of answering queries over knowledge bases consisting of a database instance and an ontology. While most work in the…
A General Modifier-based Framework for Inconsistency-Tolerant Query Answering
Jean Francois Baget, Salem Benferhat, Zied Bouraoui +5
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 an…
Combining Existential Rules and Transitivity: Next Steps
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier +1
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…
Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses
Sebastian Rudolph, Michaël Thomazo, Jean-François Baget +1
The need for an ontological layer on top of data, associated with advanced reasoning mechanisms able to exploit the semantics encoded in ontologies, has been acknowledged both in t…
Extending Acyclicity Notions for Existential Rules (\emph{long version})
Jean-Francois Baget, Fabien Garreau, Marie-Laure Mugnier +1
Existential rules have been proposed for representing ontological knowledge, specifically in the context of Ontology-Based Query Answering. Entailment with existential rules is und…
Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation
Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier +1
Existential rules have been proposed for representing ontological knowledge, specifically in the context of Ontology- Based Data Access. Entailment with existential rules is undeci…
Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints
J. F. Baget, M. L. Mugnier
Simple conceptual graphs are considered as the kernel of most knowledge representation formalisms built upon Sowa's model. Reasoning in this model can be expressed by a graph homom…