Datalog and Its Extensions for Semantic Web Databases

DOI10.1007/978-3-642-33158-9_2zbMath1251.68088OpenAlexW76681530WikidataQ59259488 ScholiaQ59259488MaRDI QIDQ4647813

Georg Gottlob, Andreas Pieris, Mantas Šimkus, Giorgio Orsi

Publication date: 8 November 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33158-9_2

Mathematics Subject Classification ID

Database theory (68P15) Knowledge representation (68T30) Logic programming (68N17) Internet topics (68M11)

Related Items

Querying the Unary Negation Fragment with Regular Path Expressions. ⋮ On the k-Boundedness for Existential Rules ⋮ Recent Advances in Datalog$$^\pm $$ ⋮ Ontology-Mediated Query Answering with Data-Tractable Description Logics ⋮ Reasoning and Query Answering in Description Logics ⋮ Characterizing Boundedness in Chase Variants

Uses Software

• Potassco
• Datalog

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Data exchange: semantics and query answering
• On rules with existential variables: walking the decidability line
• Testing containment of conjunctive queries under functional and inclusion dependencies
• Modal languages and bounded fragments of predicate logic
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
• FDNC
• Undecidable optimization problems for database logic programs
• The Implication Problem for Functional and Inclusion Dependencies is Undecidable
• On the Restraining Power of Guards
• Linking Data to Ontologies