AI 中文总结
本文提出sheval评估框架,包含工具和测试套件,用于比较ShEx和SHACL引擎在递归形状处理上的行为差异,以识别不一致性并促进该领域发展。
AI 中文摘要
基于形状的概念,已经开发了两种不同的语言来验证RDF数据:ShEx和SHACL。在每种语言中,都可以定义引用自身的形状,这被称为递归形状。在ShEx的情况下,递归形状的语义被明确定义并且是规范的一部分,而在SHACL的情况下,递归形状的语义则留给不同SHACL引擎的实现。因此,不同的SHACL引擎在面对递归形状时表现出不同的行为。在本文中,我们提出了sheval:一个评估框架,由一个工具和一个测试套件组成,可用于比较不同形状技术在面对递归定义时的行为。该工具已被用于评估和理解ShEx和SHACL中递归形状实现的差异。它提供了一个测试和比较不同形状引擎行为的框架,有助于识别不一致性和潜在问题,并为基于形状的RDF数据验证领域的进一步研究和发展提供了基础。
英文摘要
Two different languages have been developed to validate RDF data based on the concept of a shape: ShEx and SHACL. In each language it is possible to define a shape that refers to itself, which is called a recursive shape. While in the case of ShEx, the semantics of recursive shapes is well defined and is part of the specification, in the case of SHACL, the semantics of recursive shapes is left to the implementation of the different SHACL engines. Consequently, the different SHACL engines show different behaviours when confronted with recursive shapes. In this paper we present sheval: an evaluation framework consisting of a tool and a test suite that can be used to compare the behaviour of different shapes technologies when confronted with recursive definitions. The tool has been used to evaluate and understand the differences in the implementation of recursive shapes in ShEx and SHACL. It provides a framework for testing and comparing the behaviour of different shape engines, helping to identify inconsistencies and potential issues, and providing a basis for further research and development in the field of shape-based validation of RDF data.
CommentsThis is related with paper arXiv:2604.20946