Wide-Coverage Semantic Analysis with Boxer

Boxer is an open-domain software component for semantic analysis of text, based on Combinatory Categorial Grammar (CCG) and Discourse Representation Theory (DRT). Used together with the CC (b) discourse structure triggered by conditionals, negation or discourse adverbs was overall correctly computed; (c) some measure and time expressions are correctly analysed, others aren't; (d) several shallow analyses are given for lexical phrases that require deep analysis; (e) bridging references and pronouns are not resolved in most cases. Boxer is distributed with the C&C tools and freely available for research purposes.

[1]  Martin Kay,et al.  Syntactic Process , 1979, ACL.

[2]  Jeroen Groenendijk,et al.  Formal methods in the study of language , 1983 .

[3]  David R. Dowty On the Semantic Content of the Notion of ‘Thematic Role’ , 1989 .

[4]  Tomek Strzalkowski,et al.  From Discourse to Logic , 1991 .

[5]  Rob A. van der Sandt,et al.  Presupposition Projection as Anaphora Resolution , 1992, J. Semant..

[6]  Nicholas Asher,et al.  Reference to abstract objects in discourse , 1993, Studies in linguistics and philosophy.

[7]  Julia Hockenmaier,et al.  Data and models for statistical parsing with combinatory categorial grammar , 2003 .

[8]  Johan Bos,et al.  Implementing the Binding and Accommodation Theory for Anaphora Resolution and Presupposition Projection , 2003, CL.

[9]  Michael Kohlhase,et al.  Inference and Computational Semantics , 2004, J. Log. Lang. Inf..

[10]  Mark Steedman,et al.  Wide-Coverage Semantic Representations from a CCG Parser , 2004, COLING.

[11]  James R. Curran,et al.  Parsing the WSJ Using CCG and Log-Linear Models , 2004, ACL.

[12]  Johan Bos,et al.  Computational Semantics in Discourse: Underspecification, Resolution, and Inference , 2004, J. Log. Lang. Inf..

[13]  Francis Jeffry Pelletier,et al.  Representation and Inference for Natural Language: A First Course in Computational Semantics , 2005, Computational Linguistics.

[14]  Johan Bos,et al.  Linguistically Motivated Large-Scale NLP with C&C and Boxer , 2007, ACL.

[15]  Johan Bos Introduction to the Shared Task on Comparing Semantic Representations , 2008, STEP.

[16]  Neville Ryant,et al.  A large-scale classification of English verbs , 2008, Lang. Resour. Evaluation.

[17]  H. Kamp A Theory of Truth and Semantic Representation , 2008 .