实体
SHACL
SHACL
PulseAugur coverage of SHACL — every cluster mentioning SHACL across labs, papers, and developer communities, ranked by signal.
总计 · 30天
3
90 天内 3
发布 · 30天
0
90 天内 0
论文 · 30天
3
90 天内 3
层级分布 · 90 天
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 3 条
-
新系统通过可编程知识块实现人工智能合规自动化
研究人员开发了本体知识块（OKBs），这是一个旨在使人工智能合规性更自动化和可扩展的新系统。OKBs使用结构化证据图和SHACL验证规则将监管义务转化为机器可检查的约束。这种可编程基础设施允许在不更改AI服务代码本身的情况下动态重新配置治理配置文件。原型在HPC资源分配场景中进行了测试，展示了高效的验证时间和管理不同治理配置文件的能力。
-
研究人员探索递归SHACL的静态分析，用于RDF数据验证
本文介绍了一种递归SHACL文档静态分析的新方法，SHACL用于定义RDF数据的约束。研究探讨了验证一个SHACL文档的所有图也验证另一个图的决定性问题。研究表明，在支持和稳定模型语义下，该蕴含问题是不可判定的，但在良基语义下是指数级可判定的。
-
TIO-SHACL框架为TMF意图本体提供全面验证
研究人员开发了TIO-SHACL，一个用于验证TMF意图本体的新框架。TMF意图本体用于电信领域的意图驱动网络。该系统提供全面的SHACL验证，包括56个节点形状和69个属性形状，以确保在实施网络意图之前其正确性。该框架覆盖了100%的TMF意图本体词汇，并在多个SHACL引擎上展示了兼容性，以及在测试用例上实现了高验证准确率。