@inproceedings{lee-2020-annotation,
    title = "Annotation-based Semantics",
    author = "Lee, Kiyong",
    editor = "Bunt, Harry",
    booktitle = "Proceedings of the 16th Joint ACL-ISO Workshop on Interoperable Semantic Annotation",
    month = may,
    year = "2020",
    address = "Marseille",
    publisher = "European Language Resources Association",
    url = "https://preview.aclanthology.org/jlcl-multiple-ingestion/2020.isa-1.5/",
    pages = "36--48",
    language = "eng",
    ISBN = "979-10-95546-48-1",
    abstract = "This paper proposes a semantics ABS for the model-theoretic interpretation of annotation structures. It provides a language ABSr, that represents \textit{semantic forms} in a (possibly $\lambda$-free) type-theoretic first-order logic. For semantic compositionality, the representation language introduces two operators $\oplus$ and $\oslash$ 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."
}