本篇研究针对 OWL 1 和 OWL 2 DL 中的名词、反向角色和数字限制问题,提出了在 DL ALCHOIQb 中的联合查询包含了所有三个构造的可决定性结果。
Jan, 2014
研究了在模糊 DL-Lite 本体中,如何回答 CNF 查询和阈值查询的问题,并通过重写方法表明阈值查询回答在数据复杂度上始终保持在 AC0 中,但是组合查询回答高度依赖于所选的三角范数,这对基础语义产生影响。
Nov, 2021
本文证明了在围绕述及 DL 知识库上进行的 (U) CQ 评估的可决定性,并获得了从 ALCHIO 通过 EL 到各种版本的 DL-Lite 等各种 DL 的组合复杂性和数据复杂性的相当完整的图片。
Jun, 2023
该研究探讨了有限本体中介查询应答的问题,使用 DLs 描述逻辑中的联合,当仅考虑本体的有限模型时,研究 FOMQA 是相关的,本研究显示了 SOIF 的三个适当片段的 FOMQA 具有可决定性,这是基于模型的特定规律,开发了自动机决策程序。
Aug, 2018
本文探讨了在具有背景领域知识的数据库 Knowledge Base 中对查询答案进行计数的数据复杂度,并提供了一种基于 DL-Lite 族成员的本体引介式查询答案 / 本体基础的数据访问语言来实现此目标。作者提出了一种具有重要意义的查询重写技术以及 P 时间、coNP 下限和 P 时间、LOGSPACE 上限的算法实现。
May, 2020
提出了一种用于 OWL 2 EL 子集内的联合查询应答的方法,该方法是基于一种称为 combined approaches 的方法实现的,该方法包括材料化本体和数据的某些后果、在数据上评估查询以及过滤第二阶段的结果以消除不合理的答案。该方法有助于在 OWL 2 EL 大片段中进行联合查询应答。
Mar, 2013
本文通过五个方面来深入系统地研究原始 DL-Lite 逻辑的扩展中的推理,分别是添加布尔连接符和数字限制到概念构造中,允许角色层次结构,允许角色的互斥、对称性、非对称性、自反性、反自反性和传递性约束,并接受或放弃同一性假设,同时分析了语言的可满足复杂性,验证数据复杂性和回答反面存在性查询的数据复杂性。
通过采用外推推理,我们研究了 DL-Lite 本体论上的逻辑、存在性和充分性问题,以解决联合查询应答中的缺失的单个事实的解释问题。
Feb, 2014
提出一种将抽象级别作为一等公民并提供概念和角色的抽象和细化的显式运算符的 DLs 扩展,它可以支持多个抽象级别上的知识表示,并证明在这个扩展的 DLs 家族中推理是可判定的,而一些看似无害的变化则是不可判定的。
本研究提出了两个结果,第一个结果说明了在 Kearns' SQ 模型中,对一组统计查询 C 生成错误率较小的所有答案需要的统计查询次数是对偶学习复杂度;第二个结果能高效地解决问题,只要能够通过子模函数描述 C 的答案集。这两个结果对隐私保护数据分析产生了积极的应用,使其得到了重大进展。
Nov, 2010