Attributive Concept Descriptions with Complements

Abstract We investigate the consequences of adding unions and complements to attributive concept descriptions employed in terminological knowledge representation languages. It is shown that deciding coherence and subsumption of such descriptions are PSPACE-complete problems that can be decided with linear space.

[1]  Hassan Aït-Kaci,et al.  An Algebraic Semantics Approach to the Effective Resolution of Type Equations , 1986, Theor. Comput. Sci..

[2]  Bernhard Nebel,et al.  Representation and Reasoning with Attributive Descriptions , 1990, Sorts and Types in Artificial Intelligence.

[3]  C. Pollard,et al.  Center for the Study of Language and Information , 2022 .

[4]  P. Patel-Schneider Small can be beautiful in knowledge representation , 1984 .

[5]  H. B. Allen,et al.  A Functional Grammar , 1946 .

[6]  Manfred Schmidt-Schaubß,et al.  Subsumption in KL-ONE is undecidable , 1989, KR 1989.

[7]  Hector J. Levesque,et al.  Expressiveness and tractability in knowledge representation and reasoning 1 , 1987, Comput. Intell..

[8]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..

[9]  Gert Smolka,et al.  Feature-Constraint Logics for Unification Grammars , 1989, J. Log. Program..

[10]  Andreas Eisele,et al.  Unification of Disjunctive Feature Descriptions , 1988, ACL.

[11]  Hector J. Levesque,et al.  The Tractability of Subsumption in Frame-Based Description Languages , 1984, AAAI.

[12]  H. Aït-Kaci A lattice theoretic approach to computation based on a calculus of partially ordered type structures (property inheritance, semantic nets, graph unification) , 1984 .

[13]  Bernhard Nebel,et al.  Hybrid Reasoning in BACK , 1988, ISMIS.

[14]  Bernhard Nebel,et al.  Reasoning and Revision in Hybrid Representation Systems , 1990, Lecture Notes in Computer Science.

[15]  Robert T. Kasper,et al.  A Unification Method for Disjunctive Feature Descriptions , 1987, ACL.

[16]  Robert T. Kasper,et al.  A Logical Semantics for Feature Structures , 1986, ACL.

[17]  Jon Doyle,et al.  Two Theses of Knowledge Representation: Language Restrictions, Taxonomic Classification, and the Utility of Representation Services , 1991, Artif. Intell..

[18]  Manfred Schmidt-Schauß,et al.  Subsumption in KL-ONE is Undecidable , 1989, KR.

[19]  Bernhard Hollunder,et al.  Subsumption Algorithms for Concept Description Languages , 1990, ECAI.

[20]  William C. Rounds,et al.  A Complete Logical Calculus for Record Structures Representing Linguistic Information , 1986, LICS.

[21]  R. T. Kasper Feature structures: a logical theory with application to language analysis , 1987 .

[22]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[23]  Andreas Eisele,et al.  Determining Consistency of Feature Terms with Distributed Disjunctions , 1989, GWAI.

[24]  Hector J. Levesque,et al.  An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON , 1985, IJCAI.

[25]  Marc B. Vilain,et al.  The Restricted Language Architecture of a Hybrid Representation System , 1985, IJCAI.

[26]  Ivan A. Sag,et al.  Information-based syntax and semantics , 1987 .

[27]  Hassan Aït-Kaci,et al.  LOGIN: A Logic Programming Language with Built-In Inheritance , 1986, J. Log. Program..

[28]  Thomas Kaczmarek,et al.  Recent Developments in NIKL , 1986, AAAI.

[29]  Bernhard Nebel,et al.  Computational Complexity of Terminological Reasoning in BACK , 1988, Artif. Intell..

[30]  Bernhard Nebel,et al.  Terminological Reasoning is Inherently Intractable , 1990, Artif. Intell..

[31]  Stuart M. Shieber,et al.  An Introduction to Unification-Based Approaches to Grammar , 1986, CSLI Lecture Notes.

[32]  Robert M. MacGregor,et al.  The Loom Knowledge Representation Language. , 1987 .

[33]  Deborah L. McGuinness,et al.  CLASSIC: a structural data model for objects , 1989, SIGMOD '89.