We use cookies to give you the best experience and to help improve our website
Find out what cookies we use and how to disable themThis document provides a formal semantics for the abstract syntax of ISO 24617-7 that specifies ways of annotating spatial information in natural language such as English. The task of the proposed semantics is of two kinds: (1) translation of annotation structures to logical forms and (2) modeltheoretic interpretation of logical forms. Logical forms are represented in a type-theoretic first-order predicate logic. These logical forms are then interpreted with respect to a model for part of the world to which an annotated language is referentially anchored to.
An explicit semantics is necessary for the specification provided by ISO-Space, as the representations created in accord with that language will not have a significant impact on AI and automatic inferencing without explicit interpretation.
You are now following this standard. Weekly digest emails will be sent to update you on the following activities:
You can manage your follow preferences from your Account. Please check your mailbox junk folder if you don't receive the weekly email.
You have successfully unsubscribed from weekly updates for this standard.
Comment on proposal
Required form fields are indicated by an asterisk (*) character.