<i>TDL</i>

Abstract

This paper presents "FD~g, a typed feal, ure-bascd rein'csent, el;ion language att(l ild'erence system. Type definitions in TDL consis~ of type and feature constraints over the Imolean cmme(Mves. TD supports open-and closed-worM reasoning over types and allows for par|;itions and iueompal;i[)le I.ypes. Working with l)artially as well as with lhlly expanded types is possible. E[lieienl. reasoning in "]'1)12 is accomplished through Sl)Ccialized mtMules.