Consistency checking reduced to satisfiability of concepts in terminological systems
暂无分享,去创建一个
[1] Werner Nutt,et al. Tractable Concept Languages , 1991, IJCAI.
[2] Christof Peltason. The BACK system—an overview , 1991, SGAR.
[3] Franz Baader,et al. Qualifying Number Restrictions in Concept Languages , 1991, KR.
[4] Gert Smolka,et al. Attributive Concept Descriptions with Complements , 1991, Artif. Intell..
[5] Werner Nutt,et al. The Complexity of Existential Quantification in Concept Languages , 1992, Artif. Intell..
[6] Ronald J. Brachman,et al. An overview of the KL-ONE Knowledge Representation System , 1985 .
[7] L McGuinnessDeborah,et al. The CLASSIC knowledge representation system , 1991 .
[8] Projektgruppe WINOPostfa. A Terminological Knowledge Representation System with Complete Inference Algorithms , 1991 .
[9] Hector J. Levesque,et al. Expressiveness and tractability in knowledge representation and reasoning 1 , 1987, Comput. Intell..
[10] Bernhard Hollunder,et al. Subsumption Algorithms for Concept Description Languages , 1990, ECAI.
[11] Bernhard Hollunder,et al. Algorithmic foundations of terminological knowledge representation systems , 1994 .
[12] Bernhard Nebel,et al. Terminological Reasoning is Inherently Intractable , 1990, Artif. Intell..
[13] Peter F. Patel-Schneider,et al. The CLASSIC knowledge representation system: guiding principles and implementation rationale , 1991, SGAR.
[14] Werner Nutt,et al. The Complexity of Concept Languages , 1997, KR.
[15] Franz Baader,et al. KRIS: Knowledge Representation and Inference System , 1991, SGAR.
[16] Robert M. MacGregor,et al. Inside the LOOM description classifier , 1991, SGAR.