[论文解读] Inference rules for RDF(S) and OWL in N3Logic

Dominik Tomaszuk|arXiv (Cornell University)|Jan 11, 2016

Semantic Web and Ontologies参考文献 8被引用 5

一句话总结

本文使用 Notation 3 Logic (N3Logic) 对 RDF(S) 和 OWL 推理规则进行了形式化，实现了对 RDF 图的演绎推理。它提出了 OWL-P，这是一种轻量级的 OWL 概要，通过省略复杂结构支持软推理，降低了计算开销，同时保持了语义表达能力，实现了 RDF 图存储中高效推理。

ABSTRACT

This paper presents inference rules for Resource Description Framework (RDF), RDF Schema (RDFS) and Web Ontology Language (OWL). Our formalization is based on Notation 3 Logic, which extended RDF by logical symbols and created Semantic Web logic for deductive RDF graph stores. We also propose OWL-P that is a lightweight formalism of OWL and supports soft inferences by omitting complex language constructs.

研究动机与目标

• 在 Notation 3 Logic 中对 RDF、RDFS 和 OWL 推理规则进行形式化，以实现在语义网上的统一、基于规则的推理。
• 通过引入 OWL-P 这一轻量级概要，解决 OWL 的高最坏时间复杂度问题，该概要省略了复杂语言结构，实现可计算的推理。
• 通过人类可读、逻辑增强的规则语法，实现在演绎式 RDF 图存储中的高效、可扩展推理。
• 提供一个经过测试、可互操作的规则框架，与现有推理引擎（如 FuXi 和 cwm）兼容。

提出的方法

• 使用 Notation 3 Logic (N3Logic) 作为基础形式化语言，通过引入逻辑符号、变量和蕴含关系，扩展 RDF 以支持基于规则的推理。
• 将推理规则定义为条件-结论对，其中条件是 RDF 图中的模式，结论是推导出的三元组。
• 应用针对 RDF、RDFS 和 OWL 构造的语法和语义规则，包括 subPropertyOf、subClassOf、equivalentClass 和 disjointWith。
• 提出 OWL-P 作为最小化的 OWL 概要，省略了如逆属性和传递链等复杂构造，支持软推理。
• 使用 N3 的 { } 公式表示法和 => 蕴含关系，以基于规则的语法编码规则，支持全称和存在量词变量。
• 在 FuXi 和 cwm 等标准推理引擎中验证所有推理规则，以确保正确性和互操作性。

实验结果

研究问题

• RQ1 如何在 N3Logic 等逻辑增强的 RDF 语法中，将 RDF(S) 和 OWL 的蕴含关系正式编码为推理规则？
• RQ2 使用 N3Logic 在 RDF 和 RDFS 图上实现声音且完备推理所需的最小规则集是什么？
• RQ3 如何在不牺牲实际知识表示关键表达能力的前提下，缓解 OWL 的高计算复杂度？
• RQ4 能否定义一种轻量级 OWL 概要（OWL-P），使其支持软推理并保持与现有基于规则的推理引擎的兼容性？
• RQ5 Notation 3 Logic 在实现人类可读、可扩展且高效的基于规则的推理方面，对语义网数据起到何种作用？

主要发现

• 本文成功使用 Notation 3 Logic 对 RDF、RDFS 和 OWL 的推理规则进行了全面形式化，实现了对 RDF 图的演绎推理。
• 所有提出的推理规则均在 FuXi 和 cwm 等成熟推理引擎中经过验证和测试，确认了其正确性和互操作性。
• 引入了 OWL-P 作为轻量级 OWL 概要，省略了如传递属性和逆属性等复杂构造，降低了推理复杂度。
• 该形式化通过 OWL-P 支持软推理，使大规模 RDF 图存储中的高效、可扩展推理成为可能。
• 使用 N3Logic 实现了一个人类可读、可扩展且逻辑严谨的基于规则的推理框架，可无缝集成至现有语义网工具栈。
• equivalentClass 和 equivalentProperty 的规则确保了对称性和传递性推理，以可计算形式保留了 OWL 语义。