Abstract

The framework of document spanners abstracts the task of information extraction from text as a function that maps every document (a string) into a relation over the document's spans (intervals identified by their start and end indices). For instance, the regular spanners are the closure under the Relational Algebra (RA) of the regular expressions with capture variables, and the expressive power of the regular spanners is precisely captured by the class of VSet-automata -- a restricted class of transducers that mark the endpoints of selected spans. In this work, we embark on the investigation of document spanners that can annotate extractions with auxiliary information such as confidence, support, and confidentiality measures. To this end, we adopt the abstraction of provenance semirings by Green et al., where tuples of a relation are annotated with the elements of a commutative semiring, and where the annotation propagates through the positive RA operators via the semiring operators. Hence, the proposed spanner extension, referred to as an annotator, maps every string into an annotated relation over the spans. As a specific instantiation, we explore weighted VSet-automata that, similarly to weighted automata and transducers, attach semiring elements to transitions. We investigate key aspects of expressiveness, such as the closure under the positive RA, and key aspects of computational complexity, such as the enumeration of annotated answers and their ranked enumeration in the case of ordered semirings. For a number of these problems, fundamental properties of the underlying semiring, such as positivity, are crucial for establishing tractability.

Highlights

  • A plethora of paradigms have been developed over the past decades towards the challenge of extracting structured information from text — a task generally referred to as Information Extraction (IE)

  • We adopt the abstraction of provenance semirings by Green et al, where tuples of a relation are annotated with the elements of a commutative semiring, and where the annotation propagates through the positive Relational Algebra (RA) operators via the semiring operators

  • Such automata generalize VSet-automata in the same manner as weighted automata and weighted transducers: transitions are weighted by semiring elements, the cost of a run is the product of the weights along the run, and the weight of a tuple is the sum of costs of all the runs that produce the tuple. (Again, there has been recent research that studies the connection between models of artificial neural networks in natural language processing and weighted automata [STS18].)

Read more

Summary

Introduction

A plethora of paradigms have been developed over the past decades towards the challenge of extracting structured information from text — a task generally referred to as Information Extraction (IE). As a specific instantiation of K-annotators, we study the class of K-weighted VSetautomata Such automata generalize VSet-automata in the same manner as weighted automata and weighted transducers (cf., e.g., the Handbook of Weighted Automata [DKV09]): transitions are weighted by semiring elements, the cost of a run is the product of the weights along the run, and the weight (annotation) of a tuple is the sum of costs of all the runs that produce the tuple. (Again, there has been recent research that studies the connection between models of artificial neural networks in natural language processing and weighted automata [STS18].). In addition to the full proofs, we implemented the following changes: (1) We define a more precise cost model (Section 5) and use it throughout the entire article for complexity analysis.

Preliminaries
Algebraic Foundations
Annotated Relations
K-Annotators
Weighted Variable-Set Automata
Connection to Datalog over Annotated Relations
Semiring Encodings
Fundamental Properties
Epsilon Elimination
Closure Under
Beyond Positive Semirings
Evaluation Problems
Answer Testing
Best Weight Evaluation
Enumeration Problems
Concluding Remarks
Add p to Out
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call