Paper: Annotating by Proving using SemAnTE

ACL ID E14-2020
Title Annotating by Proving using SemAnTE
Venue Annual Meeting of The European Chapter of The Association of Computational Linguistics
Session Main Conference
Year 2014

We present SemAnTE, a platform for marking and substantiating a semantic an- notation scheme of textual entailment ac- cording to a formal model. The plat- form introduces a novel approach to an- notation by providing annotators immedi- ate feedback whether the data they mark are substantiated: for positive entailment pairs, the system uses the annotations to search for a formal logical proof that val- idates the entailment relation; for negative pairs, the system verifies that a counter- model can be constructed. By integrating a web-based user-interface, a formal lexi- con, a lambda-calculus engine and an off- the-shelf theorem prover, this platform fa- cilitates the creation of annotated corpora of textual entailment. A corpus of several hundred annotated entailments is currently in pre...