A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic

This paper analyzes the correctness of the subsumption algorithm used in CLASSIC, a description logic-based knowledge representation system that is being used in practical applications. In order to deal efficiently with individuals in CLASSIC descriptions, the developers have had to use an algorithm that is incomplete with respect to the standard, model-theoretic semantics for description logics. We provide a variant semantics for descriptions with respect to which the current implementation is complete, and which can be independently motivated. The soundness and completeness of the polynomial-time subsumption algorithm is established using description graphs, which are an abstracted version of the implementation structures used in CLASSIC, and are of independent interest.

[1]  Franz Baader,et al.  KRIS: Knowledge Representation and Inference System , 1991, SGAR.

[2]  Hector J. Levesque,et al.  Krypton: A Functional Approach to Knowledge Representation , 1983, Computer.

[3]  P. Patel-Schneider.  Decidable, logic-based knowledge representation , 1987 .

[4]  Robert M. MacGregor,et al.  Issues in Description Logics: Users Meet Developers, Boston, MA, USA, October 1992 , 1992, Description Logics.

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

[6]  Sunit K. Gala,et al.  Classification as a query processing technique in the CANDIDE semantic data model , 1989, [1989] Proceedings. Fifth International Conference on Data Engineering.

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

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

[9]  Peter F. Patel-Schneider,et al.  A Four-Valued Semantics for Terminological Logics , 1989, Artif. Intell..

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

[11]  Alexander Borgida.  From Type Systems to Knowledge Representation: Natural Semantics Specifications for Description Logics , 1992, Int. J. Cooperative Inf. Syst..

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

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

[14]  Bernd Owsnicki-Klewe,et al.  Configuration as a Consistency Maintenance Task , 1988, GWAI.

[15]  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 .

[16]  Peter F. Patel-Schneider,et al.  Undecidability of Subsumption in NIKL , 1989, Artif. Intell..

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

[18]  Franz Baader,et al.  A Scheme for Integrating Concrete Domains into Concept Languages , 1991, IJCAI.

[19]  Chidanand Apté,et al.  Organizing Knowledge in a Complex Financial Domain , 1987, IEEE Expert.

[20]  Maurizio Lenzerini,et al.  Concept Languages as Query Languages , 1991, AAAI.

[21]  Werner Nutt,et al.  Tractable Concept Languages , 1991, IJCAI.

[22]  Premkumar T. Devanbu,et al.  LaSSIE: a knowledge-based software information system , 1990, [1990] Proceedings. 12th International Conference on Software Engineering.

[23]  W. Nutt,et al.  Subsumption algorithms for concept languages , 1990 .

[24]  Jon R. Wright,et al.  A Knowledge-Based Configurator that Supports Sales, Engineering, and Manufacturing at AT&T Network Systems , 1993, AI Mag..

[25]  Bernhard Nebel,et al.  An Empirical Analysis of Terminological Representation Systems , 1992, Artif. Intell..

[26]  Premkumar T. Devanbu,et al.  LaSSIE—a knowledge-based software information system , 1991, ICSE '90.

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

[28]  Werner Nutt,et al.  Terminological Knowledge Representation: A Proposal for a Terminological Logic , 1991, Description Logics.

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

[30]  Michael Frazier,et al.  Classic learning , 1994, COLT '94.

[31]  Michael Frazier,et al.  CLASSIC Learning , 1994, COLT.

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