基于本体旋转机故障知识本体建模研究.pptVIP

4 旋转机械故障领域知识本体的进化和推理 4.1 旋转机械故障领域知识本体的进化 采用基于属性和准则并结合上下文的语义环境的方法，对已构建的旋转机械故障知识领域核心本体进一步完善 。（旋转机械故障知识知识本体振动特征类） 4 旋转机械故障领域知识本体的进化和推理 旋转机械故障知识本体敏感参数类 4 旋转机械故障领域知识本体的进化和推理 旋转机械故障知识本体故障原因类 4 旋转机械故障领域知识本体的进化和推理 旋转机械故障知识本体治理措施类 4 旋转机械故障领域知识本体的进化和推理 4.2 旋转机械故障领域知识本体的一致性检验 首先，由前面的定义3.1和定义3.2有如下推论： 推论1：旋转机械故障知识本体中的任意类C，有is-a(C1，C2)； 推论2：旋转机械故障知识本体中任意两个类C1，C2，如果is-a(C1，C2)，则is-a(C2，C1)不成立; 推论3：旋转机械故障知识本体中任意类C1，C2，C3，如果is-a(C1，C2)， is-a(C2，C3)，则有is-a(C1，C3)； 推论4：旋转机械故障知识本体中任意类C1，C2，C3，C4，如果is-a(C1，C3)，is-a(C2，C4)，且disjoint (C3，C4)，则disjoint (C1，C2). 4 旋转机械故障领域知识本体的进化和推理 类间关系的一致性检验 算法1：检验类