TDL--- A Type Description Language for Constraint-Based Grammars
cmp-lg
2019-08-15 v3 计算与语言
摘要
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 connectives. \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.
引用
@article{arxiv.cmp-lg/9406018,
title = {TDL--- A Type Description Language for Constraint-Based Grammars},
author = {Hans-Ulrich Krieger and Ulrich Schäfer},
journal= {arXiv preprint arXiv:cmp-lg/9406018},
year = {2019}
}
备注
Will Appear in Proc. COLING-94