摘要

  • W3C 于 2026 年 9 月 24 日发布《RDF 1.2 Semantics》候选推荐草案。其历史记录显示,4 月 7 日已有候选推荐快照;这次不是首次公布,也不是最终推荐标准。
  • RDF 1.2 相较 1.1 的主要变化是引入三元组项。草案把三元组项所指的命题、解释中成立的事实,以及图中真正断言的三元组分开处理;测试集中还有名为 triple-term-not-asserted 的用例。
  • 关联的实现报告目前未在 RDF 1.2 语义测试部分展示结果。报告本身并非 W3C 官方共识文件,只汇集已提交的结果;空白不能证明没有实现。草案写明,退出候选推荐阶段需每项测试至少有两个独立实现通过。

调查档案可能如实记下:“某供应商称设备在事故前已完成检测。”这句话存在于档案中,是可以检索的记录;它却不自动成为调查机构已经确认的检测结论。如果一个数据系统抽取其中的“设备完成检测”,去掉“供应商称”后再作为自己的事实输出,责任与证据的归属就被改写了。RDF 1.2 的语义区分,恰好把这种常被界面文字掩盖的跳跃放到数据结构与推理层面。

9 月 24 日的出版节点需要准确命名。W3C RDF 与 SPARQL 工作组发布的是 Candidate Recommendation Draft,即仍可能修改的候选推荐草案;官方历史页列有 4 月 7 日的 Candidate Recommendation Snapshot。三元组项及命题与事实的分野,在 4 月文本中已可见,不能说本周突然发明。W3C 还明示,候选推荐的发布不代表 W3C 或其成员背书。把“候选”包装成产品符合性证书,超出了这一状态所能证明的范围。

新机制要解决的是:一个三元组可以作为被谈论的对象出现。RDF 1.2 语义文档规定,三元组项指向一个命题;“事实”则是在某种解释中成立的命题;图所断言的事实来自图里的断言三元组。这三个层次紧密相连,却不能一概视作同一件事。某个说法被引用、被标注来源或被用于讨论,本身并不等于图发布者认可其内容。规范所界定的是 RDF 形式语义与有效推论,而不是证人可信度、外部证据质量,或一个 IRI 在社会语境中的完整含义。

这种差别在跨系统流转时最容易丢失。搜索引擎可以正确地返回一条被质疑的说法;摘要服务可能把它写成没有归属的陈述;导出工具可能生成一个普通断言;后续推理器再把这个断言当作前提。现在没有一手材料证明特定产品发生了这一链条,不能把假设风险报道成已查明事故。但实施方完全可以用它设计验收:输入中只有“被引用的主张”,输出中是否冒出系统自己的“已证实事实”?

W3C 所链向的测试集为这个边界设置了明确名称:triple-term-not-asserted。实现报告的 RDF 1.2 语义部分列出了测试名称,但本次核查时未显示对应的通过结果。报告还说明它只是内部性质的提交结果汇集,不具官方地位,未列出的实现可能存在。因此,不能从空白推断技术无人实现,也不能把它当成“已有两个独立实现全部通过”的公开证据。读者可同时承认规范的退出条件与目前可见证据的有限性。

Daniel Kade 的编辑性建议,是把“引用不得自动升级为断言”设为使用知识图谱的本地验收场景:保留输入图,对照查询、推理、导出和面向读者的摘要,记录何处以及由谁批准了一次语义提升。这不是 W3C 新增的运营义务。它也不是先前 SHACL 稿所问的“推导出的三元组来自哪条规则”;本篇首先问,原始命题究竟有没有被任何人作为事实断言。

来源