ISO 24617-14:2023
Language resource management — Semantic annotation framework (SemAF) — Part 14: Spatial semantics
Product Details
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].