Foundations of Rule-Based Query Answering

DOI10.1007/978-3-540-74615-7_1zbMath1170.68646OpenAlexW2137517768MaRDI QIDQ3603501

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

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

Related Items

Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies, A first polynomial non-clausal class in many-valued logic, The possibilistic Horn non-clausal knowledge bases

Uses Software

• SPARQL