NF ISO 24617-14, X03-024-14 (08/2023)

This document extends ISO 24617-7:2020, which specifies ways to annotate spatial information in natural languages, such as English, by establishing formal semantics for its abstract syntax. The task of the proposed semantics is of two natures: a) transposition of annotation structures into semantic forms; b) interpretation of logical forms in model theory. Semantic forms are represented in first-order logic of type theory. These semantic forms are then interpreted in relation to a model of a part of the world to which an annotated language is attached by reference or denotation. NOTE The basic framework and content of this document are based on Reference[1].
(Automatic translation from French)