- IJCAI通过序列的建设性插值和基于概念的 Beth 可定义性为描述逻辑提供解决方案
我们引入了一种适用于大量描述逻辑(DLs)的构造方法,用于建立基于推理系统的基于概念的 Beth 可定义性性质(CBP)。我们以高度表达能力的 DL RIQ 作为案例研究,引入了 RIQ 本体的新颖推理演算,并展示了如何从推理演算证明中计算 - 轻量级描述逻辑的半环来源
我们研究了半环溯源,它是一个最初在关系数据库环境中定义的成功框架,用于描述逻辑。我们定义了一种在包含多个轻量级描述逻辑的语言上的溯源语义,并展示了它与具有特定类型注释的本体所定义的语义的关系。我们重点关注了众所周知的 why 溯源,对于每个 - 描述逻辑进入二阶:使用全量量化概念扩展 EL
该论文涉及描述逻辑的特性,首次引入普遍量化的概念,提出两种扩展的语义模型,包括模态逻辑中的公理原型和二阶逻辑中的量词的替代。研究表明,在某些扩展的语义中,所得出的结论与经典的描述逻辑相符,并证明了某种程度上用于这种扩展的算法的多项式可判定性 - 探索命题动态逻辑的非正则扩展与描述逻辑特征
在扩展 ALC 描述逻辑的决定性满足性检查和查询中,我们研究了非规则路径表达式的影响。我们重点研究了 ALCreg 和 ALCvpl,它们是使用正则和可见推动语言的路径表达式的扩展。
- 利用不确定性查询不一致的描述逻辑知识库
本文研究了利用概率语义来处理 Description Logics Knowledge Bases 中的不一致性问题,使之能够在查询时处理不一致的 KBs,且与传统的修复语义进行了比较。
- 查询约简描述逻辑知识库
本文证明了在围绕述及 DL 知识库上进行的 (U) CQ 评估的可决定性,并获得了从 ALCHIO 通过 EL 到各种版本的 DL-Lite 等各种 DL 的组合复杂性和数据复杂性的相当完整的图片。
- 带有抽象和细化功能的描述逻辑
提出一种将抽象级别作为一等公民并提供概念和角色的抽象和细化的显式运算符的 DLs 扩展,它可以支持多个抽象级别上的知识表示,并证明在这个扩展的 DLs 家族中推理是可判定的,而一些看似无害的变化则是不可判定的。
- 一种基于多值权重知识库的可退化推理复杂度与可扩展性研究
本篇论文研究了多层感知器的逻辑解释,以及在描述逻辑和多偏好语义下加权知识库的防御性推理问题,并提出了新的 ASP 编码和关键字搜索解决方案。
- WWWELH 概念的反事实解释
本研究提出首个在描述逻辑中生成反事实解释的算法,通过调整特征值来生成可被人类理解、人性化的解释,在用户调查和案例研究中证明其可行性。
- 面向 DL-Ontology 的基于论证的法律推理方法
本研究探讨了如何在法律智能领域中,使用结构化论证框架和 DL 本体论实现推理,并提供了对推理结果解释的正式定义。同时,以自动驾驶汽车设计为例,证明了该理论可以处理基于不一致本体的推理问题。
- 描述逻辑的统一模块化序列系统
我们介绍了一个能够构建表达式描述逻辑 ALC 扩展的序列系统的框架。我们的框架不仅涵盖了各种常见的描述逻辑,而且还允许获取具有特殊公式的扩展描述逻辑的序列系统,我们称之为 “角色关系公理”。所有的序列系统都是声音和完整性,并具有高度保持常见 - 使用 FOL 翻译来实现 EL 中的最小连接谬误推断 -- 技术报告
研究了用于解释说明自然现象原因、修复不完整的知识库以及提供与预期观察相符的可能性解释的 TBox 综合假设问题,发现现有的最小性标准不足,并引入了连通性最小性标准,该标准可根据首要导出式构建假设。
- 基于本体的有界团宽数据库查询
本研究从参数复杂性角度研究了在有界团宽度的数据库上对本体中介查询 (OMQ) 的评估,研究了原子查询 (AQ)、连通查询 (CQ) 和连通查询的联合,发现所有 OMQ 问题都是固定参数线性 (FPL) 的,其参数是 OMQ 大小加上团宽度, - MM基于有限多值语义的加权条件知识库神经网络推理 ASP 方法
本篇论文研究了具有典型性的加权条件 ALC 知识库的三种不同语义构建,在逻辑语义学中,基于 “概念分层” 多重优先语义。利用 ASP 和 “asprin” 进行推理,以 phi-coherent 语义为基础,适用于表征 MLPs 的静止状态 - MM基于 ASP 的具有缺陷性的 DL-Lite_R 推理
本文基于正当例外的方法,对 DL-Lite_R 知识库进行了建模,并研究了其语义和计算特性,提出一种较简单的 ASP 编码来管理负信息,从而实现了对其带有例外公理的实例检查的完整推理过程。
- MM概念感知多偏好轻量级 DL 的 ASP 推理方法
本文利用 Answer Set Programming (in particular, asprin) 开发了一个概念感知的多偏好语义,以处理典型性描述逻辑,其中偏好与概念相关,并从包含有缺陷的概念推理的排名 TBoxes 集合开始。利用多 - 具有传递角色的表达能力描述逻辑中的有限查询回答
该研究探讨了有限本体中介查询应答的问题,使用 DLs 描述逻辑中的联合,当仅考虑本体的有限模型时,研究 FOMQA 是相关的,本研究显示了 SOIF 的三个适当片段的 FOMQA 具有可决定性,这是基于模型的特定规律,开发了自动机决策程序。
- 一维均匀片段
论文探讨了一维统一片段(U1)的性质,以及 U1 与适应更高元关系的描述逻辑(DLR_reg)的关系,并定义了一个描述逻辑版本的 U1 变体,并证明了与 U1 和其他相关逻辑的表现力有关的一系列新结果。
- 优化覆盖计算
本文介绍针对 DLN 的优化技术,以提高其在生物医学领域和语义 Web 访问控制策略中建模的应用范例的推理效率,并在 30K + 公式的大型知识库上进行了实验验证,超过一级数量级的加速效果,该文首次实现了非单调性 KB 在这种规模下的实时推 - AAAI使用描述逻辑进行 RDF 约束检查和闭世界识别
描述逻辑用于开放世界下的信息表达,但在封闭世界下可以用于约束检查和对信息源进行封闭世界识别,特别是在基于良好行为的 RDF 或 RDFS 表示信息源时,SPARQL 查询可有效地实现约束检查。