TDL : a type description language for HPSG. - Part 2: user guide

This documentation serves as a user's guide to the type description language TDL which is employed in natural language projects at the DFKI. It is intended as a guide for grammar writers rather than as a comprehensive internal documentation. Some familiarity with grammar formalisms/theories such as Head-Driven Phrase Structure Grammar (HPSG) is assumed. The manual describes the syntax of the TDL formalism, the user-accessible control functions and variables, and the various tools such as type grapher, feature editor, TDL2LATEX, Emacs TDL mode, and print interface.

[1]  Günter Neumann,et al.  DISCO-An HPSG-based NLP System and its Application for Appointment Scheduling Project Note , 1994, COLING.

[2]  Ivan A. Sag,et al.  Information-Based Syntax and Semantics: Volume 1, Fundamentals , 1987 .

[3]  Bob Carpenter,et al.  The logic of typed feature structures , 1992 .

[4]  Gert Smolka.  Residuation and Guarded Rules for Constraint Logic Programming , 1991, WCLP.

[5]  Hassan Aït-Kaci,et al.  An Algebraic Semantics Approach to the Effective Resolution of Type Equations , 1986, Theor. Comput. Sci..

[6]  Andreas Eisele,et al.  Disjunctive Unification , 1990, IWBS Report.

[7]  Hans-Ulrich Krieger,et al.  TDL-A Type Description Language for Constraint-Based Grammars , 1994, COLING.

[8]  Hans Uszkoreit,et al.  Strategies for Adding Control Information to Declarative Grammars , 1991, ACL.

[9]  Leslie Lamport,et al.  LATEX. A document preparation system. User's Guide and Reference Manual , 1996 .

[10]  Gert Smolka,et al.  A Feature Logic with Subsorts , 1988, LILOG-Report.

[11]  Anthony Jameson,et al.  Cooperating to Be Noncooperative: The Dialog System PRACMA , 1994, KI.

[12]  Leslie Lamport,et al.  Latex : A Document Preparation System , 1985 .

[13]  Ivan A. Sag,et al.  Information-based syntax and semantics , 1987 .

[14]  Michael Dorna,et al.  CUF - A Formalism for Linguistic Knowledge Representation , 1993 .

[15]  Bernd Kiefer,et al.  FEGRAMED : an interactive graphics editor for feature structures , 1995 .

[16]  Gert Smolka,et al.  Feature-Constraint Logics for Unification Grammars , 1989, J. Log. Program..

[17]  Ivan A. Sag,et al.  Book Reviews: Head-driven Phrase Structure Grammar and German in Head-driven Phrase-structure Grammar , 1996, CL.

[18]  Michel Goossens,et al.  The LaTeX companion , 1993 .