activity
20132026
most citedComplexity of Universality and Related Problems for Partially Ordered NFAs

25 citations · 47 across the 12 of their papers we have counts for

collaborators
Showing cs.AIShow all

5 papers · 1 filter

cs.AI2026

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…

cs.AI2022

Normalisations of Existential Rules: Not so Innocuous!

David Carral, Lucas Larroque, Marie-Laure Mugnier +1

Existential rules are an expressive knowledge representation language mainly developed to query data. In the literature, they are often supposed to be in some normal form that simp…

cs.AI2021

Parallelisable Existential Rules: a Story of Pieces

Maxime Buron, Marie-Laure Mugnier, Michaël Thomazo

In this paper, we consider existential rules, an expressive formalism well suited to the representation of ontological knowledge and data-to-ontology mappings in the context of ont…

cs.AI2014★ 2 cited

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…

cs.AI2013

Sound, Complete and Minimal UCQ-Rewriting for Existential Rules

Mélanie König, Michel Leclère, Marie-Laure Mugnier +1

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 rewr…