研究人员开发了一种用于学习SHACL形状的拟合方法，这对于在知识图谱应用中验证数据图至关重要。该研究侧重于与Description Logic ELI对齐的SHACL核心片段，并考虑了递归形状目录的各种语义。该工作为计算最具体的拟合形状建立了严格的指数时间上限，并解决了其存在性问题，同时还确定了特定场景下的多项式界限。 AI
影响 为知识图谱验证方法提供了正式化，有可能提高AI应用中的数据一致性和可靠性。
排序理由 关于知识图谱验证形式化方法的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
