ISO 24617-14:2023
p
ISO 24617-14:2023
81469

État actuel : Publiée

fr
Format Langue
std 1 96 PDF + ePub
std 2 96 Papier
  • CHF96
Convertir les francs suisses (CHF) dans une autre devise

Résumé

Le présent document étend l’ISO 24617-7:2020, qui spécifie des manières d’annoter l’information spatiale en langue naturelle, comme l’anglais, en établissant une sémantique formelle pour sa syntaxe abstraite. La tâche de la sémantique proposée est de deux natures:

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

Prévisualiser 

Prévisualiser cette norme sur notre Plateforme de consultation en ligne (OBP)

Informations générales

  •  : Publiée
     : 2023-06
    : Norme internationale publiée [60.60]
  •  : 1
     : 14
  • ISO/TC 37/SC 4
    01.020 
  • RSS mises à jour

Vous avez une question?

Consulter notre FAQ

Service à la clientèle
+41 22 749 08 88

Horaires d’ouverture:
De lundi à vendredi - 09:00-12:00, 14:00-17:00 (UTC+1)