Feb, 2023

可处理的多样性：通过 Standpoint EL 实现可扩展的多角度本体管理

PDF
TL;DR介绍了一种名为 Standpoint EL 的多模态扩展版本，它允许相对于不同且可能相冲突的观点（或上下文）集成表示领域知识，具有轻量级描述逻辑的可解性，同时引入一些额外的功能使得标准的推理任务变得不可行。
lightweight description logicontologiessemantic interoperabilitystandpoint elcontext-dependent axiomatisations
发现论文，激发创造
  • 拓展可处理的多视角推理边界：一种适用于观点 EL+ 的演绎演算法

    本文中，我们引入了一种称为 Standpoint EL + 的扩展逻辑，它允许公理否定、角色链公理、自我循环等特性，并且通过设计一个满足可实际算法需求的可满足性检查演绎规则，同时保持了可处理性。我们通过展示该演绎规则的一个原型 Datalog 实现来证明实现的可行性。

    Apr, 2023

  • 如何达成不同观点的一致：利用立场逻辑来管理本体论的视角

    本文介绍提出的 Standpoint 逻辑，它是基于现有知识库语言的多模逻辑 “附加组件”，可用于表示相对不同、可能相冲突的立场的领域知识，并为具有不同表达能力的可判定一阶逻辑和描述逻辑提供决策算法，可扩展由立场建模。

    Jun, 2022

  • 观点线性时间逻辑

    本文提出了一种名为 SLTL 的新逻辑，它将 LTL 的时间特性与 SL 的多角度建模能力相结合，旨在解决多角度情境下的实践推理问题。

    Apr, 2023

  • Standpoint-OWL 2 的自动推理支持

    提出了一种利用各种不同（可能相互矛盾）视角中的知识进行建模和推理的工具，通过对基本逻辑进行增强来提供理论基础，并通过将立场增强版本的描述逻辑 SROIQ 转换为其普通（即古典）版本，在现有的推理器中应用，为多样立场的推理提供自动支持。

    Apr, 2023

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

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

    Jan, 2014

  • 通过嵌套序列推理的角度逻辑自动化推理

    该论文介绍一种名为 Standpoint logic 的多透视角逻辑推理方法，并提出了一种基于嵌套序列演算的证明系统，利用多重颜色技术实现最坏情况复杂性最优的证明搜索算法。

    May, 2022

  • 一种注重多样性的领域开发方法论

    本文介绍了领域本体模型的现状，指出存在在本体概念语义持久性和重用性以及现有基础本体中顶层概念的难以理解和重用造成领域表示的混淆等问题，并提出了利用解决方案（一）和（二）来发展多样性、可重用性的领域表达的灵活、重用型方法的三重解决方案，包括呈现概念的流水线、具有静态和动态语义质地的最小基础知识模型及考虑多样性的领域表达的方法。初步探索结果证实了这些解决方案的潜力。

    Aug, 2022

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

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

    Jan, 2014

  • 解离领域本体

    本文提出了本体领域逐步建模过程中出现的概念纠缠现象以及相应的多级概念建模策略 “概念解缠”，该策略通过引导原则在五个层次上实现了语义双射，从而实现了本体领域的概念化解缠。同时，简要阐述了为什么现有的本体领域建模方法和方法论对于本文的表述是不充分的。

    Mar, 2023

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

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

    Apr, 2022