[发明专利]一种本体概念的可满足性检测的方法和装置

权利要求书

1、一种本体概念的可满足性检测方法，其特征在于，包括：

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

应用改进的布尔约束传播BCP优化技术化简所述概念集合；

根据化简后的概念集合判断所述本体概念的可满足性。

2、如权利要求1所述的方法，其特征在于，所述应用改进的BCP优化技术化简所述概念集合包括：

若所述概念集合中存在两个析取disjunction概念C₁和C₂，并且C₁中存在一个disjunction项L_i，C₂中存在一个disjunction项L_j，而且则从所述C₁和C₂中删除L_i和L_j，将C₁和C₂的剩余部分析取起来加入所述概念集合中产生新的概念集合，将C₁和C₂的依赖集合的并集中分支深度的最大值赋值给新产生的概念的依赖集合；

若所述概念集合中存在disjunction概念C₁和disjunction项表示L_i的非，且C₁中含有disjunction项L_i，则从C₁中删除L_i，将从所述概念集合中删除，将C₁的剩余部分加入所述概念集合产生新的概念集合，将C₁和的依赖集合的并集中分支深度的最大值赋值给新产生的概念的依赖集合。

3、如权利要求1所述的方法，其特征在于，所述根据化简后的概念集合判断所述本体概念的可满足性包括：

判断所述化简后的概念集合中的概念是否存在冲突，若不存在冲突，则将所述化简后的概念集合中符合条件的概念存入概念的执行队列，并按扩展优先级调整所述执行队列，根据所述调整后的执行队列判断所述本体概念的可满足性；

若存在冲突，则根据冲突概念的依赖集合的并集中分支深度最大值判断所述本体概念的可满足性。

4、如权利要求3所述的方法，其特征在于，所述将化简后的概念集合中符合条件的概念存入概念的执行队列包括：

将所述化简后的概念集合中未进行扩展的且未存入所述概念的执行队列中的概念存入所述概念的执行队列，所述未进行扩展的且未存入所述概念的执行队列中的概念不包括原子概念和原子概念的否定。

5、如权利要求3所述的方法，其特征在于，所述根据所述调整后的执行队列判断所述本体概念的可满足性包括：

判断所述调整后的执行队列是否为空，若为空，则所述本体概念是可满足的；

若不为空，取出所述调整后的执行队列中的概念，根据取出的概念产生新的概念集合，根据所述新的概念集合判断所述本体概念的可满足性。

6、如权利要求5所述的方法，其特征在于，所述根据取出的概念产生新的概念集合包括：

如果所述取出的概念符合产生型扩展规则，对所述取出的概念应用产生型扩展规则进行扩展，将扩展后新产生的概念加入到所述概念集合中产生新的概念集合；

如果所述取出的概念不符合产生型扩展规则，对所述取出的概念应用非产生型扩展规则进行扩展，将扩展后新产生的概念加入到所述概念集合中产生新的概念集合。

7、如权利要求3所述的方法，其特征在于，所述根据冲突概念的依赖集合的并集中分支深度最大值判断所述本体概念的可满足性包括：

若所述分支深度最大值小于等于1，则所述本体概念是不可满足的；

若分支深度最大值大于1，则将所述冲突概念所依赖的概念取反添加到所述化简后的概念集合中产生新的概念集合，根据所述新的概念集合判断所述本体概念的可满足性。

8、一种实现本体概念的可满足性检测的装置，其特征在于，包括：

初始化模块，用于初始化本体概念的概念集合；

化简模块，用于应用改进的BCP优化技术化简所述初始化模块得到的概念集合；

判断模块，用于根据所述化简模块得到的化简后的概念集合判断所述本体概念的可满足性。