Treebank Annotation for Formal Semantics Research.

Alastair Butler Ruriko Otomo Zhen Zhou Kei Yoshimoto

Published in: JSAI-isAI Workshops (2012)

Keyphrases

formal semantics
er model
metadata
first order logic
logical language
semantic annotation
formal language
dependency parsing
operational semantics
modelling language
theorem prover
epistemic logic
logical reasoning
ontology languages
database
case study
databases