Lexical Resource Semantics: From theory to implementation
Gerald M. Penn, Frank Richter · Proceedings of the International Conference on Head-Driven Phrase Structure Grammar · 2004
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.