Abstract
This paper proposes a semantics ABS for the model-theoretic interpretation of annotation structures. It provides a language ABSr, that represents semantic forms in a (possibly 𝜆-free) type-theoretic first-order logic. For semantic compositionality, the representation language introduces two operators ⊕ and ⊘ with subtypes for the conjunctive or distributive composition of semantic forms. ABS also introduces a small set of logical predicates to represent semantic forms in a simplified format. The use of ABSr is illustrated with some annotation structures that conform to ISO 24617 standards on semantic annotation such as ISO-TimeML and ISO-Space.- Anthology ID:
- 2020.isa-1.5
- Volume:
- Proceedings of the 16th Joint ACL-ISO Workshop on Interoperable Semantic Annotation
- Month:
- May
- Year:
- 2020
- Address:
- Marseille
- Editor:
- Harry Bunt
- Venue:
- ISA
- SIG:
- Publisher:
- European Language Resources Association
- Note:
- Pages:
- 36–48
- Language:
- English
- URL:
- https://aclanthology.org/2020.isa-1.5
- DOI:
- Cite (ACL):
- Kiyong Lee. 2020. Annotation-based Semantics. In Proceedings of the 16th Joint ACL-ISO Workshop on Interoperable Semantic Annotation, pages 36–48, Marseille. European Language Resources Association.
- Cite (Informal):
- Annotation-based Semantics (Lee, ISA 2020)
- PDF:
- https://preview.aclanthology.org/nschneid-patch-4/2020.isa-1.5.pdf