本文通过基于 DL 本体的规划来解决开放世界状态约束,并提出了一种新的编译方案,即基于 DL 查询重写为具有分层否定的 Datalog 的标准 PDDL,以应对更具表现力的 DL,同时还证明了我们的方法可以优于以前的 DL 本体规划工作。
Mar, 2022
该论文研究了使用 Angluin 等人的准确查询学习框架来学习描述逻辑本体的问题,证明了可以用多项式大小的多项式查询来学习用 DL-Lite 描述逻辑和某些和 OWL 2 RL 相关的 EL 片段描述的本体,但即使只允许非循环本体,也不能用多项式大小的查询来学习用 EL 描述逻辑描述的本体。
Sep, 2017
本篇研究针对 OWL 1 和 OWL 2 DL 中的名词、反向角色和数字限制问题,提出了在 DL ALCHOIQb 中的联合查询包含了所有三个构造的可决定性结果。
Jan, 2014
本文综述了在 RDF (S)、描述逻辑 EL 和 ALC,以及 OWL 2 RL 的支持下,基于神经符号推理的现有文献,讨论了采用的技术、解决的任务以及该领域的其他相关努力。
Aug, 2023
本文通过广泛探究 Circumscription 与 DL-lite_R、EL 及其片段相结合的知识库的计算复杂性,确定了其复杂度范围从 P 到多项式层次的第二层,以及复杂度上升至 PSPACE 及以上的片段。
本文介绍了用于生命科学领域相关知识表示的本体论。提供了从计算学习理论中学习模型的正式规范,同时回顾了在这些模型中学习轻量级描述逻辑(DL)本体论的复杂性结果,最后,我们强调了文献中提出的其他学习 DL 本体论的方法。
Mar, 2021
提出一种将抽象级别作为一等公民并提供概念和角色的抽象和细化的显式运算符的 DLs 扩展,它可以支持多个抽象级别上的知识表示,并证明在这个扩展的 DLs 家族中推理是可判定的,而一些看似无害的变化则是不可判定的。
Jun, 2023
本文通过五个方面来深入系统地研究原始 DL-Lite 逻辑的扩展中的推理,分别是添加布尔连接符和数字限制到概念构造中,允许角色层次结构,允许角色的互斥、对称性、非对称性、自反性、反自反性和传递性约束,并接受或放弃同一性假设,同时分析了语言的可满足复杂性,验证数据复杂性和回答反面存在性查询的数据复杂性。
该论文介绍了描述逻辑的主要概念和特点,包括例子、语法和语义,并概述了轻量级描述逻辑语言、Web 本体语言 OWL 的关系以及更多阅读指南。
Jan, 2012
本文介绍了一种算法,能够在考虑一般性概念包含公理和角色层级的情况下,决定具有传递和逆角色以及功能约束的 DL ALC 的可满足性,同时研究了这类 DL 的可决定性的限制,并描述了一系列优化技术,这些技术对于获得具有实际问题良好性能的决策过程实现至关重要。
May, 2000