Extending acyclicity notions for existential rules

MaRDI QIDQ5282952zbMATHFDO

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

Publication date 18 July 2017

Full work available at URL https://arxiv.org/abs/1407.6885

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Acyclicity notions for existential rules and their application to query answering in ontologies
• Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin
• Characterizing boundedness in chase variants
• Restricted chase termination for existential rules: a hierarchical approach and experimentation
• Restricted Chase Termination: A Hierarchical Approach and Experimentation

Cited in

(9)

• Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin
• Combining decidability paradigms for existential rules
• A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling
• Restricted chase termination for existential rules: a hierarchical approach and experimentation
• Characterizing boundedness in chase variants
• \(\exists \)-ASP for computing repairs with existential ontologies
• Acyclicity notions for existential rules and their application to query answering in ontologies
• Recent advances in Datalog\(^\pm \)
• Finite model reasoning over existential rules

This page was built for publication: Extending acyclicity notions for existential rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5282952)