Operationalizing Semantics from Domain Diagrams

This paper presents AMIDOL-x, a framework for machine-assisted extraction of formal semantics from domain specific semi-formal diagrams, directly contributing to the field of Explainable AI. It details a novel approach that leverages domain-specific ontological languages and a common intermediate representation to transform intuitive, yet ambiguous, system diagrams into rigorous, executable models. This process serves as a critical modeling feedback mechanism, where the generation of formal semantics enables the automated synthesis of actionable knowledge and prognostic queries, thereby empowering domain experts with a precise and performable understanding of complex system behaviors and facilitating informed decision-making.

This paper will be published in IEEE Xplore as part of IEEE conference proceedings.

• Publisher