Article

Free access

TDL: a type description language for constraint-based grammars

Authors:

Hans-Ulrich Krieger,

Ulrich SchäferAuthors Info & Claims

COLING '94: Proceedings of the 15th conference on Computational linguistics - Volume 2

Pages 893 - 899

https://doi.org/10.3115/991250.991292

Published: 05 August 1994 Publication History

Abstract

This paper presents TDL, a typed feature-based representation language and inference system. Type definitions in TDL consist of type and feature constraints over the boolean counectives. TDL supports open-and closed-world reasoning over types and allows for partitions and incompatible types. Working with partially as well as with fully expanded types is possible. Efficient reasoning in TDL is accomplished through specialized modules.

References

[1]

Hassan Aït-Kaci, Robert Boyer, Patrick Lincoln, and Roger Nasr. Efficient implementation of lattice operations. ACM Transactions on Programming Languages and Systems, 11(1):115--146, January 1989.

Digital Library

[2]

Hassan Aït-Kaci, Andres Podelski, and Seth Copen Goldstein. Order-sorted feature theory unification. Techn. Report 32, DEC Paris Research Lab., 1993.

[3]

Rolf Backofen and Christoph Weyers. UDINe-a feature constraint solver with distributed disjunction and classical negation. Technical report, DFKI, Saarbrücken, Germany, 1994. Forthcoming.

[4]

Bob Carpenter. ALE-the attribute logic engine user's guide. Version ß. Technical report, Laboratory for Computational Linguistics. Carnegie. Mellon University, Pittsburgh, PA, 1992.

[5]

Bob Carpenter. The Logic of Typed Feature Structures. Cambridge University Press, Cambridge, 1992.

Digital Library

[6]

Jochen Dörre and Michael Dorna. CUF--a formalism for linguistic knowledge representation. In J. Dörre, editor, Computational Aspects of Constraint-Based Linguistic Description. DYANA, 1993.

[7]

Hans-Ulrich Krieger and Ulrich Schäfer. TDL - a type description language for HPSG. Part 2: user guide. Technical report, DFKI, Saarbrücken, Germany, 1994. Forthcoming.

[8]

Joachim Laubsch. Zebu: A tool for specifying reversible LALR(1) parsers. Technical report, Hewlett-Packard, 1993.

[9]

Klaus Netter. Architecture and coverage of the DISCO grammar. In S. Busemann and K. Harbusch, eds., Proc. of the DFKI Workshop on Natural Language Systems: Modularity and Re-Usability, 1993.

[10]

Peter Norvig. Techniques for antomatic memoization with applications to context-free parsing. Computational Linguistics, 17(1):91--98, 1991.

Digital Library

[11]

William C. Rounds and Alexis Manaster-Ramer. A logical version of functional grammar. In Procedings of the ACL, pages 89--96, 1987.

Digital Library

[12]

Gert Smolka. A feature logic with subsorts. LILOG Report 33, IBM Germany, Stuttgart, 1988.

[13]

Hans Uszkoreit. Strategies for adding control information to declarative grammars. In Procedings of the ACL, pages 237--245, 1991.

Digital Library

[14]

H. Uszkoreit, R. Backofen, S. Busemann, A. K. Diagne, E. A. Hinkehnan, W. Kasper, B. Kiefer, H.-U. Krieger, K. Netter, G. Neumann, S. Oepen, and S. P. Spackman. DISCO-an HPSG-based NLP system and its application for appointment scheduling. In Proceedings of COLING, 1994.

Digital Library

[15]

Rémi Zajac. Inheritance and constraint-based grammar formalisms. Computational Linguistics, 18(2): 159--182, 1992.

Digital Library

Cited By

Van Trijp RSteels LBeuls KWellens P(2012)Fluid construction grammarProceedings of the Demonstrations at the 13th Conference of the European Chapter of the Association for Computational Linguistics10.5555/2380921.2380934(63-68)Online publication date: 23-Apr-2012
https://dl.acm.org/doi/10.5555/2380921.2380934
Krieger HSchäfer UJoshi AHuang CJurafsky D(2010)DL meet FLProceedings of the 23rd International Conference on Computational Linguistics: Posters10.5555/1944566.1944633(588-596)Online publication date: 23-Aug-2010
https://dl.acm.org/doi/10.5555/1944566.1944633
Drellishak SKaplan R(2010)Testing a grammar customization system with SahaptinHuman Language Technologies: The 2010 Annual Conference of the North American Chapter of the Association for Computational Linguistics10.5555/1857999.1858031(254-262)Online publication date: 2-Jun-2010
https://dl.acm.org/doi/10.5555/1857999.1858031
Show More Cited By

