计算描述逻辑本体的 Horn 重写
本文研究了非 Horn 本体的查询方法,使用 datalog 重写来回答 OWL 2 DL 本体查询的可能性等问题,并提出了一种基于分辨率的过程来解决 SHI 本体问题。
Apr, 2013
本文通过基于 DL 本体的规划来解决开放世界状态约束,并提出了一种新的编译方案,即基于 DL 查询重写为具有分层否定的 Datalog 的标准 PDDL,以应对更具表现力的 DL,同时还证明了我们的方法可以优于以前的 DL 本体规划工作。
Mar, 2022
研究了将一个分离的 Datalog 程序重写为普通的 Datalog 的问题,并提出了一种新的基于规则的知识表示语言(KR language)—— 弱线性分离 Datalog,以及在本文的框架下对本体推理问题的应用,结果表明许多非 Horn 本体可以被简化为弱线性程序,并可以用 Datalog 引擎在实践中进行查询回答。
Apr, 2014
该论文研究了使用 Angluin 等人的准确查询学习框架来学习描述逻辑本体的问题,证明了可以用多项式大小的多项式查询来学习用 DL-Lite 描述逻辑和某些和 OWL 2 RL 相关的 EL 片段描述的本体,但即使只允许非循环本体,也不能用多项式大小的查询来学习用 EL 描述逻辑描述的本体。
Sep, 2017
提出一种将抽象级别作为一等公民并提供概念和角色的抽象和细化的显式运算符的 DLs 扩展,它可以支持多个抽象级别上的知识表示,并证明在这个扩展的 DLs 家族中推理是可判定的,而一些看似无害的变化则是不可判定的。
Jun, 2023
本文通过广泛探究 Circumscription 与 DL-lite_R、EL 及其片段相结合的知识库的计算复杂性,确定了其复杂度范围从 P 到多项式层次的第二层,以及复杂度上升至 PSPACE 及以上的片段。
Jan, 2014
本文研究本体数据库访问设置,其中 Abox 以关系数据库 D 的形式给出,而布尔连接查询 q 必须针对在 DL-Lite 或 Linear Datalog+/- 中制定的 Tbox T 模块进行求值。我们展示了如何将(T,q)转换为大小为多项式的等效递推 Datalog 程序 P。
Jun, 2011
本研究探索基于本体的时间数据访问,并通过证明重写为具有内置线性顺序的一阶逻辑或关系原始递归机制保证其电路复杂度,建立了包括正 LTL 公式、单调 MFO(<)公式和任意 MFO(<)公式在内的 OM 问题一系列查询的层次结构,从而为基于本体的访问提供了基础。
Apr, 2020
本篇研究针对 OWL 1 和 OWL 2 DL 中的名词、反向角色和数字限制问题,提出了在 DL ALCHOIQb 中的联合查询包含了所有三个构造的可决定性结果。
Jan, 2014
本文介绍针对 DLN 的优化技术,以提高其在生物医学领域和语义 Web 访问控制策略中建模的应用范例的推理效率,并在 30K + 公式的大型知识库上进行了实验验证,超过一级数量级的加速效果,该文首次实现了非单调性 KB 在这种规模下的实时推理响应时间。
Jul, 2015