Supporting OWL-Style Reasoning over UML-Style Models via Endogenous OWL Overlays
UML class diagrams are widely used for conceptual modelling but provide only limited built-in reasoning support, whereas OWL offers well-defined logical inference but is not typically represented in a diagrammatic, UML-like style. We propose endogenous OWL overlays as a lightweight bridge between the two. An overlay is a rule-derived OWL/RDFS-aligned view computed on top of a triple-based representation of a UML-style model. Since the overlay is recomputed on demand and can be consumed by standard OWL tools, the UML-style model remains authoritative. A key feature is that overlays do not merely encode UML meta-elements, but also capture the intended semantics of common modelling patterns. Pattern declarations such as subsetted role ends, role classes, and powertype/partition intent are represented as facts and compiled by a small, domain-independent rule kernel into OWL assertions (e.g., subproperty axioms, domain/range constraints, property chains, and disjointness constraints). This enables OWL-style services such as type propagation, subproperty closure, derived associations, and the detection of logically unsatisfiable classes to be obtained directly from familiar UML idioms, without hand-coding OCL or maintaining a separately synchronised OWL artefact. For closure-based tasks, the resulting overlay supports OWL 2 RL-style materialisation; when satisfiability-style diagnostics are required, the same overlay can be analysed with a DL-capable reasoner while preserving traceability to the original model.
Wed 1 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
15:40 - 17:10 | |||
15:40 30mTalk | Achieving Traceability and Reproducibility for Heterogenous MBSE Processes using Ontology-Based Orchestration ECMFA 2026 Dirk Friedenberger Hasso-Plattner-Institut, Jonas Henschel TU Chemnitz, Lukas Pirl Hasso Plattner Institute, Can André Dautel Institute of Aircraft Systems (ILS), University of Stuttgart, Andreas Polze Hasso-Plattner-Institute at University Potsdam | ||
16:10 30mTalk | Modeling Dynamic Processes with Ontological Grounding: A Case Study in Conflict Analysis ECMFA 2026 Bahareh Fatemi University of Bergen, Fazle Rabbi University of Bergen, Andreas L Opdahl University of Bergen, Yngve Lamo Western Norway University of Applied Sciences, Adrian Rutle Western Norway University of Applied Sciences | ||
16:40 30mTalk | Supporting OWL-Style Reasoning over UML-Style Models via Endogenous OWL Overlays ECMFA 2026 Shilpi Gupta University of Mannheim, Mohammad Sadeghi University of Mannheim, Monalisha Ojha University of Mannheim, Colin Atkinson University of Mannheim | ||