Abstract In the general framework of the KBS validation, our work deals with the consistency checking of the domain knowledge. We have chosen to cope with the problem in a modular way according to the different aspects (deductive, structuring) of the domain knowledge. In this paper, we study the consistency of the structuring aspect of the domain knowledge, which corresponds with the links of specialization between the concepts of the domain. Our approach consists of getting free of the implementation aspects of any specific object-oriented language. For that, we have chosen to specify this structuring aspect in a terminological formalism issued from Description Logics. Such terminological formalisms have emerged from several recent works on Knowledge Representation issued from the KL-ONE language. They are devoted to formally representing information about individual objects, related by binary relationships (called roles) and grouped into concepts, in a syntax associated with a formal semantics.
[1]
Franz Baader,et al.
KRIS: Knowledge Representation and Inference System
,
1991,
SGAR.
[2]
Marie-Christine Rousset,et al.
On the consistency of knowledge bases: the COVADIS system
,
1988,
Comput. Intell..
[3]
Peter F. Patel-Schneider,et al.
Living wiht Classic: When and How to Use a KL-ONE-Like Language
,
1991,
Principles of Semantic Networks.
[4]
Bernhard Hollunder,et al.
Subsumption Algorithms for Concept Description Languages
,
1990,
ECAI.
[5]
Bernhard Nebel,et al.
Reasoning and Revision in Hybrid Representation Systems
,
1990,
Lecture Notes in Computer Science.
[6]
Christof Peltason.
The BACK system—an overview
,
1991,
SGAR.
[7]
John F. Sowa,et al.
Principles of semantic networks
,
1991
.