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

说明书

技术领域

本发明涉及通信技术领域，尤其涉及一种本体概念的可满足性检测的方法和装置。

背景技术

鉴于本体描述语言与描述逻辑语言的密切相关性，通常将描述逻辑的推理方法用在本体推理中。目前针对描述逻辑的推理问题，主要有四种推理方法。分别是：结构化算法、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优化技术化简所述概念集合。