Inclusion, disjointness and choice: the logic of linguistic classification

Authors:
Bob Carpenter;Carl Pollard
Affiliations:
Carnegie Mellon University, Pittsburgh, PA;Ohio Sate University, Columbus, OH
Venue:
ACL '91 Proceedings of the 29th annual meeting on Association for Computational Linguistics
Year:
1991

Citing 8
Cited 5

An algebraic semantics approach to the effective resolution of type equations

Theoretical Computer Science
Information-based syntax and semantics: Vol. 1: fundamentals

Information-based syntax and semantics: Vol. 1: fundamentals
Implementing systemic classification by unification

Computational Linguistics
CLASSIC: a structural data model for objects

SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Hierarchical knowledge bases and efficient disjunctive reasoning

Proceedings of the first international conference on Principles of knowledge representation and reasoning
Semantic domains

Handbook of theoretical computer science (vol. B)
Structure-sharing in lexical representation

ACL '85 Proceedings of the 23rd annual meeting on Association for Computational Linguistics
Language As a Cognitive Process: Syntax

Language As a Cognitive Process: Syntax

Inheritance in natural language processing

Computational Linguistics - Special issue on inheritance: I
Computing with features as formulae

Computational Linguistics
A treatment of negative descriptions of typed feature structures

COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
Semantic Network Array Processor as a massively parallel computing platform for high performance and large-scale natural language processing

COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 2
First results of a French linguistic development environment

COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 4

Quantified Score

Hi-index	0.00

Visualization

Abstract

We investigate the logical structure of concepts generated by conjunction and disjunction over a monotonic multiple inheritance network where concept nodes represent linguistic categories and links indicate basic inclusion (ISA) and disjointness (ISNOTA) relations. We model the distinction between primitive and defined concepts as well as between closed-and open-world reasoning. We apply our logical analysis to the sort inheritance and unification system of HPSG and also to classification in systemic choice systems.