NBN ISO 24617-14:2023

< p class=" MsoBodyText" > < span lang=" EN-GB" > This document extends ISO 24617-7:2020, which specifies ways of annotating spatial information in natural language such as English, by establishing a formal semantics for its abstract syntax. The task of the proposed semantics is of two kinds:< / span>

< p class=" ListNumber1" style=" mso-list: l0 level1 lfo1 " > < !-- [if !supportLists]--> < span lang=" EN-GB" style=" mso-fareast-font-family: Cambria mso-bidi-font-family: Cambria " > < span style=" mso-list: Ignore " > a)< span style=" font: 7.0pt ' Times New Roman' " >        < / span> < / span> < / span> < !--[endif]--> < span lang=" EN-GB" > translation of annotation structures to semantic forms < / span>

< p class=" ListNumber1" style=" mso-list: l0 level1 lfo1 " > < !-- [if !supportLists]--> < span lang=" EN-GB" style=" mso-fareast-font-family: Cambria mso-bidi-font-family: Cambria " > < span style=" mso-list: Ignore " > b)< span style=" font: 7.0pt ' Times New Roman' " >        < / span> < / span> < / span> < !--[endif]--> < span lang=" EN-GB" > model-theoretic interpretation of semantic forms.< / span>

< p class=" MsoBodyText" > < span lang=" EN-GB" > Semantic forms are represented in a type-theoretic first-order logic. These semantic forms are then interpreted with respect to a model for part of the world to which an annotated language is referentially, or denotationally, anchored.< / span>

< p class=" Note" > < span lang=" EN-GB" > NOTE< span style=" mso-tab-count: 1 " >             < / span> The basic framework and content of this document is based on Reference [< a href=" #Reference_ref_2" > 1< / a> ].< / span>