[發(fā)明專利]基于本體推理的配電網(wǎng)模型及拓?fù)湫ｒ?yàn)方法

有效

• 申請(qǐng)?zhí)枺?/td>: 201410697973.5
• 申請(qǐng)日: 2014-11-28
• 公開（公告）號(hào): CN104361105B
• 公開（公告）日: 2018-02-13
• 發(fā)明（設(shè)計(jì)）人: 許泰峰;傅光華;張子仲
• 申請(qǐng)（專利權(quán)）人: 國(guó)家電網(wǎng)公司;國(guó)網(wǎng)電力科學(xué)研究院;國(guó)電南瑞科技股份有限公司
• 主分類號(hào): G06F17/30
• 分類號(hào): G06F17/30
• 代理公司: 南京縱橫知識(shí)產(chǎn)權(quán)代理有限公司32224
• 代理人: 董建林,許婉靜

1.基于本體推理的配電網(wǎng)模型及拓?fù)湫ｒ?yàn)方法，其特征在于：包括以下步驟，

步驟（1），配電網(wǎng)模型語法校驗(yàn)的輸入

輸入包含模型和模型模式，模型的描述語言為RDF語言，模型模式的描述語言選擇OWL語言；

步驟（2）進(jìn)行配電網(wǎng)模型語法校驗(yàn)

基于完整性約束推理機(jī)，將OWL語言的模型模式轉(zhuǎn)換為SPARQL查詢語句，在SPARQL查詢語句下對(duì)RDF語言描述的模型進(jìn)行查詢式驗(yàn)證，輸出沖突信息；

步驟（3）配電網(wǎng)模型語法校驗(yàn)的輸出

輸出為模型與模型模式的沖突信息，包括類型錯(cuò)誤、屬性名稱錯(cuò)誤、對(duì)象屬性關(guān)聯(lián)錯(cuò)誤、屬性與其基數(shù)約束沖突；

步驟（4）配電網(wǎng)模型拓?fù)湫ｒ?yàn)的輸入

輸入包含拓?fù)鋯卧鸵?guī)則單元，拓?fù)鋯卧獮槌橄蟮碾娏υO(shè)備連接關(guān)系描述語言為RDF語言，規(guī)則單元為按照規(guī)則推理引擎提供的規(guī)則語法和驗(yàn)證目標(biāo)定義的；

步驟（5）進(jìn)行配電網(wǎng)模型拓?fù)湫ｒ?yàn)

基于規(guī)則推理機(jī)，根據(jù)規(guī)則單元對(duì)拓?fù)鋯卧M(jìn)行快速搜索和匹配，實(shí)現(xiàn)對(duì)拓?fù)鋯卧男ｒ?yàn)；

步驟（6）配電網(wǎng)模型拓?fù)湫ｒ?yàn)的輸出

輸出為拓?fù)鋯卧c規(guī)則單元相匹配的內(nèi)容中出現(xiàn)的錯(cuò)誤的電氣連接關(guān)系；

所述步驟（2）完整性約束推理機(jī)為Pellet ICV完整性約束推理機(jī)，在SPARQL查詢語句下對(duì)RDF語言描述的模型進(jìn)行查詢式驗(yàn)證，包括命名校驗(yàn)、屬性校驗(yàn)、系統(tǒng)導(dǎo)入校驗(yàn)；

所述步驟（5）對(duì)拓?fù)鋯卧男ｒ?yàn)，包括端子數(shù)目校驗(yàn)、節(jié)點(diǎn)校驗(yàn)、電壓等級(jí)校驗(yàn)、拓?fù)潢P(guān)系校驗(yàn)。

2.根據(jù)權(quán)利要求1所述的基于本體推理的配電網(wǎng)模型及拓?fù)湫ｒ?yàn)方法，其特征在于：步驟（5）規(guī)則推理機(jī)為Jena規(guī)則推理機(jī)。