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

研究人员开发了一种新方法，可将 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 阅读 →

• alphaXiv
• CatalyzeX
• DagsHub
• Gotit.pub
• Hugging Face
• OWL EL
• Resource Description Framework
• ScienceCast
• SHACL
• World Wide Web Consortium

• 论文
• 基础设施

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