Jan, 2014

轻量级描述逻辑 EL 的逻辑差异

PDF
TL;DR本文探索了一种基于逻辑的本体版本控制方法，提出了一种采用逻辑及查询解答的 ontologies 差异比较方法， 设计并实现了一个能在多项查询上进行版本比较的多项式时间算法 CEX2。
ontology versioninglogic-based approachdescription logicquery answeringpolynomial-time algorithms
发现论文，激发创造
  • 轻量级描述逻辑本体的精确学习

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

    Sep, 2017

  • 将名词引入联合查询方法以解决 EL 问题

    提出了一种用于 OWL 2 EL 子集内的联合查询应答的方法，该方法是基于一种称为 combined approaches 的方法实现的，该方法包括材料化本体和数据的某些后果、在数据上评估查询以及过滤第二阶段的结果以消除不合理的答案。该方法有助于在 OWL 2 EL 大片段中进行联合查询应答。

    Mar, 2013

  • DL-Lite 家族与关系

    本文通过五个方面来深入系统地研究原始 DL-Lite 逻辑的扩展中的推理，分别是添加布尔连接符和数字限制到概念构造中，允许角色层次结构，允许角色的互斥、对称性、非对称性、自反性、反自反性和传递性约束，并接受或放弃同一性假设，同时分析了语言的可满足复杂性，验证数据复杂性和回答反面存在性查询的数据复杂性。

    Jan, 2014

  • 名词、逆并、计数和连接查询，或：为什么无限是你的朋友！

    本篇研究针对 OWL 1 和 OWL 2 DL 中的名词、反向角色和数字限制问题，提出了在 DL ALCHOIQb 中的联合查询包含了所有三个构造的可决定性结果。

    Jan, 2014

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

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

    Jan, 2014

  • 在模糊 DL-Lite 本体上回答模糊查询

    研究了在模糊 DL-Lite 本体中，如何回答 CNF 查询和阈值查询的问题，并通过重写方法表明阈值查询回答在数据复杂度上始终保持在 AC0 中，但是组合查询回答高度依赖于所选的三角范数，这对基础语义产生影响。

    Nov, 2021

  • 基于本体的数据访问的时间描述逻辑（扩展版）

    研究本文探讨了基于本体的数据访问和时间概念建模，并设计了一种扩展 OWL 2 QL 标准本体语言的 TQL 的时间描述逻辑，以提供基本的时间概念建模工具，并确保对于数据实例的适当定义，具有一阶可重写的连接查询。

    Apr, 2013

  • 在 DL-Lite 中关于否定查询答案解释的推理

    通过采用外推推理，我们研究了 DL-Lite 本体论上的逻辑、存在性和充分性问题，以解决联合查询应答中的缺失的单个事实的解释问题。

    Feb, 2014

  • DL-Lite 本体下 ELI 查询的前沿与精确学习

    研究了存在 DL-Lite 描述逻辑本体的 ELI 查询 (ELIQs)。对于方言 DL-LiteH，我们展示了 ELIQs 具有多项式大小的前沿 (最一般化集合)，并且可以在多项式时间内计算。相比之下，对于方言 DL-LiteF，前沿可能是无限的。我们识别出一种自然的句法限制，使得可以像 DL-LiteH 一样获得相同的积极结果。我们使用前沿结果来展示在 Angluin 的 “仅使用成员查询进行精确学习” 的框架下，DL-LiteH / 受限 DL-LiteF 本体存在时 ELIQs 可以在多项式时间内进行学习。

    Apr, 2022

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

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

    Jun, 2023