paper-with-me

홈 › Papers

TIO-SHACL: Comprehensive SHACL validation for TMF Intent Ontologies

2026-04-30 · Jean Martins, Leonid Mokrushin, Marin Orlic arxiv

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.

📄 PDF Abstract BibTeX arXiv:2604.27359

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques

2025-07-16 · Anouk Oudshoorn, Magdalena Ortiz, Mantas Simkus arxiv

SHACL and OWL are two prominent W3C standards for managing RDF data. These languages share many features, but they have one fundamental difference: OWL, designed for inferring facts from incomplete data, makes the open-w…

SHACL Validation under Graph Updates (Extended Paper)

2025-07-31 · Shqiponja Ahmetaj, George Konstantinidis, Magdalena Ortiz, Paolo Pareti 외 arxiv

SHACL (SHApe Constraint Language) is a W3C standardized constraint language for RDF graphs. In this paper, we study SHACL validation in RDF graphs under updates. We present a SHACL-based update language that can capture …

Automated Validation of Textual Constraints Against AutomationML via LLMs and SHACL

2025-06-12 · Tom Westermann, Aljosha Köcher, Felix Gehlhoff

AutomationML (AML) enables standardized data exchange in engineering, yet existing recommendations for proper AML modeling are typically formulated as informal and textual constraints. These constraints cannot be validat…

Language ModelingLanguage ModellingLarge Language Model

Rewrite Once, Validate Anywhere: Producing OWL-Aware SHACL Constraints (Extended Version)

2026-08-14 · Anouk Oudshoorn, Piotr Gorczyca, Dörthe Arndt arxiv

The Shapes Constraint Language (SHACL) is a W3C recommendation to express syntactic constraints, called shapes, on RDF graphs. SHACL validators are used to test whether a given graph adheres to such a shape. However, RDF…

SHACL Constraints with Inference Rules

2019-11-01 · Paolo Pareti, George Konstantinidis, Timothy J. Norman, Murat Şensoy

The Shapes Constraint Language (SHACL) has been recently introduced as a W3C recommendation to define constraints that can be validated against RDF graphs. Interactions of SHACL with other Semantic Web technologies, such…