Skip to main content

PAMoLa Research

Papers

3 papers

→
ECMFA-20262026

Supporting OWL-Style Reasoning over UML-Style Models via Endogenous OWL Overlays

Shilpi Gupta, Mohammad Sadeghi, Monalisha Ojha, Colin Atkinson

Endogenous OWL overlaysUML-style models, LMLOWL materialisationPowertype-aware reasoningRole inference
→
ER-20262026

From Ontological Violations to Explicit Witnesses: Level-Agnostic Diagnostics for OntoUML and MLT

Shilpi Gupta, Mohammad Sadeghi, Monalisha Ojha, Colin Atkinson

OntoUMLMulti-Level ModelingOntological ValidationExplainable DiagnosticsDatalog
→
MODELS-20262026

PAMoLa Models as First-Class Citizens of Vitruvius V-SUMs

Monalisha Ojha, Mohammad Sadeghi, Shilpi Gupta, Colin Atkinson

Model managementView-based developmentConsistencyVitruviusV-SUMPAMoLaMulti-level modeling