While knowledge graphs and ontologies are eminently useful to represent formal knowledge about a system’s context, individuals and universals, programming languages are designed to describe a system’s evolution. To address the dichotomy, we use a mapping that lifts the program states of an object-oriented programming language into a knowledge graph. The resulting graph is exposed as a semantic reflection layer within the programming language that can be accessed from the very same program that is lifted, allowing programmers to leverage knowledge of the application domain in their programs. In this talk, we present the core ideas about using semantic reflection in the design of a typed programming language for self-adaptive digital twins, as well as on-going work on verification.