ISO 24617-14:2023
Gestion des ressources linguistiques — Cadre d'annotation sémantique (SemAF) — Partie 14: Sémantique spatiale
détails du produit
a) transposition des structures d’annotation en formes sémantiques;
b) interprétation des formes logiques en théorie des modèles.
Les formes sémantiques sont représentées dans une logique du premier ordre de théorie des types. Ces formes sémantiques sont ensuite interprétées par rapport à un modèle d’une partie du monde auquel une langue annotée est rattachée par référence ou par dénotation.
NOTE Le cadre de base et le contenu du présent document sont fondés sur la Référence[1].