Magic sets for disjunctive Datalog programs

DOI10.1016/j.artint.2012.04.008zbMath1251.68051arXiv1204.6346OpenAlexW2034521022WikidataQ62041924 ScholiaQ62041924MaRDI QIDQ1761296

Wolfgang Faber, Mario Alviano, Nicola Leone, Gianluigi Greco

Publication date: 15 November 2012

Published in: Artificial Intelligence (Search for Journal in Brave)

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

zbMATH Keywords

data integrationlogic programminganswer set programmingmagic setsstable models

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies, Multi-level Algorithm Selection for ASP, Shared aggregate sets in answer set programming, Cautious reasoning in ASP via minimal models and unsatisfiable cores, Constraint Answer Set Programming without Grounding, Lpopt: a rule optimization tool for answer set programming, Enhancing Magic Sets with an Application to Ontological Reasoning, Incremental Answer Set Programming with Overgrounding, Precomputing Datalog Evaluation Plans in Large-Scale Scenarios, Unnamed Item, Optimizing Answer Set Computation via Heuristic-Based Decomposition

Uses Software

• ASSAT
• Gringo
• OpenRuleBench
• Datalog

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the complexity of regular-grammars with integer attributes
• Bottom-up evaluation and query optimization of well-founded models
• Logical query optimization by proof-tree transformation
• ASSAT: computing answer sets of a logic program by SAT solvers
• Magic Sets and their application to data integration
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
• Extending and implementing the stable model semantics
• What is answer set programming to propositional satisfiability
• Minimal-change integrity maintenance using tuple deletions
• Reasoning in description logics by a reduction to disjunctive datalog
• Team-building with answer set programming in the Gioia-Tauro seaport
• On the power of magic
• Modular stratification and magic sets for Datalog programs with negation
• The pushdown method to optimize chain logic programs
• Answer sets for consistent query answering in inconsistent databases
• Logic Programming
• Hyper tableaux
• Unfolding partiality and disjunctions in stable model semantics
• The DLV system for knowledge representation and reasoning
• Logic Programming
• Database Theory - ICDT 2005
• A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
• Inconsistency Tolerance