TIO-SHACL：面向 TMF 意图本体的综合 SHACL 验证
人工智能
2026-05-01 v1 计算与语言
摘要
意图导向网络承诺通过使运营商能够指定高层目标而非低层配置来彻底变革电信网络管理。TM Forum 意图本体（tio）提供了表达网络意图的标准词汇，但缺乏确保意图在入站前正确性的形式化验证机制。我们提出 tio-shacl，即首个为 TMF 意图本体提供的综合性 SHACL（Shapes Constraint Language）验证框架。我们的贡献包括 56 个节点形状和 69 个属性形状，覆盖 tio v3.6.0 本体的所有 15 个模块，一个包含 25 个可参数化的基于 SPARQL 的约束组件的可重用约束库，以及用于递归逻辑运算符、数量基约束和跨期望关系的新颖验证模式。我们实现了 100% 的词汇覆盖（87 个类、109 个属性、72 个函数），跨三个主要 SHACL 引擎的兼容性，以及在 133 个测试案例语料库上的验证准确性。tio-shacl 在 MIT 许可证下公开于 https://github.com/EricssonResearch/tio-shacl，使能够自动化网络意图的语法和语义验证，解决了该领域的关键缺口。
引用
@article{arxiv.2604.27359,
title = {TIO-SHACL: Comprehensive SHACL validation for TMF Intent Ontologies},
author = {Jean Martins and Leonid Mokrushin and Marin Orlic},
journal= {arXiv preprint arXiv:2604.27359},
year = {2026}
}
备注
15 pages, 2 figures, target:ISWC