Automated Validation of Textual Constraints Against AutomationML via LLMs and SHACL
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866915339466440704 |
|---|---|
| author | Westermann, Tom Köcher, Aljosha Gehlhoff, Felix |
| author_facet | Westermann, Tom Köcher, Aljosha Gehlhoff, Felix |
| contents | 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 validated automatically within AML itself. This work-in-progress paper introduces a pipeline to formalize and verify such constraints. First, AML models are mapped to OWL ontologies via RML and SPARQL. In addition, a Large Language Model translates textual rules into SHACL constraints, which are then validated against the previously generated AML ontology. Finally, SHACL validation results are automatically interpreted in natural language. The approach is demonstrated on a sample AML recommendation. Results show that even complex modeling rules can be semi-automatically checked -- without requiring users to understand formal methods or ontology technologies. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_10678 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Automated Validation of Textual Constraints Against AutomationML via LLMs and SHACL Westermann, Tom Köcher, Aljosha Gehlhoff, Felix Artificial Intelligence Systems and Control 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 validated automatically within AML itself. This work-in-progress paper introduces a pipeline to formalize and verify such constraints. First, AML models are mapped to OWL ontologies via RML and SPARQL. In addition, a Large Language Model translates textual rules into SHACL constraints, which are then validated against the previously generated AML ontology. Finally, SHACL validation results are automatically interpreted in natural language. The approach is demonstrated on a sample AML recommendation. Results show that even complex modeling rules can be semi-automatically checked -- without requiring users to understand formal methods or ontology technologies. |
| title | Automated Validation of Textual Constraints Against AutomationML via LLMs and SHACL |
| topic | Artificial Intelligence Systems and Control |
| url | https://arxiv.org/abs/2506.10678 |