Conjunctive Queries for Logic-Based Information Extraction
Logic in Computer Science
2022-08-03 v1 Databases
Formal Languages and Automata Theory
Abstract
This thesis offers two logic-based approaches to conjunctive queries in the context of information extraction. The first and main approach is the introduction of conjunctive query fragments of the logics FC and FC[REG], denoted as FC-CQ and FC[REG]-CQ respectively. FC is a first-order logic based on word equations, where the semantics are defined by limiting the universe to the factors of some finite input word. FC[REG] is FC extended with regular constraints. The second approach is to consider the dynamic complexity of FC.
Cite
@article{arxiv.2208.01298,
title = {Conjunctive Queries for Logic-Based Information Extraction},
author = {Sam M. Thompson},
journal= {arXiv preprint arXiv:2208.01298},
year = {2022}
}
Comments
Based on the author's PhD thesis and contains work from two conference publications (arXiv:2104.04758, arXiv:1909.10869) which are joint work with Dominik D. Freydenberger