[發明專利]一種本體概念的可滿足性檢測的方法和裝置

無效

• 申請號: 200810149698.8
• 申請日: 2008-09-22
• 公開（公告）號: CN101686143A
• 公開（公告）日: 2010-03-31
• 發明（設計）人: 張翼;張永剛;車海燕;葉育鑫;劉瑤
• 申請（專利權）人: 華為技術有限公司
• 主分類號: H04L12/24
• 分類號: H04L12/24;H04Q3/00
• 代理公司: 北京挺立專利事務所
• 代理人: 葉樹明

技術領域

本發明涉及通信技術領域，尤其涉及一種本體概念的可滿足性檢測的方法和裝置。

背景技術

鑒于本體描述語言與描述邏輯語言的密切相關性，通常將描述邏輯的推理方法用在本體推理中。目前針對描述邏輯的推理問題，主要有四種推理方法。分別是：結構化算法、Tableau(表推演)算法、轉換方法和基于自動機的方法。

為實現本體一致性檢測推理機，較適用的是采用Tableau算法作為推理的核心算法。Tableau算法只對判定算法的本身進行了定義(即只定義了擴展規則)，對于支持復雜構造算子集的推理系統而言，簡單地應用擴展規則進行Tableau擴展，時間和空間復雜度都非常高。為此，需要引入多種優化算法來提高推理效率。其中較為適用的有BCP(Boolean?Constraint?Propagation，布爾約束傳播)優化技術和回跳優化技術。它們的引入都在不同層面上簡化了Tableau算法的推理步驟，提高了推理效率。BCP優化技術能有效地減少disjunction(析取)項的數目；回跳優化技術能使Tableau算法直接回溯到引發沖突的節點，避免無用的擴展開銷。

在實現本發明的過程中，發明人發現現有技術中存在以下缺點：

現有技術中，BCP優化技術方案只能解決部分disjunction項的化簡問題，簡化得不夠徹底。

發明內容

本發明實施例提供了一種本體概念的可滿足性檢測的方法和裝置，通過將改進的BCP優化技術應用于本體概念的可滿足性檢測中，對disjunction項進行了充分的化簡，提高了檢測效率。

本發明實施例提供了一種本體概念的可滿足性檢測的方法，包括以下步驟：

初始化本體概念的概念集合；

應用改進的BCP優化技術化簡所述概念集合；

根據化簡后的概念集合判斷所述本體概念的可滿足性。

本發明實施例還提供了一種實現本體概念的可滿足性檢測的裝置，包括：

初始化模塊，用于初始化本體概念的概念集合；

化簡模塊，用于應用改進的BCP優化技術化簡所述初始化模塊得到的概念集合；

判斷模塊，用于根據所述化簡模塊得到的化簡后的概念集合判斷所述本體概念的可滿足性。

本發明的實施例中，通過將改進的BCP優化技術應用于本體概念的可滿足性檢測中，對disjunction項進行了充分的化簡，提高了檢測效率。

附圖說明

為了更清楚地說明本發明實施例或現有技術中的技術方案，下面將對實施例或現有技術描述中所需要使用的附圖作簡單地介紹，顯而易見地，下面描述中的附圖僅僅是本發明的一些實施例，對于本領域普通技術人員來講，在不付出創造性勞動性的前提下，還可以根據這些附圖獲得其他的附圖。

圖1是本發明實施例中一種本體概念的可滿足性檢測的方法流程圖；

圖2是本發明實施例中另一種本體概念的可滿足性檢測的方法流程圖；

圖3是本發明實施例中一種實現本體概念的可滿足性檢測的裝置結構圖。

具體實施方式

下面將結合本發明實施例中的附圖，對本發明實施例中的技術方案進行清楚、完整地描述，顯然，所描述的實施例是本發明一部分實施例，而不是全部的實施例。基于本發明中的實施例，本領域普通技術人員在沒有作出創造性勞動前提下所獲得的所有其他實施例，都屬于本發明保護的范圍。

本發明實施例提供了一種本體概念的可滿足性檢測的方法的方法，如圖1所示，包括以下步驟：

步驟101，初始化本體概念的概念集合。

將所述本體概念的依賴集合的初值設置為所述本體概念中disjunction項的深度計數值，將所述深度計數值初值設為1，將所述本體概念的執行隊列初值設置為空。

步驟102，應用改進的BCP優化技術化簡所述概念集合。