Martin EMELE and Rémi ZAJAC
Multiple Inheritance in RETIF
Abstract:This report describes the new version of a prototype of rewriting system for
typed feature structures. The formalism is based on a lattice theoretic approach
due to Ait-Kaci. The semantics of Ait-Kaci treats disjunction and simple
inheritance. This semantics has been extended to multiple inheritance, and the
interpreter has been reimplemented to treat multiple inheritance.
In section 1 we present the syntax of the formalism; in section 2, the semantics of
the formalism; in section3, the user's interface; in section 4, an HPSG grammar
for English written in RETIF.