PulseAugur
中
实时 08:07:34

新方法将 OWL 公理集成到 SHACL 约束中，以实现高效的 RDF 图验证

作者 PulseAugur 编辑部 · [1 个来源] ·

研究人员开发了一种新方法，可将 OWL 公理直接集成到 SHACL 约束中，从而简化了包含 OWL 本体（ontologies）的 RDF 图的验证过程。该方法构建了一个翻译器，以 SHACL 形状（shapes）和 OWL EL$^-$ 本体作为输入，生成任何标准 SHACL 验证器都可以评估的 SHACL 约束。评估表明，与传统的顺序推理和验证过程相比，该方法在识别违规行为方面更有效。 AI

排序理由 该集群包含一篇学术论文，详细介绍了一种将 OWL 公理集成到 SHACL 约束中的新颖方法。[lever_c_demoted from research: ic=1 ai=0.4]

在 arXiv cs.AI 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →

新方法将 OWL 公理集成到 SHACL 约束中，以实现高效的 RDF 图验证

本文如何被排名

Signal score
0 / 100
Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket
Tool
该集群包含一篇学术论文，详细介绍了一种将 OWL 公理集成到 SHACL 约束中的新颖方法。[lever_c_demoted from research: ic=1 ai=0.4]
Source corroboration
Single-source cluster
Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
Topics
paper, infra
Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance
Standard
On-topic for AI-industry coverage; kept in the public index.
Story freshness
52 days old
Aged out of breaking-news scoring windows; ranking reflects the durable signal from the full source set.

完整方法见我们的编辑标准。

报道来源 [1]

  1. arXiv cs.AI TIER_1 English(EN) · Anouk Oudshoorn, Piotr Gorczyca, D\"orthe Arndt ·

    重写一次，随处验证：生成 OWL 感知的 SHACL 约束（扩展版）

    arXiv:2608.14104v1 Announce Type: cross Abstract: The Shapes Constraint Language (SHACL) is a W3C recommendation to express syntactic constraints, called shapes, on RDF graphs. SHACL validators are used to test whether a given graph adheres to such a shape. However, RDF graphs of…

相关实体

相关话题