NBN ISO 24617-14:2023

< p class=" MsoBodyText" > < span lang=" EN-GB" > 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:< / span>

< p class=" ListNumber1" style=" mso-list: l0 level1 lfo1 " > < !-- [if !supportLists]--> < span lang=" EN-GB" style=" mso-fareast-font-family: Cambria mso-bidi-font-family: Cambria " > < span style=" mso-list: Ignore " > a)< span style=" font: 7.0pt ' Times New Roman' " >        < / span> < / span> < / span> < !--[endif]--> < span lang=" EN-GB" > transposition des structures d’annotation en formes sémantiques < / span>

< p class=" ListNumber1" style=" mso-list: l0 level1 lfo1 " > < !-- [if !supportLists]--> < span lang=" EN-GB" style=" mso-fareast-font-family: Cambria mso-bidi-font-family: Cambria " > < span style=" mso-list: Ignore " > b)< span style=" font: 7.0pt ' Times New Roman' " >        < / span> < / span> < / span> < !--[endif]--> < span lang=" EN-GB" > interprétation des formes logiques en théorie des modèles.< / span>

< p class=" MsoBodyText" > < span lang=" EN-GB" > 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.< / span>

< p class=" Note" > < span lang=" EN-GB" > NOTE< span style=" mso-tab-count: 1 " >             < / span> Le cadre de base et le contenu du présent document sont fondés sur la Référence[1].< / span>