Paper: An Attributive Logic Of Set Descriptions And Set Operations

ACL ID P94-1035
Title An Attributive Logic Of Set Descriptions And Set Operations
Venue Annual Meeting of the Association of Computational Linguistics
Session Main Conference
Year 1994
Authors

This paper provides a model theoretic semantics to fea- ture terms augmented with set descriptions. We pro- vide constraints to specify HPSG style set descriptions, fixed cardinality set descriptions, set-membership con- straints, restricted universal role quantifications, set union, intersection, subset and disjointness. A sound, complete and terminating consistency checking proce- dure is provided to determine the consistency of any given term in the logic. It is shown that determining consistency of terms is a NP-complete problem.