Extending acyclicity notions for existential rules

MaRDI QIDQ5282952zbMATH OpenFDO

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, http://ebooks.iospress.nl/volumearticle/36913

Mathematics Subject Classification ID

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

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
• Acyclicity notions for existential rules and their application to query answering in ontologies
• Recent advances in Datalog^
• Finite model reasoning over existential rules
• Restricted chase termination for existential rules: a hierarchical approach and experimentation
• Characterizing boundedness in chase variants
• -ASP for computing repairs with existential ontologies
• Combining decidability paradigms for existential rules
• A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling

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)