An Attributive Logic of Set Descriptions and Set Operations

Suresh Manandhar

doi:10.3115/981732.981767

An Attributive Logic of Set Descriptions and Set Operations

Suresh Manandhar

Computer Science

Research output: Contribution to conference › Paper › peer-review

Abstract

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 ration, intersection, subset and disjointhess. 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. Subject Areas: feature logic, constraint-based gram- mars, HPSG 1

Original language	Undefined/Unknown
Pages	255-262
DOIs	https://doi.org/10.3115/981732.981767
Publication status	Published - 1994

Access to Document

10.3115/981732.981767

http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.4068

Cite this

@conference{cbb26aba55044d93bebd4a0c6d92ad69,

title = "An Attributive Logic of Set Descriptions and Set Operations",

abstract = "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 ration, intersection, subset and disjointhess. 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. Subject Areas: feature logic, constraint-based gram- mars, HPSG 1 ",

author = "Suresh Manandhar",

year = "1994",

doi = "10.3115/981732.981767",

language = "Undefined/Unknown",

pages = "255--262",

}

TY - CONF

T1 - An Attributive Logic of Set Descriptions and Set Operations

AU - Manandhar, Suresh

PY - 1994

Y1 - 1994

N2 - 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 ration, intersection, subset and disjointhess. 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. Subject Areas: feature logic, constraint-based gram- mars, HPSG 1

AB - 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 ration, intersection, subset and disjointhess. 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. Subject Areas: feature logic, constraint-based gram- mars, HPSG 1

U2 - 10.3115/981732.981767

DO - 10.3115/981732.981767

M3 - Paper

SP - 255

EP - 262

ER -