Boxer

Boxer is developed by Johan Bos and generates semantic representations. It takes as input CCG (Combinatory Categorial Grammar) derivations and produces DRSs (Discourse Representation Structures, from Hans Kamp's Discourse Representation Theory) as output. It is distributed with the C&C tools.

• Boxer Licence
• Installing Boxer
• Running Boxer (simple example)
• Running Boxer (complex examples)
• Running Boxer (client-server configuration)
• Command line options
• Syntax of Boxer input (CCG derivations)
• Syntax of Boxer output (FOL, DRSs, SDRSs)
• Demo of C&C and Boxer
• Nutcracker RTE system

Boxer produces standard DRS syntax, uses a neo-Davidsonian analysis for events, incorporates Van der Sandt's algorithm for presupposition, is 100% compatible with first-order logic (FOL), and normalises cardinal and date expressions.

DRSs can be generated in various output formats: resolved or underspecified, in Prolog or XML, flattened or recursive structures, with discourse referents represented by Prolog atoms or variables, and with pretty printed DRSs or not. It is also possible to output FOL formulas translated from the DRSs.

If you want to be informed about updates and changes to Boxer please email Johan Bos (bos@di.uniroma1.it).

If you're using Boxer please cite the following paper:

• James R. Curran, Stephen Clark, and Johan Bos (2007): Linguistically Motivated Large-Scale NLP with C&C and Boxer. Proceedings of the ACL 2007 Demonstrations Session (ACL-07 demo), pp.29-32. pdf