NBN ISO 24617-14:2023

< p class=" MsoBodyText" > < span lang=" EN-GB" > Dieses Dokument erweitert ISO 24617-7:2020, das Möglichkeiten zur Annotation räumlicher Informationen in natürlicher Sprache wie Englisch spezifiziert, indem es eine formale Semantik für seine Zusammenfassung festlegt Syntax. Die Aufgabe der vorgeschlagenen Semantik ist zweierlei Art:< / 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" > Übersetzung von Annotationsstrukturen in semantische Formen < / 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" > modelltheoretische Interpretation semantischer Formen.< / span>

< p class=" MsoBodyText" > < span lang=" EN-GB" > Semantische Formen werden in einer typtheoretischen Logik erster Ordnung dargestellt. Diese semantischen Formen werden dann im Hinblick auf ein Modell für einen Teil der Welt interpretiert, in dem eine annotierte Sprache referenziell oder denotational verankert ist.< / span>

< p class=" Note" > < span lang=" EN-GB" > HINWEIS< span style=" mso-tab-count: 1 " >             < / span> Das Grundgerüst und der Inhalt dieses Dokuments basieren auf der Referenz [< a href=" #Reference_ref_2" > 1< / a> ].< / span>