Contents

• Contents
• Introduction
• DATR by example
• The DATR language
  • Syntax
    • Lexical tokens
    • Right-hand-side expressions
    • Sentences
    • Formal syntax of DATR descriptions
    • Functionality
  • Inheritance in DATR
    • Local inheritance
    • Global inheritance
  • Definition by default
  • Abbreviatory variables
  • System directives
• Denotational semantics
  • DATR interpretations
  • Implicit information and default models
  • Comments on the semantics
• Formal theory of inference
  • Inference in DATR
  • Local inheritance
  • Global inheritance
  • Path extensions and defaults
  • Comments on the theory of inference
• DATR techniques
  • Case constructs and parameters
  • Boolean logic
  • Finite state transduction
  • Representing lists
  • Lexical rules
  • Multiple inheritance
  • Representing ambiguity and alternation
  • Encoding DAGs
• Implementations and modes of use
• References
• Style sheet for DATR dtr files
  • File name
  • Font
  • Character set
  • Tabs or spaces
  • Order of material in the file
  • File header
  • Opening declarations
  • Code style
  • Closing declarations
  • The RCS Archive Id comment
• Index to the dtr archive
• A bibliography of papers on DATR
• The DATR Standard Library RFC, Version 2.20
  • Directives
    • Directives in common use
    • Directives in less common use
    • Proposed new directives
  • The ``path cut'' operator
  • Standard library function functions that can (more or less) be defined within DATR itself
    • Fail
    • Idem
    • Reverse
    • First
    • Rest
    • Last
    • Sed
    • Hyphenate
    • Not
    • And
    • Or
    • Equal
    • Member
  • Standard library function functions that cannot (easily) be defined within DATR itself
    • Implode
    • Explode
    • Ascii
    • Chars
    • Subseq
    • Sort
    • Mode
    • Permute
    • Readline
    • Writeline
  • Arithmetic functions
    • Length
    • Count
    • APU
    • Sum
    • Add
    • Multiply
    • Power
    • Max
    • Min
    • Series
  • Metalevel functions
    • The local context
      • LocalNode
      • LocalPath
      • Local
    • The global context
      • GlobalNode
      • GlobalPath
      • Global
    • The query context
      • QueryNode
      • QueryPath
      • Query
      • Qnode
  • Revision history