Saved in:
Bibliographic Details
Main Authors: Martins, Jean, Mokrushin, Leonid, Orlic, Marin
Format: Preprint
Published: 2026
Subjects:
Online Access:https://arxiv.org/abs/2604.27359
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866918475333632000
author Martins, Jean
Mokrushin, Leonid
Orlic, Marin
author_facet Martins, Jean
Mokrushin, Leonid
Orlic, Marin
contents Intent-based networking promises to revolutionize telecommunications network management by enabling operators to specify high-level goals rather than low-level configurations. The TM Forum Intent Ontology (tio) provides a standardized vocabulary for expressing network intents, yet lacks formal validation mechanisms to ensure intent correctness before its admission. We present tio-shacl, the first comprehensive SHACL (Shapes Constraint Language) validation framework for the TMF Intent Ontology. Our contribution includes 56 node shapes and 69 property shapes across all 15 tio v3.6.0 ontology modules, a reusable constraint library with 25 parameterized SPARQL-based constraint components, and novel validation patterns for recursive logical operators, quantity-based constraints, and cross-expectation relationships. We pursued 100% vocabulary coverage (87 classes, 109 properties, 72 functions), cross-implementation compatibility across three major SHACL engines, and validation accuracy on a corpus of 133 test cases. tio-shacl is publicly available under MIT license at https://github.com/EricssonResearch/tio-shacl and enables automated syntactic and semantic validation of network intents, addressing a critical gap in the field.
format Preprint
id arxiv_https___arxiv_org_abs_2604_27359
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle TIO-SHACL: Comprehensive SHACL validation for TMF Intent Ontologies
Martins, Jean
Mokrushin, Leonid
Orlic, Marin
Artificial Intelligence
Computation and Language
Intent-based networking promises to revolutionize telecommunications network management by enabling operators to specify high-level goals rather than low-level configurations. The TM Forum Intent Ontology (tio) provides a standardized vocabulary for expressing network intents, yet lacks formal validation mechanisms to ensure intent correctness before its admission. We present tio-shacl, the first comprehensive SHACL (Shapes Constraint Language) validation framework for the TMF Intent Ontology. Our contribution includes 56 node shapes and 69 property shapes across all 15 tio v3.6.0 ontology modules, a reusable constraint library with 25 parameterized SPARQL-based constraint components, and novel validation patterns for recursive logical operators, quantity-based constraints, and cross-expectation relationships. We pursued 100% vocabulary coverage (87 classes, 109 properties, 72 functions), cross-implementation compatibility across three major SHACL engines, and validation accuracy on a corpus of 133 test cases. tio-shacl is publicly available under MIT license at https://github.com/EricssonResearch/tio-shacl and enables automated syntactic and semantic validation of network intents, addressing a critical gap in the field.
title TIO-SHACL: Comprehensive SHACL validation for TMF Intent Ontologies
topic Artificial Intelligence
Computation and Language
url https://arxiv.org/abs/2604.27359