Overview
What follows is documented in the D4.2 and D4.3 technical annex, and quickly recapped in the WP4 review slides.
The WP4 of the TERENCE project, through D4.2, provides us with two reasoning services of the reasoning module, that act on the stories annotated by the NLP modules of WP3 and enrich them as follows: one service is for checking the consistency of temporal annotations with respect to a formal semantics over real numbers via two mappings, the so-called hard mapping and relaxed mapping; another is in charge of deducing further relations, left out during the annotation process of the WP3 services. For details, see the technical report.
The Enrichment Services
Example input annotated stories, from ``Little Hugh'' book, for the below WP4 service are as follows:
- a story coherent for the hard mapping (download it),
- a story coherent for the relaxed mapping (download it),
- an incoherent story (download it),
Other input stories can be generated starting with any flat story in English or Italian, e.g., see the TERENCE flat English stories and Italian stories, and then passing them over to the WP3 service for Italian or English.
Consistency Checking
|
An educator loads an XML story annotated by WP3 and invokes the reasoning module by means of the "Submit" button, and then sends it. The reasoner returns whether the story is consistent according to a so-called hard mapping (true with hard mapping). In case it is not consistent, it tries to repair possible inconsistencies in the annotation process by relaxing the interpretation of TLINKs. In case the story is consistent with the relaxed mapping, the reasoner returns so (true with relaxed mapping). Else it returns that the story is inconsistent (false). |
Deduction
|
In case the story is consistent with one of the mappings, the reasoning module can infer temporal relations that are not annotated by WP3, that is, that are not consecutive in the story. These are marked as deduced. To this end, the educator has to load the annotated story by means of the "Submit" button, and then she/he has to send it. The returned XML file will be downloaded in the educator's client. |
The TERENCE project, n. 257410, is funded by the European Commission through the Seventh Framework Programme for Research and Technological Development, Strategic Objective ICT-2009.4.2: ICT: Technology-enhanced learning. The contents of the these documents reflects only the authors' view and the European Commission is not liable for it.