ECMFA 2026
Tue 30 June - Wed 1 July 2026
co-located with STAF 2026
Wed 1 Jul 2026 16:40 - 17:10 at Markov - Ontologies Chair(s): Gabriele Taentzer

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 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

15:40 - 17:10
OntologiesECMFA 2026 at Markov
Chair(s): Gabriele Taentzer Philipps-Universität Marburg
15:40
30m
Talk
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
30m
Talk
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
30m
Talk
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