针对传统电机故障诊断专家系统中知识表示方法的不足,提出一种基于描述逻辑的电机故障诊断领域知识描述方法。并在此基础上对所构建的电机故障知识库进行了逻辑检错推理.通过对电机故障诊断领域知识进行表示和推理,可以有效地表示电机故障知识之间的关系,检测知识逻辑体系错误.在实验过程中,利用本体编辑工具Protege采用OWL语言对其进行了实现,并通过TABLEAU算法实现了逻辑检错推理.
For the shortcomings of traditional motor fault diagnosis expert system knowledge representation, this paper introduce a description method of description logic-based motor fault diagnosis domain knowledge, and design the logic reasoning. Through represent and reasoning the field knowledge of fault diagnosis knowledge, which can effectively express relation between motor faults, detect errors of the logic system of knowledge and found the field implicated knowledge. In the experimental process, Protege is used to realize this system with OWL, and use TABLEAU algorithm to achieve the logical reasoning of seized mistake.