Programming and Debugging with Semantically Lifted StatesDownload PDF

Published: 23 Feb 2021, Last Modified: 05 May 2023ESWC 2021 ResearchReaders: Everyone
Keywords: semantic programming, reflection
Abstract: We propose a novel integration of programming languages with semantic technologies. We create a semantic reflection mechanism by a direct mapping from program states to RDF knowledge graphs. This mechanism enables several promising novel applications including the use of semantic technology, including reasoning, for debugging and validating the sanity of program states, and integration with external knowledge graphs. Additionally, by making the knowledge graph accessible from the program, method implementations can refer to state semantics rather than objects, establishing a deep integration between programs and semantics. This allows the programmer to use domain knowledge formalised as, e.g., an ontology directly in the program’s control flow. We formalise this integration by defining a core object based programming language that incorporates these features. A prototypical interpreter is available for download.
Subtrack: Knowledge Graphs (understanding, creating, and exploiting)
First Author Is Student: No
12 Replies