Jul, 2022

基于规则本体的高效依赖分析

PDF
TL;DR通过针对存在规则本体的静态分析，研究了两种规则依赖性 - 正依赖性和约束性 - 并设计和实现了优化算法以实现其有效计算，从而分析了基于规则的自下而上的推理方法在现实本体上的可行性和实用性。实验证明了该方法的可扩展性，特别是在分析规则依赖性时，能产生不冗余的 “瘦” 知识图。
existential rule ontologiesrule dependenciespositive reliancesrestraintsbottom-up reasoning
发现论文，激发创造
  • 本体基于查询回答的存在规则语言表达完备性

    本文证明了分离嵌入式依赖可以精确捕捉基于本体的连词查询应答中的可递归枚举本体类，而关于 “元组生成依赖” 的复杂性类和嵌入式依赖的复杂性类都不能完全表达可递归枚举的 “基于本体的连词查询应答” 本体。

    Apr, 2016

  • 存在规则语言的模型论描述

    本研究旨在模型理论中建立存在规则语言的模型论特性，如嵌入依赖项，元组生成依赖项和线性依赖项，并确定它们的复杂度限制。

    Jan, 2020

  • 结合存在规则和传递性：下一步

    本文探讨存在规则作为本体规范的形式化方法，重点研究了如何将传递性与可判定类的存在规则组合，并给出了能够安全添加传递性的情况和相应的查询重写算法。

    Apr, 2015

  • 经由认知依赖进行控制的查询评估

    我们在本文中提议使用认知依赖来表达控制查询评估（CQE）中的数据保护策略，这是一种对本体和数据库进行保密的查询回答形式。所得到的策略语言在 CQE 领域的文献中显著超越了先前的提议，允许非常丰富和实际上有趣的数据保护规则形式。我们展示了我们框架的表达能力，并研究了当本体在描述逻辑 DL-Lite_R 中被规定时，CQE 的数据复杂性，具体地是（并起来的）合取查询。有趣的是，尽管我们表明一般情况下该问题是不可解的，但我们通过提供适当的查询重写算法证明了对于非循环认知依赖的情况是可解的。后一结果为 CQE 这种新方法的实施和实际应用铺平了道路。

    May, 2024

  • 本体查询：重写与优化 (扩展版)

    本文研究了本体查询中的查询重写和查询优化问题，其中查询重写包括将本体查询编译为与底层关系型数据库等效的查询，查询优化旨在改善此过程以生成成本效益高的 UCQ 重写，提出了一种有效的新方法以支持基于线性 Datalog+/- 的规则。

    Dec, 2011

  • 存在规则的规范化：不是那么无害！

    该研究系统研究了存在性规则对于不同的追踪变体以及基于一阶逻辑的重写的 (chase (non-) termination and FO-rewritability) 影响，从而探讨了相关的开放性问题。

    Jun, 2022

  • 本体重用：本体设计的真正考验

    通过自然语言处理和网络分析等方法，对 30 个生物医学本体和计算机科学本体的质量进行研究和改进。该研究提出了多种潜在问题的检测方法，重点关注本体间交叉引用的问题，并探讨了本体的多样化重复使用对于本体质量的改进至关重要的观点。

    May, 2022

  • 正依赖图再探

    本文探讨了稳定模型理论在 answer set programming 中的应用，讨论了正依赖图的概念及其修改对相关结果的影响，并在 Theory and Practice of Logic Programming 杂志上发表。

    Jul, 2022

  • 基于示例的静态分析规则合成

    本文介绍了一种新的代码质量规则综合算法 RhoSynth，它基于整数线性编程的图形对齐，通过利用开发人员所做的代码更改作为正和负样本的源来引导 RhoSynth，能够综合出 30 多个 Java 代码质量规则，同时说明了当前最先进的程序综合方法无法综合出大多数此类规则。

    Apr, 2022

  • 使用传递性和线性排序数据进行查询回答

    本研究研究了涉及强约束语言的蕴涵问题，如前沿守卫存在规则，并对一组特殊的关系施加额外的语义限制。我们考虑将关系限制为传递性、将一个关系的传递闭包限制为另一个关系、将关系限制为线性顺序。我们提出了一些自然的守卫性变体，以使推理在每种情况下具有可决定性，并确定了相应决策问题的复杂度。最后，我们证明了这些条件的轻微变化会导致不可决定性问题。

    Feb, 2022