技术领域
[0001] 本
发明属于电
力系统信息集成领域，本发明是有关一种基于本体的电网公共信息模型的验证工具及其方法。
背景技术
[0002] 随着城市配电网规模的不断扩大，电力企业应用需求增加，应用系统间存在大量信息交换，然而各部
门开发的应用系统，其信息模型大多按照各自需求建立，缺少统一
接口规范，内部功能交叉重叠且数据格式不统一，造成大量冗余，如何实现业务信息的无缝集成，成为了目前电力企业信息化过程中的热点问题。
[0003] 国际电工委员会（IEC）制定了IEC 61970/61968系列标准，其中IEC 61970主要定义了公共信息模型（CIM，Common Information Model），解决了信息交换的语义问题，为各个应用提供了与平台无关的统一电力系统逻辑描述。IEC 61968-11则针对配电网的业务需求，对CIM进行了扩展，定义了配网各应用的信息模型。国内外进行了数次互操作实验，也充分验证了CIM模型的可行性。
[0004] 以往针对电网模型的互操作试验都是采用CIM/XML（基于CIM的RDF应用）文件实现模型的导入与导出，一旦出现模型错误或者不匹配则导致数据交互失败。例如不同厂家采用不同版本的CIM模型、针对业务需求进行私有扩展且双方未协商等，这些都会造成互操作双方语义难以辨识，引发错误。当然也有可能因为导入的数据出现业务逻辑错误（例如电网拓扑连接错误）而出错。但是以往的模型解析与数据导入往往是绑定在一起的，这种绑定模式不利于发现其错误来源，因此，互操作过程需要一种能够校验模型本身错误的验证器。
[0005] 另外随着电力信息标准化的逐步开展，电力企业开始构建基于
企业服务总线（Enterprise Service Bus,ESB）的信息集成架构。然而以往的总线模式只是规范了总线消息的语法格式，并没有对语义模型进行约束，导致总线上传递的信息模型混乱，因此从规范总线语义的
角度出发，有必要在总线上部署模型验证服务。元数据层的语义校验需要描述元数据的语言具有强大的表达能力，以及一定的推理能力，近些年在语义网研究领域，本体（Ontology）技术得到了较快的发展。而本体出色的语义表达能力可以很好的满足我们语义验证的需求。本体是共享概念化的、显式的、形式化的说明。应用系统可以使用本体显式
声明它们所包含的知识，这对于语义的建模非常有用。其代表性的语义表示语言（本体语言）有：RDF和RDF模式（RDF Schema，RDFS），OIL，DAML+OIL和OWL。IEC 61970建议采用RDFS规范XML文档的词汇表，但对于语义网来说，RDF/RDFS并不是一个合适的
基础，它在充分描述资源方面的能力太弱，而且缺乏对术语含义进行逻辑约束的机制，因此在语义表达能力上明显不足，因此无法满足模型验证的语义需求。
发明内容
[0006] 本发明的目的在于提出一种基于本体的电网公共信息模型的验证工具及其方法，解决传统互操作试验、以及电力企业信息集成过程中出现的问题，以利于规范电力企业信息集成总线的语义，实现多系统信息集成与交互，为建设坚强统一的
智能电网打下坚实的集成基础。
[0007] 为了实现上述目的，本发明提出一种基于本体的电网公共信息模型的验证工具，包括以下组成部分：
[0008] A. 物理层：包括导入模
块和解析模块，所述导入模块用于公共信息模型验证模式CIM Schema和公共信息模型子集CIM Profile的本体文档的导入；所述解析模块用于CIM/XML电网模型的基本模型（Base Model）和增量模型（Incremental Model）的解析，所述增量模型文件的解析是支持扩展模型的。
[0009] B. 功能层：包括本体解析转化模块、查询模块、推理模块以及验证模块。其中所述本体解析转化模块将导入的CIM/XML电网模型RDF转换为内存中的本
体模型，所述本体解析转化模块是用OWL语言描述的；所述查询模块使用SPARQL语言完成CIM/XML电网模型的资源查询检索；所述推理模块根据导入的集成本体模型所采用的本体描述语言，选择合适的推理机完成本体知识层的推理，其中所述集成本体模型为公共信息模型验证模式CIM Schema和公共信息模型子集CIM Profile的本体知识层信息融合形成的，所述本体描述语言为OWL子语言；所述验证模块根据推理的语义逻辑信息，完成类、属性、统一资源标识符URI、重数（Cardinality）、词汇（Vocabulary）等方面的校验比对。
[0010] C. 用户层：包括
用户界面模块和应用程序模块。所述用户界面模块用于实现CIM/XML电网模型解析结果、验证结果、验证模式的显示；所述应用程序模块用于CIM/XML电网模型解析结果、验证结果、验证模式的管理，以及文档的导入导出功能。
[0011] 本发明涉及原理如下：
[0012] 一个具体的CIM/XML电网模型文件是将CIM语义信息模型及其扩展，映射为包含电力系统模型信息的CIM/RDF应用，因此它必须遵循CIM语义以及子集（Profile）的约束机制。在对CIM/XML电网模型进行校验时，需要构建基于公共信息模型验证模式CIM Schema和公共信息模型子集CIM Profile的本体作为比较的对象，从而找出模型层（即元数据层）的语义差异。考虑到RDFS在语义表达能力，和逻辑推理方面的不足，采用OWL语言来描述公共信息模型验证模式CIM Schema和公共信息模型子集CIM Profile。其中OWL语言又包含三
种子语言，为OWL-LITE、OWL-DL及OWL-FULL，根据各子语言的特点，从信息交换需求的角度出发，选择合适的子语言描述本体模型。
[0013] 在内存中完成模型的元数据语义校验，首先需要实现公共信息模型模式CIM Schema和公共信息模型子集CIM Profile的本体的知识层信息融合，生成一个集成本体模型（InfGraph）；然后根据所述集成本体模型所采用的描述语言，绑定合适的推理机，完成知识层的推理；最后遍历CIM/XML电网模型的元数据信息，并在所述集成本体模型中完成查询。
[0014] 为了实现上述目的，本发明还相应提出一种基于本体的电网公共信息模型的验证方法，包括以下步骤：
[0015] (1) 导入需要验证的CIM/XML电网模型进行解析，并校验CIM/XML电网模型RDF语法格式，若结果为否，则报出语法错误提示；
[0016] (2) 将CIM/XML电网模型在内存中转换为本体模型，导入定制的RDFS规则文档，完成RDFS模式验证，检查所述本体模型是否符合RDFS定义的一些通用规则，所述本体模型用OWL-FULL语言描述，绑定基于RDFS规则的推理机；
[0017] (3) 导入用OWL语言描述的公共信息模型验证模式CIM Schema和公共信息模型子集CIM Profile，并完成两个本体的知识层合并；
[0018] (4) 根据公共信息模型验证模式CIM Schema所采用的本体描述语言，绑定合适的推理机（如基于OWL-DL规则的推理器）；
[0019] (5) 遍历CIM/XML电网模型中的谓语成分（即引用的CIM模型的
属性信息），并在集成本体模型InfGraph中查找所述谓语成分，若找不到所述谓语成分，则报出一则不兼容信息，若找到则执行下述步骤（6）；
[0020] (6) 遍历CIM/XML电网模型中引用的CIM类，在集成本体模型InfGraph中查找是否具有所述CIM类，若找不到所述CIM类，则报出一则不兼容信息，若找到则执行下述步骤（7）；
[0021] (7) 遍历统一资源标识符URI、命名空间前缀、重数、词汇等信息，若找不到该信息，则重复所述步骤（5）和所述步骤（6），若找到则执行下述步骤（8）；
[0022] (8) 汇总在验证中生成的所述不兼容信息，生成验证结果文档。
[0023] OWL作为W3C推荐的标准，是其所倡导的语义网核心技术之一，被公认为未来的Web本体语言标准。OWL位于RDFS的上层，基于RDFS语法和本体原语（类等），增加了更加丰富的原语集（传递、基数等）以及描述类与属性的域结构。
[0024] 总体来说，本发明就是从实际的CIM/XML（公共信息模型Common Information Model/可扩展
标记语言extensible markup language）电网模型中解析出元数据信息，并与统一的标准信息模型（公共信息模型验证模式CIM Schema和公共信息模型子集CIM Profile）做比对，分析模型的兼容性与语义一致性；针对模型验证在语义方面的需求，提出采用OWL本体语言作为集成本体模型的描述语言，并提出了基于公共信息模型验证模式CIM Schema和公共信息模型子集CIM Profile的本体集成验证方法。这种方法能够充分利用本体技术在语义表达以及逻辑推理方面的优势，实现电网模型CIM/XML元数据层的语义识别与验证。
[0026] 1、本发明解决电网企业信息集成在语义规范上的不一致以及互操作过程中出现的模型不匹配问题，便于组件模型的管理与CIM的升级维护，可以为电力运营商在规范企业级消息总线、维护各系统厂商模型一致性方面提供很好的
支撑。
[0027] 2、本发明提出的校验机制基于本体语言OWL，从底层语义级实现对模型的验证，即可以实现基于CIM全模型(OWL-Full描述)的验证模式，也可以实现子集Profile的验证模式。
[0028] 3、本发明提出的模型验证工具，即可以实现总线上部署模型验证服务，对总线信息模型进行在线一致性验证，也可以离线对交换的模型和消息进行一致性验证。
附图说明
[0029] 图1为本发明的模型验证原理图；
[0030] 图2为本发明的总体架构图；
具体实施方式
[0032] 下面结合附图和具体
实施例对本发明作出详细的说明，但下述实施列并非用于限定本发明。
[0033] IEC 61968/70系列标准定义的公共信息模型CIM为电力系统提供了一套公共的元数据语义，而模式（Schema）则用某种数据描述语言来描绘元数据与元数据之间的相互关系。子集（Profile）是针对特定的业务需求从模式（Schema）中选择一组类、属性以及关系的集合，并对关系进行了约束规范。一个具体的CIM/XML文件是将CIM语义信息模型及其扩展，映射为包含电力系统模型信息的CIM/RDF应用，因此它必须遵循CIM语义以及子集（Profile）的约束机制。
[0034] 因此，本发明提出的模型验证就是将CIM/XML中包含的元数据信息，与标准的信息模型（CIM模型及其扩展）做比对，分析模型的兼容性与语义一致性。例如下面是一段采用OWL-Full语言描述的配网公共需求子集CDPSM(Common Distribution Power System Model)。
[0035]
[0036]
[0037] …
[0038]
[0039]
[0040]
[0041]
[0042] 1
[0043]
[0044] [0045]
[0046] 上述这一段，对
端子Terminal的属性IdentifiedObject.name做了约束，最小基数为1，即要求端子Terminal的实例必须包含该属性信息。因此如果CIM/XML中的一个端子Terminal实例没有这个属性，验证引擎就会捕捉到这一错误，提示某实例缺少IdentifiedObject.name属性。
[0047] 参看图1，图1是本发明的模型验证原理，具体如下：
[0048] 考虑到实际的CIM/XML电网模型，必须遵循其统一制定的标准CIM语义以及子集（Profile）的约束机制。因此在对CIM/XML电网模型1进行校验时，需要构建基于公共信息模型验证模式CIM Schema2和所述公共信息模型子集CIM Profile3的集成本体模型5作为比较的对象，从而找出模型层（即元数据层）的语义差异。由于RDFS（Resource Description Framework Schema，用于定义元数据属性元素，以描述资源的一种定义语言）在语义表达能力，和逻辑推理方面较弱，需要采用OWL网络本体语言来描述公共信息模型验证模式CIM Schema2和所述公共信息模型子集CIM Profile3。其中OWL语言又包含三种子语言（OWL-LITE、OWL-DL及OWL-FULL），根据各子语言的特点，从信息交换需求的角度出发，选择合适的子语言描述本体模型。最后将基于本体的公共信息模型验证模式CIM Schema2和所述公共信息模型子集CIM Profile3导入并合并，通过模型验证引擎4完成CIM/XML电网模型1与统一的标准信息模型的校验比对，并导出不兼容信息。
[0049] 其中该验证引擎的实施步骤为：
[0050] a) 将公共信息模型验证模式CIM Schema2和所述公共信息模型子集CIM Profile3导入，并转化为内存本体模型；
[0051] b) 实现所述这两个模型的知识层信息融合，生成一个集成本体模型5InfGraph；
[0052] c) 根据该集成模型5InfGraph所采用的描述语言，绑定合适的推理机，基于推理规则，完成知识层的推理；
[0053] d) 遍历CIM/XML电网模型1的元数据信息，并在集成本体模型InfGraph5中完成查询；
[0054] e) 导出不兼容信息。
[0055] 参看图1和图2，图2为本发明的一种基于本体的电网公共信息模型的验证工具的总体架构图，包括：
[0056] A. 物理层21：用于完成文档的导入和解析，包括导入模块211和解析模块212，所述导入模块211用于公共信息模型验证模式CIM Schema2和公共信息模型子集CIM Profile3的本体文档的导入；所述解析模块212用于CIM/XML电网模型1的基本模型（Base Model）和增量模型（Incremental Model）的解析，所述增量模型文件的解析是支持扩展模型的。
[0057] B. 功能层22：包括本体解析转化模块221、查询模块222、推理模块223以及验证模块224。其中本体解析转化模块221将导入的CIM/XML电网模型1RDF转换为内存中的本体模型（用OWL语言描述）；查询模块222使用SPARQL语言完成CIM/XML电网模型1资源的查询检索；推理模块223用于根据导入的集成本体模型5所采用的OWL语言，选择推理机，完成所述集成本体模型5的推理，其中所述集成本体模型5为公共信息模型验证模式CIM Schema2和所述公共信息模型子集CIM Profile3的本体知识层合并，所述OWL语言包含三种子语言，为OWL-LITE、OWL-DL及OWL-FULL；验证模块224根据推理的语义逻辑信息，完成类、属性、统一资源标识符URI、重数（Cardinality）、词汇（Vocabulary）等方面的校验比对。
[0058] C. 用户层23：包括用户界面模块231和应用程序模块232。所述用户界面模块231用于实现CIM/XML电网模型解析结果、验证结果、验证模式的显示；所述应用程序模块
232用于CIM/XML电网模型解析结果、验证结果、验证模式的管理，以及文档的导入导出功能。
[0059] 参看图3，图3为本发明的一种基于本体的电网公共信息模型的验证方法的具体流程图，流程包括以下步骤：
[0060] S1：导入CIM/XML电网模型1的基本模型进行解析，并校验所述CIM/XML电网模型1的基本模型的RDF语法格式，若结果为否，则报出语法错误提示；
[0061] S2：将所述CIM/XML电网模型1的基本模型在内存中转换为本体模型（OWL-FULL语言描述，绑定基于RDFS规则的推理机），导入定制的RDFS规则文档，完成RDFS模式验证，检查所述本体模型是否符合RDFS定义的一些通用规则；
[0062] S3：导入用OWL语言描述的公共信息模型验证模式CIM Schema2和公共信息模型子集CIM Profile3，并完成所述公共信息模型验证模式CIM Schema2和所述公共信息模型子集CIM Profile3的知识层合并，生成一个集成本体模型5；
[0063] S4：根据所述集成本体模型5所采用的OWL语言，绑定推理机（如基于OWL-DL规则的推理器）；
[0064] S5：遍历所述CIM/XML电网模型1的基本模型中的谓语成分（即引用的CIM模型的属性信息），并在所述集成本体模型5InfGraph中查找所述谓语成分，若找不到所述谓语成分，则报出一则不兼容信息，若找到则执行下述步骤（6）；
[0065] S6：遍历所述CIM/XML电网模型1的基本模型中引用的CIM类，在所述集成本体模型5InfGraph中查找是否具有所述CIM类，若找不到所述CIM类，则报出一则不兼容信息，若找到则执行下述步骤7；
[0066] S7：遍历出统一资源标识符URI、命名空间前缀（Namespace Prefix）、重数（Cardinality）、词汇（Vocabulary）等信息，若找不到该信息，则重复步骤（5）、（6），若找到则执行步骤（8）；
[0067] S8：汇总在验证中生成的不兼容信息，生成验证结果文档。
[0068] 综上所述，本发明能够解析CIM/XML电网模型（包含扩展模型）以及增量模型，并对CIM/XML电网模型提供元数据层语义验证，从而便于规范企业集成总线的语义，利于组件模型的管理与维护以及CIM版本的升级。
[0069] 对本领域内的技术人员来说，在不脱离本发明的实质范围内，对上述实施例进行适当的替换或
修改都将落在本发明
权利要求的范围内。示例性的实施仅仅是例证性的，而不是对本发明的限定，本发明的范围由所附的权利要求所定义。
