Logic, languages, and rules for web data extraction and reasoning over data

DOI10.1007/978-3-319-53733-7_2MaRDI QIDQ5738985zbMATH OpenOpenAlexWikidataFDO

Authors Georg Gottlob, Christoph Koch, Andreas Pieris

Publication date 1 June 2017

Published in Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL https://www.pure.ed.ac.uk/ws/files/31832801/LATA_17.pdf

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Internet topics (68M11)

Recommendations

• Monadic Datalog and the expressive power of languages for web information extraction
• Datalog and Its Extensions for Semantic Web Databases
• Disjunctive Datalog with existential quantifiers: semantics, decidability, and complexity issues
• Mining the Semantic Web: A Logic-Based Methodology
• scientific article; zbMATH DE number 1696696

Cites work

• scientific article; zbMATH DE number 3723857 (Why is no real title available?)
• scientific article; zbMATH DE number 1142315 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1953134 (Why is no real title available?)
• scientific article; zbMATH DE number 2080462 (Why is no real title available?)
• scientific article; zbMATH DE number 2080482 (Why is no real title available?)
• scientific article; zbMATH DE number 1884381 (Why is no real title available?)
• scientific article; zbMATH DE number 784042 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• Acyclicity notions for existential rules and their application to query answering in ontologies
• Building intelligent Web applications using lightweight wrappers
• DEByE -- Data Extraction By Example
• Data exchange: semantics and query answering
• Expressiveness of structured document query languages based on attribute grammars
• Generalized finite automata theory with an application to a decision problem of second-order logic
• LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation
• Logical foundations of object-oriented and frame-based languages
• Monadic Datalog and the expressive power of languages for web information extraction
• Query automata over finite trees
• SOFSEM 2006: Theory and Practice of Computer Science
• Taming the infinite chase: query answering under expressive relational constraints
• Testing containment of conjunctive queries under functional and inclusion dependencies
• The price of query rewriting in ontology-based data access
• Towards more expressive ontology languages: the query answering problem
• Tree acceptors and some of their applications

Cited in

(2)

• Datalog revisited for reasoning in linked data
• Monadic Datalog and the expressive power of languages for web information extraction

Describes a project that uses

Uses Software

• DIADEM
• Lixto
• Datalog
• XPath
• Ltur

This page was built for publication: Logic, languages, and rules for web data extraction and reasoning over data

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