Programming and Debugging with Semantically Lifted StatesDownload PDF

Dec 11, 2020 (edited Mar 16, 2021)ESWC 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.
  • First Author Is Student: No
  • Subtrack: Knowledge Graphs (understanding, creating, and exploiting)
12 Replies

Loading