Resumen
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:
a) translation of annotation structures to semantic forms;
b) model-theoretic interpretation of semantic forms.
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.
NOTE The basic framework and content of this document is based on Reference [1].
Informaciones generales
-
Estado: PublicadoFecha de publicación: 2023-06Etapa: Norma Internacional publicada [60.60]
-
Edición: 1Número de páginas: 14
-
Comité Técnico :ISO/TC 37/SC 4ICS :01.020
- RSS actualizaciones
Ciclo de vida
¿Tiene alguna duda?
Consulte nuestras Ayuda y asistencia
Horario de asistencia:
De lunes a viernes - 09:00-12:00, 14:00-17:00 (UTC+1)