Inheritance hierarchies: Semantics and unification

Inheritance hierarchies are introduced as a means of representing taxonomicallyorganized data. The hierarchies are built up from so-called feature types that are ordered by subtyping and whose elements are records. Every feature type comes with a set of features prescribing fields of its record elements. So-called feature terms are available to denote subsets of feature types. Feature unification is introduced as an operation that decides whether two feature terms have a nonempty intersection and computes a feature term denoting the intersection.We model our inheritance hierarchies as algebraic specifications in ordersortedequational logic using initial algebra semantics. Our framework integrates feature types whose elements are obtained as records with constructor types whose elements are obtained by constructor application. Unification in these hierarchies combines record unification with order-sorted term unification and is presented as constraint solving. We specify a unitary unification algorithm by a set of simplification rules and prove its soundness and completeness with respect to the model-theoretic semantics

TDL : a type description language for HPSG. - Part 1: Overview

Unification-based grammar formalisms have become the predominant paradigm in natural language processing NLP and computational linguistics CL. Their success stems from the fact that they can be seen as high-level declarative programming languages for linguists, which allow them to express linguistic knowledge in a monotonic fashion. More over, such formalisms can be given a precise set theoretical semantics. This paper presents mathcal{TDL}, a typed featurebased language and inference system, which is specically designed to support highly lexicalized grammar theories like HPSG, FUG, or CUG. mathcal{TDL} allows the user to define possibly recursive hierarchically ordered types consisting of type constraints and feature constraints over the boolean connectives wedge, vee, and neg. mathcal{TDL} distinguishes between avm types (open-world reasoning), sort types (closed-world reasoning), built-in types and atoms, and allows the declaration of partitions and incompatible types. Working with partially as well as with fully expanded types is possible, both at definition time and at run time. mathcal{TDL} is incremental, i.e., it allows the redefinition of types and the use of undefined types. Efficient reasoning is accomplished through four specialized reasoners

TDL ExtraLight user's guide

This paper serves as a user's guide to the first version of the type description language TDL used for the specification of linguistic knowledge in the DISCO project of the DFKI

An interpretation of paradigmatic morphology

The thesis has as its goal the extension of current approaches in the description of natural languages, based on logics of partial information, to the area of morphology. I review work in a number of areas which may inform the study of morphology. I define a system for the representation of lexical and morphological information similar in descriptive aims to the system of Word and Paradigm (WP) morphology developed by Matthews, although somewhat different in technical details. I show that this system has a simple mathematical structure and indicate how it is related to current proposals in the field of feature value logics for linguistic description. The descriptive use of the system is demonstrated by an analysis of verbal paradigms from Latin.The attested shortcomings of WP are reanalysed in the light of the formalization developed above, and I show that, contrary to previous claims, the structures developed for the formalization of WP may be both adequate for describing the morphology of non-inflecting languages and concise in so doing. These assertions are supported by sample analyses of the morphology of Turkish, taken as an exemplary agglutinating language, and of Semitic