IJCAIApr, 2013

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

PDF
TL;DR研究本文探讨了基于本体的数据访问和时间概念建模，并设计了一种扩展 OWL 2 QL 标准本体语言的 TQL 的时间描述逻辑，以提供基本的时间概念建模工具，并确保对于数据实例的适当定义，具有一阶可重写的连接查询。
ontology-based data accesstemporal dataontology languagetemporal conceptual modellingtql
发现论文，激发创造
  • 轻量级描述逻辑本体的精确学习

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

    Sep, 2017

  • 线性时态逻辑中本体导向查询的一阶重写性

    本研究探索基于本体的时间数据访问，并通过证明重写为具有内置线性顺序的一阶逻辑或关系原始递归机制保证其电路复杂度，建立了包括正 LTL 公式、单调 MFO（<）公式和任意 MFO（<）公式在内的 OM ​​问题一系列查询的层次结构，从而为基于本体的访问提供了基础。

    Apr, 2020

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

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

    Jan, 2014

  • 时态知识库的最佳对齐

    通过实现基于本体的情境识别技术，回答时间相关的 CQs 是一种实现本体的主要技术；本文介绍了 TKB 对准问题，计算一个变体的 TKB，该 TKB 最小程度地改变原 TKB，但能推出给定的时间 CQ，且在这个意义上是（代价）最优的；我们研究了这个问题在 ALC TKBs 和带有 LTL 运算符的连同查询上的情况，并设计了一种解决方案技术，用于计算 TKBs 的（代价最优的）对准。

    Jul, 2023

  • 时间实例查询的唯一可特征化性和可学习性

    通过分析命题线性时间逻辑 LTL 与 EL 或 ELI 描述逻辑中的概念结合的 2D 语言所查询的时间知识图中的路径形查询，研究了一些查询操作可以通过（多项式大小的）正 / 负时间数据示例的集合来唯一地描述的可能性，探讨了这些查询的多项式特性，并将其应用于活性学习框架中对时间实例查询的学习。

    May, 2022

  • 从数据中学习具备统计保证的时间逻辑谓词

    我们提出了一种新的方法，利用表达式优化和符合预测，从有限样本正确性保证的角度学习出可以在用户定义的置信水平下正确描述未来轨迹的时间逻辑谓词。我们通过对模拟轨迹数据集的实验结果以及消融研究来展示我们方法的性能，并分析了算法的各个组成部分对性能的贡献。

    Jun, 2024

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

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

    Jan, 2014

  • 实时和概率时态逻辑：一概述

    该论文分析了用于真实时间系统的逻辑规范和验证的逻辑符号，分别比较了它们的决策性，公理化程度，表达能力和模型检查等特征。

    May, 2010

  • 基于 OBDA 的 OWL 2 QL 扩展：重写和近似（扩展版）

    本研究旨在克服 DL-Lite_R 的局限性，并将 OBDA 扩展到更具表现力的本体语言，同时利用基础关系技术进行查询回答，通过保守重写和逼近的机制，重写具有表达力的本体规范为 DL-Lite_R 规范，利用映射层的高表达能力来捕获丰富本体语言的部分领域语义，该技术已在 OntoProx 原型系统中实现，并在合成和真实世界数据的实验中展示了其可行性和有效性。

    Nov, 2015

  • LTL 本体中介的时间查询的逆向工程

    以正线性时态逻辑 LTL 为例，研究了解决给定答案和非答案的情况下构造查询问题的相关问题，关注于设计合适的查询语言以及决策是否存在特定语言的查询来分离给定答案和非答案的复杂性，同时考虑了纯 LTL 查询和通过 LTL 本体中介的查询。

    May, 2023