arXiv:2502.01295v1 交叉公告类型： 摘要：图已经成为了多种应用的重要基础，包括捕捉和推理事实知识、语义数据集成、社交网络，以及为机器学习算法提供事实知识。为了形式化数据的某些属性并确保数据质量，需要描述此类图的模式。由于应用的广泛性和不同数据模型（如RDF和属性图）的可用性，语义万维网和数据库社区独立地发展了图模式语言：SHACL、ShEx和PG-Schema。每种语言都有自己独特的定义约束和验证图数据的方法，这让潜在用户对于它们的共同点和差异感到困惑。在本文中，我们提供了每种模式语言核心组件的正式且简洁的定义。我们使用统一的框架来促进这些语言之间的全面比较，并确定一个共同的功能集，从而揭示这三种语言的共同之处和独特之处。