The iXi-system is the joint implementation of the subprojects B3 and B9 of the SFB 340 "Theoretical Foundational of Computational Linguistics". The emphasis of the iXi-system is to demonstrate the feasibility of computational semantics, both in respect to semantic composition proper and to contextual reasoning. Furthermore the portability of the semantic modules is demonstrated by the fact that iXi interfaces with two different syntax modules, a categorial grammar style syntax written in CUF/ LexGram and an HPSG-style syntax implemented in the ConTroll language by the project B8. The semantic representations, which have been adopted in the iXi-system are implementations of Underspecified Discourse Representation Structures(UDRS's). The UDRS's and their composition rules are implemented in the constraint-logic programming language CUF. The B3 project contributed the theorem prover for UDRS's, which is written in Prolog. The semantic phenomena which have been covered, so far, are the following:
Availability: on request:
Uwe.Reyle@ims.uni-stuttgart.de