By the same authors

An Attributive Logic of Set Descriptions and Set Operations

Research output: Contribution to conferencePaper

Author(s)

Department/unit(s)

Publication details

DatePublished - 1994
Original languageUndefined/Unknown

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

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations