Search Results for author: Swan Rocher

Found 4 papers, 0 papers with code

Combining Existential Rules and Transitivity: Next Steps

no code implementations28 Apr 2015 Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher

In this paper, we address the issue of whether transitivity can be safely combined with decidable classes of existential rules.

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

no code implementations25 Jul 2014 Jean-Francois Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher

Existential rules have been proposed for representing ontological knowledge, specifically in the context of Ontology-Based Query Answering.

Negation

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

no code implementations5 May 2014 Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher

Existential rules have been proposed for representing ontological knowledge, specifically in the context of Ontology- Based Data Access.

Negation

Cannot find the paper you are looking for? You can Submit a new open access paper.