Nov, 2024

处理语义网中的不可解决冲突：一种基于RDF的容忍冲突的义务传统方案

HTML
PDF
TL;DR本文提出了一种新的本体，使用RDF和SPARQL实现知名的义务传统方案，旨在处理不可解决的冲突，即两条或更多声明之间存在相互矛盾的义务、禁止或许可，而没有一方“强于”其他。该框架不仅为形式义务逻辑的标准理论研究带来了重要进展，同时提供了一种整合各类不可解决冲突和违反的统一体系，具有显著的应用潜力。
发现论文，激发创造
  • 基于本体的数据访问：通过Disjunctive Datalog、CSP和MMSNP的研究

    本文研究了本体基础数据查询的各种类别，包括关系数据库查询与本体、描述逻辑或其他相关一阶逻辑和联结查询。研究结果包括三个方面，首先用不相交的Datalog片段来表达了本体中介查询的表达能力。其次，本体中介查询与约束满足问题（CSP）及其逻辑泛化MMSNP公式有密切联系。最后，利用这些联系得出了有关本体中介查询的新结果，如i）本体中介查询的一阶重写和Datalog重写，ii）本体中介查询的P / NP二分法，以及iii）本体中介查询的查询包容性问题。

    Jan, 2013

  • 不相交Datalog程序的Datalog改写性及其在本体推理中的应用

    研究了将一个分离的Datalog程序重写为普通的Datalog的问题，并提出了一种新的基于规则的知识表示语言（KR language）—— 弱线性分离Datalog，以及在本文的框架下对本体推理问题的应用，结果表明许多非Horn本体可以被简化为弱线性程序，并可以用Datalog引擎在实践中进行查询回答。

    Apr, 2014

  • 使用描述逻辑进行RDF约束检查和闭世界识别

    描述逻辑用于开放世界下的信息表达，但在封闭世界下可以用于约束检查和对信息源进行封闭世界识别，特别是在基于良好行为的RDF或RDFS表示信息源时，SPARQL查询可有效地实现约束检查。

    Nov, 2014

  • DaRLing: OWL 2 RL本体推理下的SPARQL查询Datalog重写器

    描述了DaRLing系统，它是一个OWL 2 RL本体推理的Datalog重写器，在SPARQL查询下具有实际适用性。

    Aug, 2020

  • 如何达成不同观点的一致：利用立场逻辑来管理本体论的视角

    本文介绍提出的Standpoint逻辑，它是基于现有知识库语言的多模逻辑“附加组件”，可用于表示相对不同、可能相冲突的立场的领域知识，并为具有不同表达能力的可判定一阶逻辑和描述逻辑提供决策算法，可扩展由立场建模。

    Jun, 2022

  • 作为存在规则语言的Notation3

    Notation3逻辑（N3）是RDF的扩展，允许用户编写引入新的空白节点到RDF图中的规则；本文探讨了N3规则中带有空白节点的头部与存在规则的关系，并给出了一个等价的映射；研究结果表明存在规则的推理引擎在处理包含大量事实的用例时表现良好，而EYE推理引擎在处理大量依赖规则时非常快速。

    Aug, 2023

  • 解决规范冲突的一种可推翻的义务逻辑

    通过阐述具有继承性的可废除的行为规范演绎法，本文证明了能够解决规范冲突，并揭示了一个普遍的冲突解决策略作为一个干扰项。因此，本文在规范冲突检测和解决方面做出了理论上合理的公理化贡献。

    Jul, 2024

  • eSPARQL：在RDF-star知识图谱中表示和调和不可知和无神论信念

    本研究解决了目前RDF-star语句尚缺乏语义和操作设施的问题。提出了一种基于四值逻辑的查询语言eSPARQL，该语言扩展了SPARQL-star，以支持多重和有时冲突的信念操作。研究表明，该查询语言能够有效处理个体信念查询、信念聚合、冲突查询以及信念嵌套等功能。

    Jul, 2024

  • eSPARQL：在RDF-star知识图谱中表示和调和不可知和无神论信仰

    本研究解决了RDF-star语义缺失及其操作工具不足的问题。提出了一种基于四值逻辑的查询语言eSPARQL，扩展了现有的SPARQL-star，使其能够处理多种相互冲突的信念。该语言能够有效表达个体信念查询、信念聚合及信念之间的冲突等功能，具有重要的实用价值。

    Jul, 2024

  • 混合MKNF知识库冲突驱动求解的基础

    本文解决了混合MKNF知识库中冲突驱动求解的理论基础问题，探讨了完成和循环公式的定义及其在MKNF模型中的应用。提出的求解方法为冲突驱动求解器提供了重要的支撑，从而提高了对复杂问题的解决能力。

    Aug, 2024