Extending acyclicity notions for existential rules

zbMATH Open1366.68299arXiv1407.6885MaRDI QIDQ5282952FDOQ5282952

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

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

Mathematics Subject Classification ID

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

Cited In (9)

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