Seminar Computer Science - Dr. Eduard Kamburjan, University of Oslo

Title: Semantical Reflection for Computational Structures

Abstract:
 Semantic technologies, such as knowledge graphs and ontologies, are eminently useful to represent formal knowledge about a system’s individuals and universals, with numerous success stories from data integration, expert systems and standardization. Originating in the semantic web, they have a foundation in description logics and graph databases. In this talk we are going to present their integration with programming languages to describe a system’s evolution with explicit and implicit access to domain knowledge.

 We introduce the underlying technique of semantic reflection that allows procedural reflection of a program using a knowledge serialization and present recent advances (a) for Digital Twins, where knowledge graphs are used to connect to industrial Asset Information Models, (b) for qualitative simulation, where we connect ontologies with a simulation of geological processes, and (c) for program specification and verification, where we integrate description logics into a Hoare calculus for domain-aware deductive verification.