该论文提出了一种用于提取适用于描述逻辑 ALC 的本体的通用模块的方法,该方法基于均匀插值,可以比目前最先进的方法更快地计算通用模块和统一插值。
May, 2023
本篇论文研究了基于 OWL 2 QL 和 Metamodeling Semantic Entailment Regime (MSER) 的 Metamodeling 语义,并使用不同的逻辑编程工具实验确定它们对 MSER 查询的适用性。
Feb, 2024
本文提出一种基于模块化框架的材料化计算和维护的方法,该方法使用半朴素算法处理少数规则,同时可使用两种算法计算关系的传递闭包,实验表明,与现有的方法相比,本方法可以处理任意的 datalog 程序,而且性能也要高得多。
Nov, 2018
本文研究了非 Horn 本体的查询方法,使用 datalog 重写来回答 OWL 2 DL 本体查询的可能性等问题,并提出了一种基于分辨率的过程来解决 SHI 本体问题。
Apr, 2013
本文研究本体数据库访问设置,其中 Abox 以关系数据库 D 的形式给出,而布尔连接查询 q 必须针对在 DL-Lite 或 Linear Datalog+/- 中制定的 Tbox T 模块进行求值。我们展示了如何将(T,q)转换为大小为多项式的等效递推 Datalog 程序 P。
Jun, 2011
使用本体论的方法,将应用数学中的建模 - 仿真 - 优化工作流的数学模型和数值算法表示出来,以构建 FAIR 数学研究数据。通过介绍多孔介质微裂纹分析的具体例子,展示了本体论如何表征基础数学模型及其相应的数值算法。
Oct, 2023
本文提出了一种基于自然语言的演绎推理系统,通过将任务分解为逐步协调的步骤,并由搜索程序生成中间结论的树,可以成功地证明真实的语句并拒绝虚假的语句。
Jan, 2022
通过将知识图谱嵌入的数据驱动能力与领域专家或包含 OWL2 的蕴涵方案等领域特定推理松散地耦合,我们不仅能够提高预测精度,而且还允许用户插入自己的知识图谱嵌入和推理方法。我们的初步结果表明,我们的方法将基准知识图嵌入的平均倒数排名(MRR)精度提高了最高 3 倍,并且超过了将知识图嵌入与规则挖掘和推理相结合的混合解决方案高达 3.5 倍 MRR。
Feb, 2022
该论文描述了一种扩展一阶逻辑的方法,使方案更加容易修改,并引入了一个保护机制来保证公式的正确性,同时将该方案应用于四个不同问题领域的知识表示中。
本文结合多重组件及推理控制器,提出 METGEN,一种生成基于模块的蕴含树的框架,可以通过迭代式推理,使用一系列支持知识来有效地解释和回答问题,模块化设计使其步骤更可靠,有效提高了性能
May, 2022