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