Recommendations

TDL: A hardware/microcode test language interpreter
MICRO 17: Proceedings of the Seventeenth Annual Microprogramming Workshop

TDL is an interpreter for a high level test language used in the development of hardware and microcode. A user can supply commands interactively at a terminal, or from a prepared command file to facilitate automated testing. TDL can communicate to ...
TDL: A hardware/microcode test language interpreter
MICRO 17: Proceedings of the 17th annual workshop on Microprogramming

TDL is an interpreter for a high level test language used in the development of hardware and microcode. A user can supply commands interactively at a terminal, or from a prepared command file to facilitate automated testing. TDL can communicate to ...
TDL: a hardware description language for retargetable postpass optimizations and analyses
GPCE '03: Proceedings of the 2nd international conference on Generative programming and component engineering

The hardware description language TDL has been designed with the goal to generate machine-dependent postpass optimizers and analyzers from a concise specification of the target processor. TDL is assembly-oriented and provides a generic modeling of ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image DL Hosted proceedings

COLING '94: Proceedings of the 15th conference on Computational linguistics - Volume 2

August 1994

661 pages

Conference Chair:
Makoto Nagao
Kyoto University, Japan
,
Program Chair:
Yorick Wilks
University of Sheffield, England

Publisher

Association for Computational Linguistics

United States

Publication History

Published: 05 August 1994

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 1,537 of 1,537 submissions, 100%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

21
Total Citations
View Citations
1,147
Total Downloads

Downloads (Last 12 months)933
Downloads (Last 6 weeks)21

Reflects downloads up to 01 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Van Trijp RSteels LBeuls KWellens P(2012)Fluid construction grammarProceedings of the Demonstrations at the 13th Conference of the European Chapter of the Association for Computational Linguistics10.5555/2380921.2380934(63-68)Online publication date: 23-Apr-2012
https://dl.acm.org/doi/10.5555/2380921.2380934
Krieger HSchäfer UJoshi AHuang CJurafsky D(2010)DL meet FLProceedings of the 23rd International Conference on Computational Linguistics: Posters10.5555/1944566.1944633(588-596)Online publication date: 23-Aug-2010
https://dl.acm.org/doi/10.5555/1944566.1944633
Drellishak SKaplan R(2010)Testing a grammar customization system with SahaptinHuman Language Technologies: The 2010 Annual Conference of the North American Chapter of the Association for Computational Linguistics10.5555/1857999.1858031(254-262)Online publication date: 2-Jun-2010
https://dl.acm.org/doi/10.5555/1857999.1858031
Branco ACosta FBasili RBos JCopestake A(2008)LXGram in the shared task "comparing semantic representations" of STEP 2008Proceedings of the 2008 Conference on Semantics in Text Processing10.5555/1626481.1626505(299-310)Online publication date: 22-Sep-2008
https://dl.acm.org/doi/10.5555/1626481.1626505
Buitelaar PCimiano PFrank AHartung MRacioppa S(2008)Ontology-based information extraction and integration from heterogeneous data sourcesInternational Journal of Human-Computer Studies10.1016/j.ijhcs.2008.07.00766:11(759-788)Online publication date: 1-Nov-2008
https://dl.acm.org/doi/10.1016/j.ijhcs.2008.07.007
Hashimoto CBond FFlickinger D(2007)The Lextype DBProceedings of the 1st international conference on Intercultural collaboration10.5555/1769901.1769909(76-90)Online publication date: 25-Jan-2007
https://dl.acm.org/doi/10.5555/1769901.1769909
Gardent CParmentier Y(2006)Coreference handling in XMGProceedings of the COLING/ACL on Main conference poster sessions10.5555/1273073.1273105(247-254)Online publication date: 17-Jul-2006
https://dl.acm.org/doi/10.5555/1273073.1273105
Buitelaar PSintek MKiesel M(2006)A multilingual/multimedia lexicon model for ontologiesProceedings of the 3rd European conference on The Semantic Web: research and applications10.1007/11762256_37(502-513)Online publication date: 11-Jun-2006
https://dl.acm.org/doi/10.1007/11762256_37
Oepen SCallmeier U(2004)Measure for measureNew developments in parsing technology10.5555/1139041.1139061(373-395)Online publication date: 1-Jan-2004
https://dl.acm.org/doi/10.5555/1139041.1139061
Schäfer U(2003)WHATProceedings of the HLT-NAACL 2003 workshop on Software engineering and architecture of language technology systems - Volume 810.3115/1119226.1119228(9-16)Online publication date: 31-May-2003
https://dl.acm.org/doi/10.3115/1119226.1119228
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents