[發(fā)明專利]基于整數(shù)線性規(guī)劃的本體邏輯矛盾處理方法

在審

• 申請?zhí)枺?/td>: 201910280411.3
• 申請日: 2019-04-09
• 公開（公告）號: CN110069747A
• 公開（公告）日: 2019-07-30
• 發(fā)明（設計）人: 季秋;漆桂林;依曼
• 申請（專利權）人: 南京郵電大學
• 主分類號: G06F17/15
• 分類號: G06F17/15;G06F16/36
• 代理公司: 南京縱橫知識產(chǎn)權代理有限公司 32224
• 代理人: 董建林

1.基于整數(shù)線性規(guī)劃的本體邏輯矛盾處理方法，其特征在于，包括以下步驟：

步驟1、給出本體的來源；

步驟2、通過本體調試工具計算沖突，并對每個不可滿足概念的沖突計算設置時間閾值；

步驟3、根據(jù)實際應用構建目標函數(shù)，以及根據(jù)每個沖突構建約束；

步驟4、調用已有的整數(shù)線性規(guī)劃求解器進行求解，將得到的第一個變量指派作為輸出；

步驟5、根據(jù)求解器返回的變量指派構建最終的解決方案，從本體中刪除該方案中的公理便可以解決給定的邏輯矛盾。

2.根據(jù)權利要求1所述的基于整數(shù)線性規(guī)劃的本體邏輯矛盾處理方法，其特征在于，步驟1進一步包括：從已有本體庫挑選或通過本體構建工具構建一個不協(xié)調本體O，然后從中挑選全部或部分不可滿足概念。

3.根據(jù)權利要求1所述的基于整數(shù)線性規(guī)劃的本體邏輯矛盾處理方法，其特征在于，步驟2進一步包括：使用本體調試工具計算最小沖突集合，如果計算一個概念的沖突集合超過規(guī)定時間，則強行停止，保留已經(jīng)找到的沖突。

4.根據(jù)權利要求1所述的基于整數(shù)線性規(guī)劃的本體邏輯矛盾處理方法，其特征在于，步驟3進一步包括：將所有找到的沖突合并在一個集合CONF中，對于該沖突集進行模型構建。

5.根據(jù)權利要求4所述的基于整數(shù)線性規(guī)劃的本體邏輯矛盾處理方法，其特征在于，對于步驟3中的沖突集進行模型構建的步驟進一步包括：

步驟3-1、獲取沖突集中所有不同的公理，構成集合S_union；

步驟3-2、為集合S_union中的每個公理構建一個二元變量，得到二元變量集合X，這樣的變量只能取值0或1；

步驟3-3、構建優(yōu)化目標函數(shù)Z：當認為每個公理都同等重要時，目標函數(shù)是X中所有變量之和；當考慮權重時，目標函數(shù)是X中所有變量的加權之和；

步驟3-4、對于CONF中的每個沖突conf，構建一個約束條件，即conf中每個公理對應的變量之和大于等于1，由此可得約束集合C。

6.根據(jù)權利要求5所述的基于整數(shù)線性規(guī)劃的本體邏輯矛盾處理方法，其特征在于，步驟4進一步包括：調用已有的ILP求解器，在滿足約束集合C的情況下求解目標函數(shù)Z的最小值時得到的一個變量指派S_assi。

7.根據(jù)權利要求6所述的基于整數(shù)線性規(guī)劃的本體邏輯矛盾處理方法，其特征在于，步驟4中調用的ILP求解器包括CPlex。

8.根據(jù)權利要求6或7所述的基于整數(shù)線性規(guī)劃的本體邏輯矛盾處理方法，其特征在于，步驟5進一步包括：根據(jù)S_assi構建最終的解決方案，即獲得S_assi中值為1的變量對應的公理，這些公理的集合就是一個解決給定沖突CONF的方案。