scispace - formally typeset
Open AccessPosted Content

TDL--- A Type Description Language for Constraint-Based Grammars

Reads0
Chats0
TLDR
In this article, the authors present a typed feature-based representation language and inference system called ''tdl'' that supports open-and closed-world reasoning over types and allows for partitions and incompatible types.
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 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.

read more

Citations
More filters
Journal ArticleDOI

On building a more efficient grammar by exploiting types

TL;DR: Three experiments in making systematic modifications to a broad-coverage grammar of English in order to gain efficiency without loss of linguistic elegance are reported.
Journal ArticleDOI

PET – a platform for experimentation with efficient HPSG processing techniques

TL;DR: The results of fine tuning the quick check filtering method through empirical study are discussed as an exemplar of the proposed experimental approach to the development and optimization of processing techniques.

Shallow Processing with Unification and Typed Feature Structures - Foundations and Applications.

TL;DR: This article gives a walkthrough on the foundations and applications of SProUT (Shallow Processing with Unification and Typed feature structures), a novel platform for the development of multilingual STP systems, which consists of several linguistic processing resources which can be coupled in a flexible way for building higher-level linguistic engines.
Dissertation

Lexically specified derivational control in combinatory categorial grammar

TL;DR: This dissertation elaborates several refinements to the Combinatory Categorial Grammar (ccg) framework, and shows how the multi-modal perspective on grammatical composition provided by the logical tradition of categorial grammar can be incorporated into ccg’s rulebased approach.
Journal ArticleDOI

Ontology-based information extraction and integration from heterogeneous data sources

TL;DR: The design, implementation and evaluation of SOBA is presented, a system for ontology-based information extraction from heterogeneous data resources, including plain text, tables and image captions, and it straightforwardly integrates deep and shallow natural language processing to increase robustness and accuracy.
References
More filters
Book

The logic of typed feature structures

TL;DR: The Logic of Typed Feature Structures as discussed by the authors is a monograph that brings all the main theoretical ideas into one place where they can be related and compared in a unified setting.
Journal ArticleDOI

On building a more efficient grammar by exploiting types

TL;DR: Three experiments in making systematic modifications to a broad-coverage grammar of English in order to gain efficiency without loss of linguistic elegance are reported.
Journal ArticleDOI

Re: additional reference to "marching cubes"

TL;DR: The proceedings contains the image that looks most like the frame buffer image at Cornell, and the newsletter intends more color cover images.
Journal ArticleDOI

Efficient implementation of lattice operations

TL;DR: A general technique for the efficient implementation of lattice operations such as greatest lower bound, least upper bound, and relative complementation based on an encoding method, which takes into account idiosyncrasies of the topology of the poset being encoded that are quite likely to occur in practice.
Journal ArticleDOI

PET – a platform for experimentation with efficient HPSG processing techniques

TL;DR: The results of fine tuning the quick check filtering method through empirical study are discussed as an exemplar of the proposed experimental approach to the development and optimization of processing techniques.