PulseAugur
中
实时 13:37:16
实体 Anouk Michelle Oudshoorn

Anouk Michelle Oudshoorn

PulseAugur coverage of Anouk Michelle Oudshoorn — every cluster mentioning Anouk Michelle Oudshoorn across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
最近 · 第 1/1 页 · 共 1 条
  1. RESEARCH · CL_16289 ·

    研究人员探索递归SHACL的静态分析，用于RDF数据验证

    本文介绍了一种递归SHACL文档静态分析的新方法，SHACL用于定义RDF数据的约束。研究探讨了验证一个SHACL文档的所有图也验证另一个图的决定性问题。研究表明，在支持和稳定模型语义下，该蕴含问题是不可判定的，但在良基语义下是指数级可判定的。