SRL是否为可解释推理铺平道路？——来自实现者视角的经验教训
Does SRL Pave the Road to Explainable Reasoning? Lessons Learned from an Implementer's Perspective
浏览论文内容
中文总结 AI 辅助
本文从实现者视角开发并评估了两款SRL引擎，发现基于SPARQL引擎可低成本构建SRL引擎，专用引擎速度更优，且SRL已能支持实用推理任务。
中文摘要 AI 辅助
形状规则语言（SRL）工作草案定义了如何使用推理规则从RDF图中推导新的RDF三元组，每条规则匹配图模式并实例化三元组模板，其输出可输入验证管道、SPARQL查询或进一步推理。传统上，RDF推理依赖固定的蕴涵机制（RDFS、OWL）、N3等临时规则语言，或其他无共享标准的特定实现方案。SRL引入了具有明确定义语法、依赖分析、执行顺序和终止保证的用户定义产生式规则，但目前尚无权威实现，导致从业者几乎没有指导来构建符合规范的引擎，或了解该语言可解决的问题。我们实现了两个SRL引擎，并在经典RDF推理任务上评估了它们的正确性、完备性和速度：第一个复用现有SPARQL查询引擎及其查询解析器，第二个是专用引擎。基于SPARQL的引擎复用了现有模块化解析器用于查询构建，并使用SPARQL CONSTRUCT生成三元组，减少了引擎特定工作；专用引擎的速度是前者的2至6倍，且随着规则集规模增大，速度差距会进一步扩大。两个引擎均通过SRL一致性测试套件验证，还补充了额外的用例驱动测试。研究表明，可基于SPARQL引擎低成本构建可用的SRL引擎，仅存在适度的速度折中，而专用实现可弥补该差距；尽管该规范尚未成熟，但该语言已支持实际有用的推理任务。
英文摘要
The Shape Rules Language (SRL) Working Draft defines how to derive new RDF triples from an RDF graph using inference rules. Each rule matches graph patterns and instantiates triple templates whose output feeds into validation pipelines, SPARQL queries, or further inference. RDF reasoning has traditionally relied on fixed entailment regimes (RDFS, OWL), rule-based ad-hoc languages such as N3, or other implementation-specific solutions without a shared standard. SRL introduces user-defined production rules with a defined grammar, dependency analysis, execution ordering, and termination guarantees. However, no authoritative implementation exists, leaving practitioners with little guidance on how to build a conformant engine or on what problems the language can solve. We implemented two SRL engines and evaluated both on classical RDF reasoning tasks for soundness, completeness, and speed. The first reuses an existing SPARQL query engine and its query parser; the second is a dedicated engine. The SPARQL-based engine reused an existing modular parser for query construction and SPARQL CONSTRUCT for triple production, reducing engine-specific work. The dedicated engine was two to six times faster, the gap widening as rule sets grow. Both engines were validated against the SRL conformance test suite, supplemented by additional use-case-driven tests. A usable SRL engine can be built inexpensively on top of a SPARQL engine, with a moderate speed trade-off that a dedicated implementation recovers. Despite the specification's immaturity, the language already supports practically useful reasoning tasks.
