[发明专利]基于本体的电网公共信息模型的验证工具及其方法

权利要求书

1.一种基于本体的电网公共信息模型的验证工具，其特征在于，包括：

物理层，包括导入模块和解析模块；

功能层，包括以下组成部分：

本体解析转化模块，用于将导入的CIM/XML电网模型RDF转换为内存中的本体模型；

查询模块，用于使用SPARQL语言完成所述CIM/XML电网模型的基本模型资源的查询检索；

推理模块，用于根据导入的集成本体模型所采用的OWL语言，选择推理机，完成所述集成本体模型的推理，其中所述集成本体模型为公共信息模型验证模式CIM Schema和所述公共信息模型子集CIM Profile的本体知识层合并；以及

验证模块，用于根据推理的语义逻辑信息，完成类、属性、统一资源标识符URI、重数、词汇等方面的校验比对；以及

用户层，包括用户界面模块和应用程序模块。

2.如权利要求1所述的基于本体的电网公共信息模型的验证工具，其特征在于，所述导入模块用于所述公共信息模型验证模式CIM Schema和所述公共信息模型子集CIM Profile的本体文档的导入；所述解析模块用于所述CIM/XML电网模型的基本模型和增量模型文件的解析，所述增量模型文件的解析是支持扩展模型的。

3. 如权利要求1所述的基于本体的电网公共信息模型的验证工具，其特征在于，所述本体解析转化模块是用所述OWL语言描述的。

4.如权利要求1所述的基于本体的电网公共信息模型的验证工具，其特征在于，所述OWL语言包含三种子语言，为OWL-LITE、OWL-DL及OWL-FULL。

5.如权利要求1所述的基于本体的电网公共信息模型的验证工具，其特征在于，所述用户界面模块用于实现所述CIM/XML电网模型的解析结果、验证结果、验证模式的显示；所述应用程序模块用于所述CIM/XML电网模型的解析结果、验证结果、验证模式的管理，以及文档的导入导出功能。

6.一种基于本体的电网公共信息模型的验证方法，其特征在于，包括以下步骤：

步骤1：导入CIM/XML电网模型的基本模型进行解析，并校验所述CIM/XML电网模型的基本模型的RDF语法格式，若结果为否，则报出语法错误提示；

步骤2：将所述CIM/XML电网模型的基本模型在内存中转换为本体模型，导入定制的RDFS规则文档，完成RDFS模式验证，检查所述本体模型是否符合RDFS定义的通用规则；

 步骤3：导入公共信息模型验证模式CIM Schema和公共信息模型子集CIM Profile，并完成所述公共信息模型验证模式CIM Schema和所述公共信息模型子集CIM Profile的知识层合并，生成一个集成本体模型；

步骤4：根据所述集成本体模型所采用的OWL语言，绑定推理机；

步骤5：遍历所述CIM/XML电网模型的基本模型中的谓语成分，并在所述集成本体模型InfGraph中查找所述谓语成分，若找不到所述谓语成分，则报出一则不兼容信息，若找到则执行下述步骤6；

步骤6：遍历所述CIM/XML电网模型的基本模型中引用的CIM类，在所述集成本体模型InfGraph中查找是否具有所述CIM类，若找不到所述CIM类，则报出一则不兼容信息，若找到则执行下述步骤7；

步骤7：遍历统一资源标识符URI、命名空间前缀、重数、词汇等信息，若找不到所述些信息，则重复所述步骤5，所述步骤6，若找到则执行下述步骤8；

步骤8：汇总生成的所述不兼容信息，生成验证结果文档。

7.如权利要求6所述的基于本体的电网公共信息模型的验证方法，其特征在于，所述本体模型由OWL-FULL语言描述，绑定基于RDFS规则的推理机。

8.如权利要求6所述的基于本体的电网公共信息模型的验证方法，其特征在于，所述谓语成分为引用的CIM模型的属性信息。

9.如权利要求6所述的基于本体的电网公共信息模型的验证方法，其特征在于，所述公共信息模型验证模式CIM Schema和所述公共信息模型子集CIM Profile用OWL语言描述。

10.如权利要求6所述的基于本体的电网公共信息模型的验证方法，其特征在于，所述OWL语言包含三种子语言，为OWL-LITE、OWL-DL及OWL-FULL。