Thilo Götz and W. Detmar Meurers
Proceedings of the 35th Annual Meeting of the ACL and 8th Conference of the EACL. Madrid, Spain. 1997.
We introduce a typed feature logic system providing both universal implicational principles as well as definite clauses over feature terms. We show that such an architecture supports a modular encoding of linguistic theories and allows for a compact representation using underspecification. The system is fully implemented and has been used as a workbench to develop and test large {\sc hpsg} grammars. The techniques described in this paper are not restricted to a specific implementation, but could be added to many current feature-based grammar development systems.
Electronically available file formats:
Bibtex entry:
@inproceedings{Goetz:Meurers:97,
author = {Thilo G\"otz and Walt Detmar Meurers},
title = {Interleaving universal principles and relational
constraints over typed feature logic},
booktitle = {Proceedings of the 35th Annual Meeting of the ACL and
the 8th Conference of the EACL},
pages = {1--8},
year = {1997},
organization = Association for Computational Linguistics,
publisher = {Universidad Nacional de Educaci\'on a Distancia},
address = {Madrid, Spain}
}