NBN ISO 24617-14:2023

< p class=" MsoBodyText" > < span lang=" EN-GB" > Dit document is een uitbreiding van ISO 24617-7:2020, dat manieren specificeert voor het annoteren van ruimtelijke informatie in natuurlijke taal, zoals het Engels, door een formele semantiek vast te stellen voor de samenvatting syntaxis. De taak van de voorgestelde semantiek is van twee soorten:< / span>

< p class=" ListNumber1" style=" mso-list: l0 level1 lfo1 " > < !-- [if !supportLists]--> < span lang=" EN-GB" style=" mso-fareast-font- familie: 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" > vertaling van annotatiestructuren naar semantische vormen < / span>

< p class=" ListNumber1" style=" mso-list: l0 level1 lfo1 " > < !-- [if !supportLists]--> < span lang=" EN-GB" style=" mso-fareast-font- familie: 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" > modeltheoretische interpretatie van semantische vormen.< / span>

< p class=" MsoBodyText" > < span lang=" EN-GB" > Semantische vormen worden gerepresenteerd in een typetheoretische eerste-orde logica. Deze semantische vormen worden vervolgens geïnterpreteerd met betrekking tot een model voor een deel van de wereld waaraan een geannoteerde taal referentieel of denotationeel is verankerd.< / span>

< p class=" Note" > < span lang=" EN-GB" > OPMERKING< span style=" mso-tab-count: 1 " >             < / span> Het basiskader en de inhoud van dit document is gebaseerd op [< a href=" #Reference_ref_2" > 1< / a> ].< / span>