Michel Leclère

A Single Approach to Decide Chase Termination on Linear Existential Rules

2019 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

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