Sep, 2017

轻量级描述逻辑本体的精确学习

PDF
TL;DR该论文研究了使用 Angluin 等人的准确查询学习框架来学习描述逻辑本体的问题，证明了可以用多项式大小的多项式查询来学习用 DL-Lite 描述逻辑和某些和 OWL 2 RL 相关的 EL 片段描述的本体，但即使只允许非循环本体，也不能用多项式大小的查询来学习用 EL 描述逻辑描述的本体。
description logicontologiesexact learningmembership queriesequivalence queries
发现论文，激发创造
  • 学习描述逻辑本体的复杂性

    本文介绍了用于生命科学领域相关知识表示的本体论。提供了从计算学习理论中学习模型的正式规范，同时回顾了在这些模型中学习轻量级描述逻辑（DL）本体论的复杂性结果，最后，我们强调了文献中提出的其他学习 DL 本体论的方法。

    Mar, 2021

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

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

    Apr, 2022

  • DL-Lite 家族与关系

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

    Jan, 2014

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

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

    Jan, 2014

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

    本文探索了一种基于逻辑的本体版本控制方法，提出了一种采用逻辑及查询解答的 ontologies 差异比较方法， 设计并实现了一个能在多项查询上进行版本比较的多项式时间算法 CEX2。

    Jan, 2014

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

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

    Jan, 2014

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

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

    Nov, 2021

  • 一份描述逻辑入门

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

    Jan, 2012

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

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

    Jun, 2023

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

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

    Feb, 2014