Dominance Constraints in Context Unification

Joachim Niehren (1) , Alexander Koller (2)

1 Programming Systems Lab [Saarland]
2 Allgemeine Linguistik - Allgemeine Linguistik Computational Linguistics and phonetics

Tree descriptions based on dominance constraints are popular in several areas of computational linguistics including syntax, semantics, and discourse. Tree descriptions in the language of context unification have attracted some interest in unification and rewriting theory. Recently, dominance constraints and context unification have both been used in different underspecified approaches to the semantics of scope, parallelism, and their interaction. This raises the question whether both description languages are related. In this paper, we show for a first time that dominance constraints can be expressed in context unification. We also prove that dominance constraints extended with parallelism constraints are equal in expressive power to context unification.

Domaines: Logique en informatique [cs.LO]; Informatique et langage [cs.CL]

Joachim Niehren, Alexander Koller. Dominance Constraints in Context Unification. 3rd International Conference on Logical Aspects of Computational Linguistics 1998 (Postproceedings 2001), 1998, Heidelberg, France. pp.199-218. ⟨inria-00536820⟩