[發(fā)明專利]一種基于重寫技術的完整性約束驗證方法

在審

• 申請?zhí)枺?/td>: 202010009817.0
• 申請日: 2020-01-06
• 公開（公告）號: CN111241296A
• 公開（公告）日: 2020-06-05
• 發(fā)明（設計）人: 崔仙姬;姜雨蒙
• 申請（專利權）人: 大連民族大學
• 主分類號: G06F16/36
• 分類號: G06F16/36;G06F16/33;G06F16/2453
• 代理公司: 大連智高專利事務所(特殊普通合伙) 21235
• 代理人: 馬慶朝

一種基于重寫技術的完整性約束驗證方法，屬于語義網絡數(shù)據(jù)處理技術領域。技術要點是：將IC公理轉化為連接查詢與not的結合，其中not在連接查詢中表示否定；將查詢主體中的分離詞分解為具有相同頭部的不同查詢，進而轉化為連接查詢；重寫IC驗證；根據(jù)轉換規(guī)則對DL?LiteR知識庫進行規(guī)范化；使用算法檢驗DL?LiteR知識庫是否滿足完整性約束。有益效果：本發(fā)明所述的基于重寫技術的完整性約束驗證方法能得到完整性約束的推理，從而改進DL?LiteR的完整性約束驗證效果，得到更直觀的完整性約束驗證結果；該方法可應用于基于本體的軟件工程中的需求獲取、工作流模型驗證和基于本體的科技文獻檢索過程等本體應用中，可以進一步提高其驗證和檢索效率。

技術領域

本發(fā)明屬于語義網絡數(shù)據(jù)處理技術領域，尤其涉及一種基于重寫技術的完整性約束驗證方法。

背景技術

語義網是萬維網的延伸，在萬維網中，信息以智能形式表達，使計算機能夠更好地理解。本體作為語義Web中表示數(shù)據(jù)的概念模式，Web本體語言(OWL)是W3C推薦的候選本體語言。社交計算是一種智能的計算模式，它允許用戶以社交標簽的形式提供簡短而豐富的個性化標簽，從而參與管理網絡數(shù)據(jù)。它可以在不需要任何專業(yè)知識的情況下提高資源檢索和識別的效率。

但是，這些被標記的數(shù)據(jù)不能保證是正確的，所以有需要驗證這些被標記的數(shù)據(jù)的正確性。目前針對解決語義網絡中的一般語法錯誤和邏輯沖突有幾種成熟的工具。但是對于大多數(shù)以數(shù)據(jù)為中心的應用程序，還需要考慮用戶的約束。以微信為例，需要限制人的數(shù)量、單詞的數(shù)量等。這些約束需要以規(guī)則的形式表示，并在其他社會計算應用程序中自動驗證和修復。因此，需要在本體中引入完整性約束。完整性約束最初是在數(shù)據(jù)庫和人工智能知識表示語言中提出的，以保證知識庫可以接受的合法狀態(tài)。可以將它們添加到本體中，以保證OWL本體中數(shù)據(jù)的合法狀態(tài)。

這項工作有很長研究時間。現(xiàn)有的一些方法是使用具有認知算子和非單調規(guī)則的公式來對完整性約束建模。然而，這些建模方式修改了標準DL知識庫的語法，所以不再適合在DL知識庫中進行標準推理。基于此，研究人員想要在DL知識庫中修改公理的語義來滿足完整性約束的語義，并使用最小模型來定義完整性約束的滿足度。最近的相關工作由陶^[1]等人提出，基于將完整性約束驗證轉換為用SPARQL查詢答案的想法。然而，由于標準DL知識庫的特點，標SPARQL查詢只關注ABox實例而忽略了標準推理。所以它可能會丟失在完整性約束驗證中很重要的DL知識庫中的標準推理結果。

[1]Tao,J.,Sirin,E.,Bao,J.,McGuinness,D.:Integrity constraints inOWL.In:AAAI,pp.11–15(2010)

發(fā)明內容

為了解決上述現(xiàn)有技術中存在的問題，本發(fā)明提出一種基于重寫技術的完整性約束驗證方法，該方法能得到完整性約束的推理，從而改進DL-LiteR的完整性約束驗證效果。

技術方案如下：

一種基于重寫技術的完整性約束驗證方法，步驟如下：

S1、將IC公理轉化為連接查詢與not的結合，其中not在連接查詢中表示否定；

S2、將查詢主體中的分離詞分解為具有相同頭部的不同查詢，進而轉化為連接查詢；

S3、重寫IC驗證；

S4、根據(jù)轉換規(guī)則對DL-LiteR知識庫進行規(guī)范化；

S5、使用算法檢驗DL-LiteR知識庫是否滿足完整性約束。

進一步的，步驟S1中，對于一個KB，的連接查詢的原子at定義如下: