论文指出，N3、SHACL Rules 等 RDF 规则结合默认否定时，传统分层方法会因三元组依赖信息不足及规则头空白节点而失效。作者提出 chain stratification，通过分析多步推导并利用完整性约束排除不可能情形，保证遵循该条件的任意规则执行顺序都产生唯一、精简且有依据的 RDF 图，并提供原型实现。
最近 24 小时暂无可用热度快照。