DCMI都柏林核心和元数据应用国际会议

在DCMI RDF应用程序概要文件任务组和W3C数据形状工作组的上下文中，正在开发约束的正确表述和这些约束上的RDF数据验证的解决方案。存在几种方法和约束语言，但没有明确的偏好，而且没有一种语言能够满足数据从业者提出的所有需求。为了支持这项工作，已经创建了一个全面的、社区驱动的数据库，其中收集了案例研究、用例、需求和解决方案。在这个数据库的基础上，我们已经发布了81种类型的约束，这些约束是数据应用程序的不同利益相关者所需要的。我们使用这个约束类型集合来更好地理解现有解决方案的表达能力和仍然需要填补的空白。关于约束语言的实现，我们已经提议使用高级语言来描述约束，但是为了执行实际的验证，我们将它们映射到SPARQL查询;我们已经在Web本体语言的当前版本2和描述集概要文件中演示了这种方法。在本文中,我们概括的经验实现OWL 2和DSP通过引入一个抽象层,可以描述任何约束类型的约束,从高级约束语言映射到这中间表示可以或多或少直接创建。我们演示了使用SPARQL之上的另一层有助于跨约束语言一致地实现验证，简化了新语言的实际实现，并支持跨约束语言的语义等效约束的转换。