MMApr, 2009

Prolog 中高效的描述逻辑推理：DLog 系统

PDF
TL;DR本文描述了 DLog—— 一种基于分辨率的描述逻辑推理系统。DLog 将描述逻辑公理转换为 Prolog 程序，并使用标准的 Prolog 执行有效地回答实例检索查询，是全 SHIQ 语言的 ABox 推理引擎。DLog 的方法使得个体能够储存在数据库中而不必放在内存中，这提高了可扩展性并有助于在现有信息源的基础上直接使用描述逻辑本体。
发现论文，激发创造
  • 在数据库和逻辑编程系统中尝试递归查询

    本文介绍了一个名为 DLV$^{DB}$ 的新系统，该系统旨在解决推理海量数据时存在的主存限制，外部数据库管理系统的互动不易等问题，并在比较逻辑推理和数据库的几个先前的系统（LDL ++，XSB，Smodels 和三个顶级商业 DBMS）的实验分析中获得了显着的效能优势。

    Apr, 2007

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

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

    Jun, 2023

  • 一份描述逻辑入门

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

    Jan, 2012

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

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

    May, 2000

  • 知识表示和推理的 DLV 系统

    该论文介绍了 DLV 系统，这是一种被广泛认为是分离逻辑编程的最先进实现的系统，并从多个方面进行了阐述，如 DLV 系统的核心语言定义，弱约束，计算复杂性分析，以及其在知识表示和推理，应用开发以及实验测试中的应用。

    Nov, 2002

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

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

    May, 2000

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

    本文通过基于 DL 本体的规划来解决开放世界状态约束，并提出了一种新的编译方案，即基于 DL 查询重写为具有分层否定的 Datalog 的标准 PDDL，以应对更具表现力的 DL，同时还证明了我们的方法可以优于以前的 DL 本体规划工作。

    Mar, 2022

  • 带有答案集的概率推理

    本文提出了一个基于 Answer Set Prolog 作为逻辑基础、以因果贝叶斯网络为概率基础的声明式语言 P-log，用于知识表示和知识更新，并给出了多个例子表明更新方法更加优越。同时，论文给出了实现 P-log 程序的充分条件，并证明了 Bayes nets 的易于映射到符合条件的 P-log 程序上。

    Dec, 2008

  • 关于实现概率逻辑编程语言 ProbLog 的论文

    该研究介绍了 ProbLog 的概念以及相关算法，针对大型生物网络提出了一种有效执行查询的方式。

    Jun, 2010

  • 将本体查询重写成小型非递归 Datalog 程序

    本文研究本体数据库访问设置，其中 Abox 以关系数据库 D 的形式给出，而布尔连接查询 q 必须针对在 DL-Lite 或 Linear Datalog+/- 中制定的 Tbox T 模块进行求值。我们展示了如何将（T，q）转换为大小为多项式的等效递推 Datalog 程序 P。

    Jun, 2011