In the project, polytheoretic abstract data types for linguistic description formalisms will be developed in cooperation with working groups from the universities of Utrecht, Tilburg and Edinburgh. The basis of the concrete encoding is the ALEP formalism, which was developed in an earlier EC project in which computational linguists from our institute participated. The results of the project are an overview of datatypes used in theoretical and computational linguistics, a library of linguistic datatypes implemented in the ALEP formalism, and extensions of the ALEP formalism with external constraint solvers for datatypes like sets or tree descriptions.
The following datatypes and operations were selected because they enjoy widespread use in linguistic descriptions, and because they offer additional expressive power over current formalisms.
Researchers in Saarbrücken have worked on the datatypes used in LFG and HPSG, and on the implementation of set constraints, linear precedence constraints and tree descriptions. The project is funded by the European Community through the programme "Linguistic Research and Engineering"