Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data

Georg Gottlob; Christoph Koch; Andreas Pieris

doi:10.1007/978-3-319-53733-7_2

Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data

Georg Gottlob, Christoph Koch, Andreas Pieris

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

This paper gives a short overview of specific logical approaches to data extraction, data management, and reasoning about data. In particular, we survey theoretical results and formalisms that have been obtained and used in the context of the Lixto Project at TU Wien, the DIADEM project at the University of Oxford, and the VADA project, which is currently being carried out jointly by the universities of Edinburgh, Manchester, and Oxford. We start with a formal approach to web data extraction rooted in monadic second order logic and monadic Datalog, which gave rise to the Lixto data extraction system. We then present some complexity results for monadic Datalog over trees and for XPath query evaluation. We further argue that for value creation and for ontological reasoning over data, we need existential quantifiers (or Skolem terms) in rule heads, and introduce the Datalog±± family. We give an overview of important members of this family and discuss related complexity issues.

Original language	English
Title of host publication	Language and Automata Theory and Applications
Subtitle of host publication	International Conference on Language and Automata Theory and Applications (LATA 2017)
Publisher	Springer
Pages	27-47
Number of pages	21
ISBN (Electronic)	978-3-319-53733-7
ISBN (Print)	978-3-319-53732-0
DOIs	https://doi.org/10.1007/978-3-319-53733-7_2
Publication status	Published - 16 Feb 2017
Event	11th International Conference on Language and Automata Theory and Applications - Umea, Sweden Duration: 6 Mar 2017 → 9 Mar 2017 http://grammars.grlmc.com/LATA2017/

Publication series

Name	Lecture Notes in Computer Science (LNCS)
Publisher	Springer International Publishing
Volume	10168
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	11th International Conference on Language and Automata Theory and Applications
Abbreviated title	LATA 2017
Country/Territory	Sweden
City	Umea
Period	6/03/17 → 9/03/17
Internet address	http://grammars.grlmc.com/LATA2017/

Access to Document

10.1007/978-3-319-53733-7_2

LATA-17Accepted author manuscript, 193 KB

https://link.springer.com/chapter/10.1007/978-3-319-53733-7_2

VADA: Value Added Data Systems: Principles and Architecture
Libkin, L., Buneman, P., Fan, W. & Pieris, A.
EPSRC
1/04/15 → 30/09/20
Project: Research

Cite this

Gottlob, G., Koch, C., & Pieris, A. (2017). Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data. In Language and Automata Theory and Applications: International Conference on Language and Automata Theory and Applications (LATA 2017) (pp. 27-47). (Lecture Notes in Computer Science (LNCS); Vol. 10168). Springer. https://doi.org/10.1007/978-3-319-53733-7_2

@inproceedings{e4d90f7cc4c3450d9ed3f5b227f636e1,

title = "Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data",

abstract = "This paper gives a short overview of specific logical approaches to data extraction, data management, and reasoning about data. In particular, we survey theoretical results and formalisms that have been obtained and used in the context of the Lixto Project at TU Wien, the DIADEM project at the University of Oxford, and the VADA project, which is currently being carried out jointly by the universities of Edinburgh, Manchester, and Oxford. We start with a formal approach to web data extraction rooted in monadic second order logic and monadic Datalog, which gave rise to the Lixto data extraction system. We then present some complexity results for monadic Datalog over trees and for XPath query evaluation. We further argue that for value creation and for ontological reasoning over data, we need existential quantifiers (or Skolem terms) in rule heads, and introduce the Datalog±± family. We give an overview of important members of this family and discuss related complexity issues.",

author = "Georg Gottlob and Christoph Koch and Andreas Pieris",

year = "2017",

month = feb,

day = "16",

doi = "10.1007/978-3-319-53733-7_2",

language = "English",

isbn = "978-3-319-53732-0",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

pages = "27--47",

booktitle = "Language and Automata Theory and Applications",

address = "United Kingdom",

note = "11th International Conference on Language and Automata Theory and Applications<br/>, LATA 2017 ; Conference date: 06-03-2017 Through 09-03-2017",

url = "http://grammars.grlmc.com/LATA2017/",

}

Gottlob, G, Koch, C & Pieris, A 2017, Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data. in Language and Automata Theory and Applications: International Conference on Language and Automata Theory and Applications (LATA 2017). Lecture Notes in Computer Science (LNCS), vol. 10168, Springer, pp. 27-47, 11th International Conference on Language and Automata Theory and Applications
, Umea, Sweden, 6/03/17. https://doi.org/10.1007/978-3-319-53733-7_2

Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data. / Gottlob, Georg; Koch, Christoph; Pieris, Andreas.
Language and Automata Theory and Applications: International Conference on Language and Automata Theory and Applications (LATA 2017). Springer, 2017. p. 27-47 (Lecture Notes in Computer Science (LNCS); Vol. 10168).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data

AU - Gottlob, Georg

AU - Koch, Christoph

AU - Pieris, Andreas

PY - 2017/2/16

Y1 - 2017/2/16

N2 - This paper gives a short overview of specific logical approaches to data extraction, data management, and reasoning about data. In particular, we survey theoretical results and formalisms that have been obtained and used in the context of the Lixto Project at TU Wien, the DIADEM project at the University of Oxford, and the VADA project, which is currently being carried out jointly by the universities of Edinburgh, Manchester, and Oxford. We start with a formal approach to web data extraction rooted in monadic second order logic and monadic Datalog, which gave rise to the Lixto data extraction system. We then present some complexity results for monadic Datalog over trees and for XPath query evaluation. We further argue that for value creation and for ontological reasoning over data, we need existential quantifiers (or Skolem terms) in rule heads, and introduce the Datalog±± family. We give an overview of important members of this family and discuss related complexity issues.

AB - This paper gives a short overview of specific logical approaches to data extraction, data management, and reasoning about data. In particular, we survey theoretical results and formalisms that have been obtained and used in the context of the Lixto Project at TU Wien, the DIADEM project at the University of Oxford, and the VADA project, which is currently being carried out jointly by the universities of Edinburgh, Manchester, and Oxford. We start with a formal approach to web data extraction rooted in monadic second order logic and monadic Datalog, which gave rise to the Lixto data extraction system. We then present some complexity results for monadic Datalog over trees and for XPath query evaluation. We further argue that for value creation and for ontological reasoning over data, we need existential quantifiers (or Skolem terms) in rule heads, and introduce the Datalog±± family. We give an overview of important members of this family and discuss related complexity issues.

U2 - 10.1007/978-3-319-53733-7_2

DO - 10.1007/978-3-319-53733-7_2

M3 - Conference contribution

SN - 978-3-319-53732-0

T3 - Lecture Notes in Computer Science (LNCS)

SP - 27

EP - 47

BT - Language and Automata Theory and Applications

PB - Springer

T2 - 11th International Conference on Language and Automata Theory and Applications<br/>

Y2 - 6 March 2017 through 9 March 2017

ER -

Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data

Abstract

Publication series

Conference

Access to Document

Fingerprint

Projects

VADA: Value Added Data Systems: Principles and Architecture

Cite this