An Evaluation Semantics for DATR Theories

This paper describes an operational semantics for DATR theories. The semantics is presented as a set of inference rules that axiomatises the evaluation relationship for DATR expressions. The inference rules provide a clear picture of the way in which DATR works, and should lead to a better understanding of the mathematical and computational properties of the language.

• Type: Conference
• Year: 1996
• Where: COLING
• Authors: Bill Keller
• Keywords: COLING 1996, COLING 2008, DATR Theories, Inference Rules, Operational Semantics