SHACL rules

新的链分层方法改进了带否定的RDF规则

研究人员引入了一种称为链分层的新方法，以解决将默认否定纳入N3和SHACL Rules等RDF规则语言的复杂性。现有方法由于单个三元组内的信息有限以及规则头部中引入的空白节点所带来的复杂性而常常失败。这种新条件通过分析多步推导并使用完整性约束来消除不可能的场景，确保了带有否定和存在规则的RDF规则具有明确的语义。所提出的方法保证了无论规则应用顺序如何，只要尊重链分层，都能生成唯一、精简且有依据的RDF图，并包含一个原型实现来展示其可行性。