论文标题
基于逻辑的信息提取的连词查询
Conjunctive Queries for Logic-Based Information Extraction
论文作者
论文摘要
本文在信息提取的背景下提供了两种基于逻辑的方法来进行连接查询。第一个也是主要的方法是逻辑FC和FC [reg]的连词查询片段，分别表示为FC-CQ和FC [reg] -CQ。 FC是基于单词方程式的一阶逻辑，其中语义是通过将宇宙限制为某些有限输入单词的因素来定义的。 FC [reg]是按常规限制扩展的FC。第二种方法是考虑FC的动态复杂性。
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.
