feature logic
Recently Published Documents


TOTAL DOCUMENTS

24
(FIVE YEARS 1)

H-INDEX

5
(FIVE YEARS 0)

Author(s):  
GERALD PENN

The logic of typed feature structures is a sorted description logic that has enjoyed widespread usage in grammar design for the last 20 years. Woodbury and Burrow have faithfully preserved its strengths in adapting it to design space navigation research, although the weaknesses it has exhibited in the context of natural language grammar design are likely to surface here as well.


Author(s):  
Gerald Penn ◽  
Frank Richter

This paper summarizes the architecture of Lexical Resource Semantics (LRS). It demonstrates how to encode the language of two-sorted theory (Ty2; Gallin, 1975) in typed feature logic (TFL), and then presents a formal constraint language that can be used to extend conventional description logics for TFL to make direct reference to Ty2 terms. A reduction of this extension to Constraint Handling Rules (CHR; Fruehwirth & Abdennadher, 1997) for the purposes of implementation is also presented.


Sign in / Sign up

Export Citation Format

Share Document