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 (7)

• Characterizing Boundedness in Chase Variants
• Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation
• $$\exists $$ -ASP for Computing Repairs with Existential Ontologies
• Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin
• Recent Advances in Datalog$$^\pm $$
• Acyclicity notions for existential rules and their application to query answering in ontologies
• 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)