Recent Advances in Datalog$$^\pm $$

DOI10.1007/978-3-319-21768-0_8zbMath1358.68054OpenAlexW2166101842WikidataQ59259462 ScholiaQ59259462MaRDI QIDQ2970309

Andreas Pieris, Michael Morak, Georg Gottlob

Publication date: 30 March 2017

Published in: Reasoning Web. Web Logic Rules (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-21768-0_8

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)

Uses Software

• Potassco
• Datalog

Cites Work

• Towards more expressive ontology languages: the query answering problem
• Data complexity of query answering in description logics
• On rules with existential variables: walking the decidability line
• Inclusion dependencies and their interaction with functional dependencies
• Modal languages and bounded fragments of predicate logic
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• Concrete Results on Abstract Rules
• Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
• On the Complexity of Ontological Reasoning under Disjunctive Existential Rules
• Towards Efficient Reasoning Under Guarded-Based Disjunctive Existential Rules
• FDNC
• Alternation
• Datalog and Its Extensions for Semantic Web Databases
• Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues
• On the Restraining Power of Guards
• Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity
• Querying the Guarded Fragment
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item