Interpreting SysML diagrams in conjunction with OWL ontologies for semantic reasoning and inference

Tools

Harder, Benedict and Esser, Sebastian and Borrmann, André; Moreno-Rangel, Alejandro and Kumar, Bimal, eds. (2025) Interpreting SysML diagrams in conjunction with OWL ontologies for semantic reasoning and inference. In: EG-ICE 2025. University of Strathclyde Publishing, GBR, pp. 424-433. ISBN 9781914241826 (https://doi.org/10.17868/strath.00093300)

[thumbnail of Harder-etal-EG-ICE-2025-Interpreting-SysML-diagrams-in-conjunction-with-OWL]
Preview
 Text. Filename: Harder-etal-EG-ICE-2025-Interpreting-SysML-diagrams-in-conjunction-with-OWL.pdf
Final Published Version
License: Creative Commons Attribution 4.0 logo
Download (1MB)| Preview

Abstract

This paper investigates how to enrich SysML (Systems Modeling Language) models by integrating them with the semantic reasoning capabilities of OWL to find out whether model analysis can be improved by inferring new relationships and detecting inconsistencies. To answer this, we propose a methodology that systematically translates SysML block definition and requirements diagrams into OWL and then represents the resulting data in an RDF graph database. The method infers new topological and requirement-based insights, demonstrating improved model accuracy and deeper information extraction. This result is significant for engineers and systems designers, enhancing decision-making and error detection, especially within the context of modular design and cyber-physical systems. Moreover, the findings pave the way for further research into hybrid modeling approaches, suggesting promising avenues for integrating formal semantics into model-based systems engineering.

CORE (COnnecting REpositories)