 QType
Description: QType is a grammar engineering system based on typed feature structures and unification. It includes type constraints, relational constraints, lexical rules with default unification, and non-monotonic inheritance in the type signature. QType is still under development. Download: Source (SICStus Prolog 3.x), example grammars, and documentation: QType.zip 360K. QDATR
Description: QDATR is an implementation of DATR, a formalism for the description of non-monotonic inheritance networks. It is designed to model natural language lexicons. For information and downloads go to the QDATR Homepage: Click here QPATR
Description: QPATR is an implementation of the PATR-II formalism with some logical extensions. It is designed to work with inclomplete lexicons and to dynamically extend existing lexicons. QPATR has a DATR interface and allows the integration of non-monotonic inheritance hierarchies with unification of feature structures. Download: |
 |
  |
 |