描述逻辑与可废止逻辑整合的不一致本体非单调推理方法
专利汇可以提供描述逻辑与可废止逻辑整合的不一致本体非单调推理方法专利检索，专利查询，专利分析的服务。并且本 发明 名称 为“描述逻辑与可废止逻辑整合的不一致本体非单调推理方法”，属于计算机应用技术领域。在语义Web环境中，本体往往是不一致的，但描述逻辑及描述逻辑推理机都无法对其进行非单调推理。本发明利用可废止逻辑非单调的知识表示和推理及线性的计算复杂性和易于实现等优点，将其与描述逻辑进行整合，从而有效解决上述问题。本发明首先使用这两种逻辑对领域问题进行混合建模，并将描述逻辑的TBox划分为最大一致公理集和最小不一致公理集，然后利用两个转换 算法 ，将公理集映射为可废止逻辑相应的规则，并添加到可废止逻辑中，最后利用可废止逻辑原有的规则和新增的四个可废止推理规则进行非单调推理。本发明在语义Web中具有广阔的应用前景。，下面是描述逻辑与可废止逻辑整合的不一致本体非单调推理方法专利的具体信息内容。
1.用描述逻辑和可废止逻辑的知识库构建领域知识库K，即K＝(T，A，F，R，＞)，其特征是：T指描述逻辑的TBox，A指描述逻辑的ABox，F指可废止逻辑的事实集合，R指可废止逻辑的规则集合，＞指可废止逻辑R上的优先关系。
2.对T进行划分，确定T的硬性公理集Ts和可废止公理集Td，其特征是：Ts和Td是T的一个划分，其中硬性公理集Ts为T中最大的一致概念公理集合，可废止公理集Td为T中最小的不一致概念公理集合，且Ts＝T-Td。
3.对Ts和Td进行初始化，得到 和 且 其特征是：初始化包括用概念包含公理和 替换概念等价公理C≡D、添加概念包含公理的逆否公理以及规范化公理的否定式。
4.根据权利要求3所述的对Ts和Td进行初始化，得到 和 且 其特征是：所述的 用概念包含公理 和 替换概念等价公理C≡D”为在Ts和Td中，凡出现形如C≡D的概念等价公理，都用形如包含公理 和 替换。
5.根据权利要求3所述的对Ts和Td进行初始化，得到 和 且 其特征是：所述的 概念包含公理的逆否公理 为对于Ts和Td中的任一概念包含公理，将所有二元算子”用 替代、 用 替代，并在 左右两侧分别加否定构造算子 最后将公理的左右两侧式子互换。
6.根据权利要求3所述的对Ts和Td进行初始化，得到 和 且 其特征是：
所述的 规范化公理的否定式 为对于Ts和Td中的任一概念包含公理都有与之等价的形如 的否定规范公理，如 的否定规范公理为
7.分别构建 和 的公理解析对集合，用ARPs和ARPd表示，其特征是：在 和 中形如否定规范公理的序偶arp＝<{C1(x)，...，Cm(x)}，{D1(x)，...，Dn(x)}>为该公理的解析对，分别用ARPs和ARPd表示 和 的公理解析对集合，如概念包含公理的公理解析对为
8.分别调用OntologyToStrictRule(ARPs)算法和OntologyToDefeasibleRule(ARPd)算法，其特征是：OntologyToStrictRule(ARPs)算法详细描述如下：
OntologyToDefeasibleRule(ARPd)的思路与OntologyToStrictRule(ARPs)相似，其过程略。
9.结合可废止逻辑原有四个推理规则和下面四个新增可废止推理规则进行非单调可废止推理，其特征是：四个新增的可废止推理规则包括：概念构造算子 的可废止推理(如下面的I5～I8所示)、概念构造算子 的可废止推理规则(如下面的I9～I12所示)、概念构造算子 的可废止推理规则(如下面的I13～I16所示)和概念构造算子 的可废止推理规则(如下面的I17～I20所示)，如下所示
I5：We may append if either
(1) or
(2)
I6：We may append if
(1) and
(2)
I7：We may append if either
(1) or
(2)
I8：We may append if
(1) and
(2)
I9：We may append if
(1)
I10：We may append if
(1)
I11：We may append if
(1)
I12：We may append if
(1)
I13：We may append if
(1)+ΔR(a，b)and
(2)+ΔC(b)
I14：We may append if either
(1)-ΔR(a，b)or
(2)-ΔC(b)
I15：We may append if
(1) and
(2)
I16：We may append if either
(1) or
(2)
I17：We may append if either
(1)-ΔR(a，b)or
(2)+ΔC(b)
I18：We may append if
(1)+ΔR(a，b)and
(2)-ΔC(b)
I19：We may append if either
(1) or
(2)
I20：We may append if
(1) and
(2)
描述逻辑与可废止逻辑整合的不一致本体非单调推理方法
当本体不一致时，现有的描述逻辑推理机(如Racer 、Pellet )虽能检测到其中逻辑的不一致性，但是只能显示不一致和错误的信息，并停止进一步的推理。
| 标题 | 发布/更新时间 | 阅读量 |
|---|---|---|
| 基于大数据的旅游产业推广方法及系统 | 2020-05-21 | 466 |
| 一种智能家居系统及服务生成方法 | 2020-05-24 | 424 |
| 一种知识图谱的知识补全方法及装置 | 2020-05-16 | 393 |
| 综合考虑车主和运营商利益的充电站负荷调度模型 | 2020-05-26 | 534 |
| 一种基于专家系统控制算法的自主循迹智能小车 | 2020-05-22 | 190 |
| 一种基于预演机动规则系统的无人机近距格斗决策方法 | 2020-05-12 | 589 |
| 一种利用基于特征的知识表示进行推理的方法 | 2020-05-15 | 598 |
| 基于知识图谱的招标采购信息推荐系统及推荐方法 | 2020-05-16 | 127 |
| 基于soeks的智能网联车多域信息安全机制协同方法 | 2020-05-25 | 269 |
| 一种船舶工艺知识管理方法、装置及系统 | 2020-05-08 | 608 |
高效检索全球专利专利汇是专利免费检索,专利查询,专利分析-国家发明专利查询检索分析平台，是提供专利分析，专利查询，专利检索等数据服务功能的知识产权数据服务商。
我们的产品包含105个国家的1.26亿组数据，免费查、免费专利分析。
专利汇分析报告产品可以对行业情报数据进行梳理分析，涉及维度包括行业专利基本状况分析、地域分析、技术分析、发明人分析、申请人分析、专利权人分析、失效分析、核心专利分析、法律分析、研发重点分析、企业专利处境分析、技术处境分析、专利寿命分析、企业定位分析、引证分析等超过60个分析角度，系统通过AI智能系统对图表进行解读，只需1分钟，一键生成行业专利分析报告。
