An Attributive Logic of Set Descriptions and Set Operations

Details An Attributive Logic of Set Descriptions and Set Operations An Attributive Logic of Set Descriptions and Set Operations

1994-05-30

arxiv.org/abs/cmp-lg/9405031v1

Computer Science

Computation and Language

8 pages, epsf.sty, leqno.sty, LaTeX, ACL'94

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

An Attributive Logic of Set Descriptions and Set Operations does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with An Attributive Logic of Set Descriptions and Set Operations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An Attributive Logic of Set Descriptions and Set Operations will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-582642