Determining Consistency of Feature Terms with Distributed Disjunctions
GWAI '89 Proceedings of the 13th German Workshop on Artificial Intelligence
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
A logical semantics for feature structures
ACL '86 Proceedings of the 24th annual meeting on Association for Computational Linguistics
A unification method for disjunctive feature descriptions
ACL '87 Proceedings of the 25th annual meeting on Association for Computational Linguistics
Unification of disjunctive feature descriptions
ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
Computational and Structural Aspects of Openly Specified Type Hierarchies
LACL '98 Selected papers from the Third International Conference, on Logical Aspects of Computational Linguistics
Computational Linguistics
Computing with features as formulae
Computational Linguistics
Disjunctions and inheritance in the context feature structure system
EACL '93 Proceedings of the sixth conference on European chapter of the Association for Computational Linguistics
The formal and processing models of CLG
EACL '91 Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics
Translating a unification grammar with disjunctions into logical constraints
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 2
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 2
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
Term-rewriting as a basis for a uniform architecture in machine translation
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 2
Unifying disjunctive feature structures
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 4
Semantic construction from parse forests
COLING '96 Proceedings of the 16th conference on Computational linguistics - Volume 2
Packing of feature structures for efficient unification of disjunctive feature structures
ACL '99 Proceedings of the 37th annual meeting of the Association for Computational Linguistics on Computational Linguistics
A bag of useful techniques for efficient and robust parsing
ACL '99 Proceedings of the 37th annual meeting of the Association for Computational Linguistics on Computational Linguistics
Null values in relational databases and sure information answers
Proceedings of the 2nd international conference on Semantics in databases
| Hi-index | 0.00 |
We introduce feature terms containing sorts, variables, negation and named disjunction for the specification of feature structures. We show that the possibility to label disjunctions with names has major advantages both for the use of feature logic in computational linguistics and its implementation. We give an open world semantics for feature terms, where the denotation of a term is determined in dependence on the disjunctive context, i.e. the choices taken for the disjunctions. We define context-unique feature descriptions, a relational, constraint-based representation language and give a normalization procedure that allows to test consistency of feature terms. This procedure does not only avoid expansion to disjunctive normal form but maintains also structure sharing between information contained in different disjuncts as much as possible. Context-unique feature descriptions can be easily implemented in environments that support ordinary unification (such as PROLOG).