Datalog and Its Extensions for Semantic Web Databases

DOI10.1007/978-3-642-33158-9_2MaRDI QIDQ4647813zbMATH OpenOpenAlexDBLPWikidataFDO

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

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

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

Recommendations

• Datalog revisited for reasoning in linked data
• Datalog and logic databases
• scientific article; zbMATH DE number 2090516
• Datalog extensions for database queries and updates

Cites work

• scientific article; zbMATH DE number 5914356 (Why is no real title available?)
• scientific article; zbMATH DE number 410424 (Why is no real title available?)
• scientific article; zbMATH DE number 3723857 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• Data exchange: semantics and query answering
• FDNC: decidable nonmonotonic disjunctive logic programs with function symbols
• Linking Data to Ontologies
• Modal languages and bounded fragments of predicate logic
• On rules with existential variables: walking the decidability line
• On the Restraining Power of Guards
• Taming the infinite chase: query answering under expressive relational constraints
• Testing containment of conjunctive queries under functional and inclusion dependencies
• The Implication Problem for Functional and Inclusion Dependencies is Undecidable
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• Undecidable optimization problems for database logic programs

Cited in

(18)

• Datalog: Bag Semantics via Set Semantics
• Ontology querying: Datalog strikes back
• Modern Datalog Engines
• Datalog revisited for reasoning in linked data
• On the k-Boundedness for Existential Rules
• Recent advances in Datalog\(^\pm \)
• Ontology-Mediated Query Answering with Data-Tractable Description Logics
• Querying the unary negation fragment with regular path expressions
• Reasoning with ontologies
• Integrating Datalog with OWL: Exploring the AL-log Approach
• scientific article; zbMATH DE number 2090516 (Why is no real title available?)
• Characterizing boundedness in chase variants
• Reasoning and query answering in description logics
• Logical Foundations of RDF(S) with Datatypes
• Managing Change in Graph-Structured Data Using Description Logics
• Reasoning About ORA-SS Data Models Using the Semantic Web
• Explanation-friendly query answering under uncertainty
• Logic, languages, and rules for web data extraction and reasoning over data

Describes a project that uses

Uses Software

• Datalog
• Potassco

This page was built for publication: Datalog and Its Extensions for Semantic Web Databases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4647813)