Decidable Reasoning in Terminological Knowledge Representation Systems

Terminological Knowledge Representation Systems (TKRSs) are tools for designing and using knowledge bases that make use of terminological languages (or concept languages). The TKRS we consider in this paper is of practical interest since it goes beyond the capabilities of presently available TKRSs. First, our TKRS is equipped with a highly expressive concept, language, called ALCNR, including general complements of concepts, number restrictions and role conjunction. Second, it allows one to express inclusion statements between general concepts, in particular to express terminological cycles. We provide a sound, complete and terminating calculus for reasoning in ALCNR-knowledge bases based on the general technique of constraint systems.

[1]  I. G. BONNER CLAPPISON.  Editor , 1960, The Electric Power Engineering Handbook - Five Volume Set.

[2]  Vaughan R. Pratt.  A practical decision method for propositional dynamic logic (Preliminary Report) , 1978, STOC '78.

[3]  Mitchell Wand.  Induction, recursion, and programming , 1980 .

[4]  John Mylopoulos,et al.  A language facility for designing database-intensive applications , 1980, TODS.

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

[6]  Max J. Cresswell,et al.  A companion to modal logic , 1984 .

[7]  Hector J. Levesque,et al.  Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..

[8]  Pierre Wolper,et al.  Automata theoretic techniques for modal logics of programs: (Extended abstract) , 1984, STOC '84.

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

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

[11]  Editors , 1986, Brain Research Bulletin.

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

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

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

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

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

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

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

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

[20]  Carsten Kindermann,et al.  Implementation of the BACK-System Version 4 , 1990 .

[21]  Franz Baader,et al.  Terminological Cycles in KL-ONE-based Knowledge Representation Languages , 1990, AAAI.

[22]  Bernhard Hollunder.  Hybrid Inferences in KL-ONE-Based Knowledge Representation Systems , 1990, GWAI.

[23]  F. Baader,et al.  Concept Logics , 1990 .

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

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

[26]  Franz Baader.  Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles , 1991, IJCAI.

[27]  Klaus Schild,et al.  A Correspondence Theory for Terminological Logics: Preliminary Report , 1991, IJCAI.

[28]  Robert M. MacGregor,et al.  Inside the LOOM description classifier , 1991, SGAR.

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

[30]  Marc B. Vilain,et al.  Deduction as Parsing: Tractable Classification in the KL-ONE Framework , 1991, AAAI.

[31]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[32]  Charles Rich.  CAKE: an implemented hybrid knowledge representation and limited reasoning system , 1991, SGAR.

[33]  Werner Nutt,et al.  The Complexity of Concept Languages , 1997, KR.

[34]  Projektgruppe WINOPostfa.  A Terminological Knowledge Representation System with Complete Inference Algorithms , 1991 .

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

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

[37]  Eric Mays,et al.  K-Rep system overview , 1991, SGAR.

[38]  Francesco M. Donini,et al.  A hybrid system integrating Datalog and concept languages , 1991 .

[39]  Bernhard Nebel,et al.  Terminological Cycles: Semantics and Computational Properties , 1991, Principles of Semantic Networks.

[40]  Franz Baader,et al.  Qualifying Number Restrictions in Concept Languages , 1991, KR.

[41]  Robert M. MacGregor.  What's Needed to Make a Description Logic a Good KR Citizen? , 1992, Description Logics.

[42]  Deborah L. McGuinness,et al.  Making Description Logic Based Knowledge Representation Systems More Usable , 1992, Description Logics.

[43]  Robert M. MacGregor,et al.  Recognition Algorithms for the Loom Classifier , 1992, AAAI.

[44]  Frank J. Oles,et al.  A Non-Well-Founded Approach to Terminological Cycles , 1992, AAAI.

[45]  James G. Schmolze,et al.  The KL-ONE family , 1992 .

[46]  Bernhard Nebel,et al.  An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On , 1992, KR.

[47]  Maurizio Lenzerini,et al.  Representing and Using Interschema Knowledge in Cooperative Information Systems , 1993, Int. J. Cooperative Inf. Syst..

[48]  Francesco M. Donini,et al.  Decidable reasoning in terminological knowledge representation systems , 1993 .

[49]  Frank J. Oles,et al.  The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics , 1993, IJCAI.

[50]  Andrea Schaerf.  Reasoning with Individuals in Concept Languages , 1993, AI*IA.

[51]  Francesco M. Donini,et al.  Deduction in Concept Languages: From Subsumption to Instance Checking , 1994, J. Log. Comput..

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