… DATR is a declarative language for representing a restricted class of inheritance networks, …
the syntax and inference mechanisms for the language. The goal of the DATR enterprise is …

… conventional inference in DATR) form a natural sublanguage of DATR which is … DATR theory
which accounts for the observed facts through adequate struct uring. For an acquired DATR …

… semantics for DATR. We present a view of DATR as a language for defining certain kinds
of partial functions by cases. The formal model provides a transparent treatment of DATR’s …

… model based on DATR can also handle Spanish inflection. A previously (known) version of
Spanish inflection in DATR has been written by … From these data we can infer the following: …

… and the composition paradigms to interpret inference of prosodic patterns in DATR. Similar
inheritance techTemniques to those on which DATR is based have been wellknown in the …

… formal theory of inference (i) and a formal semantics (ii) for DATR and we will not recapitulate
that material here. 2 With respect to (iii), the core inference engine for DATR can be coded …

… When we wish to express information extracted from a DATR network in accordance with its
rules of inference we do so in extensional sentences using the = symbol. These always have …

… an arbitrary standard DATR theory 1, … DATR theory onto its LDATR counterpart. The main
result of the paper is that restricting DATR to the rules of inference I and IV, yields a still DATR …

… types of inference permitted in the language do support a general type of logical inference.
Drawing … , and each has its own inference engine or theorem prover, which are quite di erent. …

… From these data we can infer the following: … An Introduction to DATR DATR was designed
as a formal declarative language for representing a restricted class of inheritance networks, …