- 通过 RDF 知识图谱和句子相似度验证 ChatGPT 的事实
该研究提出了一种使用 RDF 和知识图谱验证 ChatGPT 事实的新型流程,通过利用 DBpedia 和 LODsyndesis 以及短句嵌入,返回与 ChatGPT 响应相关的三元组以及它们的来源和置信度,从而验证并丰富 ChatGPT - 作为存在规则语言的 Notation3
Notation3 逻辑(N3)是 RDF 的扩展,允许用户编写引入新的空白节点到 RDF 图中的规则;本文探讨了 N3 规则中带有空白节点的头部与存在规则的关系,并给出了一个等价的映射;研究结果表明存在规则的推理引擎在处理包含大量事实的用 - 神经符号化 RDF 和描述逻辑推理器:现状和挑战
本文综述了在 RDF (S)、描述逻辑 EL 和 ALC,以及 OWL 2 RL 的支持下,基于神经符号推理的现有文献,讨论了采用的技术、解决的任务以及该领域的其他相关努力。
- 本体论中的多语言现象及其意义综述
本文回顾了多语义 Web 中的语言多样性建模选项,通过对 9 种主要方法进行比较,从 BioPortal 和 LOV 存储库中提取了可访问的本体,并评估了 7 个相关本体编辑器对于管理多语言本体的工具支持。
- 面向 RDF 和数据交换格式之间转换的通用映射语言
本文提出了一种通用的映射方法,使用户能够将语义信息转换为定义由用户的任意结构的数据交换格式。通过引入映射语言和映射算法,将语义模型中的信息转换为 XML,并在工程领域的 3D 建模工具中进行了实例化。
- 基于问题回答语料库和知识库的问题回答学习
本论文提出了一种新型问题表示方式:模板,应用于十亿级别的知识库和百万级别的问答数据。通过学习用于特定目的的模板,系统 KBQA 可以有效地回答基础性问题和复杂问题,并在 QALD 基准测试中胜出其他工作。
- AAAI使用描述逻辑进行 RDF 约束检查和闭世界识别
描述逻辑用于开放世界下的信息表达,但在封闭世界下可以用于约束检查和对信息源进行封闭世界识别,特别是在基于良好行为的 RDF 或 RDFS 表示信息源时,SPARQL 查询可有效地实现约束检查。
- 低复杂度 DL 中的可撤销包含
本文通过广泛探究 Circumscription 与 DL-lite_R、EL 及其片段相结合的知识库的计算复杂性,确定了其复杂度范围从 P 到多项式层次的第二层,以及复杂度上升至 PSPACE 及以上的片段。
- SPARQL 查询优化基础
该论文探讨了 SPARQL 查询优化的基础,并提出了一组代数查询重写规则,在约束优化的基础上提出了一种基于 Chase 程序的框架,通过该框架可以使更多的联结式和 SPARQL 查询适合于基于约束的优化。
- SPARQL 的语义和复杂性
本文系统地研究了 SPARQL 作为 RDF 查询语言中的图形式式化语义学特性,确定了正常形式和复杂度边界,并提供了各种语义条件和操作优化程序。