Lexical Resource Semantics: From theory to implementation

Authors

DOI:

https://doi.org/10.21248/hpsg.2004.24

Abstract

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.

Downloads

Additional Files

Published

2004-10-01

How to Cite

Penn, Gerald & Richter, Frank. 2004. Lexical Resource Semantics: From theory to implementation. Proceedings of the 11th International Conference on Head-Driven Phrase Structure Grammar 423–443. (doi:10.21248/hpsg.2004.24) (https://proceedings.hpsg.xyz/article/view/601) (Accessed May 26, 2024.)