ISO 24617-14:2023

Published (Edition 1, 2023)

ISO 24617-14:2023

CHF 96

Convert Swiss francs (CHF) to your currency

Abstract

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].

General information

Status
: Published

Publication date
: 2023-06

Stage
: International Standard published [60.60]
Edition
: 1

Number of pages
: 14
Technical Committee :
ISO/TC 37/SC 4

ICS :
01.020
RSS updates