Foundations of Rule-Based Query Answering

DOI10.1007/978-3-540-74615-7_1MaRDI QIDQ3603501zbMATH OpenOpenAlexFDO

Authors François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei

Publication date 17 February 2009

Published in Reasoning Web (Search for Journal in Brave)

Full work available at URL https://epub.ub.uni-muenchen.de/17306/1/Bry_17306.pdf

Mathematics Subject Classification ID

Logic in computer science (03B70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Information storage and retrieval of data (68P20) Semantics in the theory of computing (68Q55) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• Rule-based languages
• Intelligent query answering in rule based systems
• Foundations of semantic web databases
• Negation in rule-based database languages: A survey
• Foundations of RDF Databases

Cited in

(7)

• Rule-based languages
• The possibilistic Horn non-clausal knowledge bases
• Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies
• Intelligent query answering in rule based systems
• Introduction to the special issue on the international web rule symposia 2012--2014
• A first polynomial non-clausal class in many-valued logic
• Reasoning about time in DatalogMTL: course notes (invited paper)

Describes a project that uses

Uses Software

• SPARQL

This page was built for publication: Foundations of Rule-Based Query Answering

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