ML p(r)ior | An Attributive Logic of Set Descriptions and Set Operations
Processing...

An Attributive Logic of Set Descriptions and Set Operations

1994-05-30
9405031 | cmp-lg
This paper provides a model theoretic semantics to feature terms augmented with set descriptions. We provide constraints to specify HPSG style set descriptions, fixed cardinality set descriptions, set-membership constraints, restricted universal role quantifications, set union, intersection, subset and disjointness. A sound, complete and terminating consistency checking procedure 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.
PDF

Highlights - Most important sentences from the article

Login to like/save this paper, take notes and configure your recommendations