mlsanityData to 14 Oct 2026

Consistency of UML class, object and statechart diagrams using ontology reasoners

arXiv 2205.11177 ↗First posted 23 May 2022cs.AI cs.CL cs.SEcited by 0

Not on the map. Why?

Abstract (arXiv)

We propose an automatic approach to analyze the consistency and satisfiability of Unified Modeling Language UML models containing multiple class, object and statechart diagrams using logic reasoners for the Web Ontology Language OWL 2. We describe how to translate UML models in OWL 2 and we present a tool chain implementing this translation that can be used with any standard compliant UML modeling tool. The proposed approach is limited in scope, but is fully automatic and does not require any expertise about OWL 2 and its reasoners from the designer.

Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 2 of its 60 references that are in the map. First posted on arXiv 23 May 2022.

Builds on

2 of 60 references.

References · 2

  1. 2014Summarizing Semantic Model Differencescited by 1
  2. 2014Semantically Configurable Consistency Analysis for Class and Object Diagramscited by 1

Built on by

Not cited yet.