Mar, 2022

基于 Horn 描述逻辑本体的规划表达能力（技术报告）

PDF
TL;DR本文通过基于 DL 本体的规划来解决开放世界状态约束，并提出了一种新的编译方案，即基于 DL 查询重写为具有分层否定的 Datalog 的标准 PDDL，以应对更具表现力的 DL，同时还证明了我们的方法可以优于以前的 DL 本体规划工作。
发现论文，激发创造
  • 基于 OWL DL 本体的本体导向规划（扩展版）

    基于本文提出的新方法，规划专家和本体专家可以分别处理规划规范和本体，并通过接口进行关联，从而实现对本体引导的规划问题的优化处理，以支持整个 OWL DL 片段。

    Aug, 2023

  • 计算描述逻辑本体的 Horn 重写

    将一个使用 DL L1 表达的本体 O1 重写为 Horn DL L2 中的本体 O2，以保证在任意数据集扩展时 O1 和 O2 是等价的。对存在 Horn 重写的本体进行研究，并识别出一类本体可以用多项式大小的 Horn 重写表示。

    Apr, 2015

  • 轻量级描述逻辑本体的精确学习

    该论文研究了使用 Angluin 等人的准确查询学习框架来学习描述逻辑本体的问题，证明了可以用多项式大小的多项式查询来学习用 DL-Lite 描述逻辑和某些和 OWL 2 RL 相关的 EL 片段描述的本体，但即使只允许非循环本体，也不能用多项式大小的查询来学习用 EL 描述逻辑描述的本体。

    Sep, 2017

  • 表达能力描述逻辑的实际推理

    本文提出了一个算法，用于决定具有传递性和逆作用的角色，角色层次结构和限定数量限制的 A LC 的可满足性，并研究了这种 DL 族的决策能力极限。

    May, 2000

  • 用于非常表达性描述逻辑的实用推理

    本文介绍了一种算法，能够在考虑一般性概念包含公理和角色层级的情况下，决定具有传递和逆角色以及功能约束的 DL ALC 的可满足性，同时研究了这类 DL 的可决定性的限制，并描述了一系列优化技术，这些技术对于获得具有实际问题良好性能的决策过程实现至关重要。

    May, 2000

  • 基于知识的规划的范畴表示语言和计算系统

    本文提出了基于范畴论概念的 C - 集合和双推出重写 (DPO) 的计划表示的一种替代方法，其可以有效处理支持所有层次域抽象的关于世界状态的结构化知识，提供了使用知识图谱和关系型数据库对世界状态和计划更新建模的形式语义，相较于经典规划表示，在处理隐含前提和效果上具有优越性，提供了一种更有结构的框架来建模和解决规划问题。

    May, 2023

  • 超越 Horn 本体的 Datalog 重写计算

    本文研究了非 Horn 本体的查询方法，使用 datalog 重写来回答 OWL 2 DL 本体查询的可能性等问题，并提出了一种基于分辨率的过程来解决 SHI 本体问题。

    Apr, 2013

  • 带有抽象和细化功能的描述逻辑

    提出一种将抽象级别作为一等公民并提供概念和角色的抽象和细化的显式运算符的 DLs 扩展，它可以支持多个抽象级别上的知识表示，并证明在这个扩展的 DLs 家族中推理是可判定的，而一些看似无害的变化则是不可判定的。

    Jun, 2023

  • 低复杂度 DL 中的可撤销包含

    本文通过广泛探究 Circumscription 与 DL-lite_R、EL 及其片段相结合的知识库的计算复杂性，确定了其复杂度范围从 P 到多项式层次的第二层，以及复杂度上升至 PSPACE 及以上的片段。

    Jan, 2014

  • 一份描述逻辑入门

    该论文介绍了描述逻辑的主要概念和特点，包括例子、语法和语义，并概述了轻量级描述逻辑语言、Web 本体语言 OWL 的关系以及更多阅读指南。

    Jan, 2012