Semantic Reflection and Digital Twins: A Comprehensive Overview

Eduard Kamburjan; Andrea Pferscher; Rudolf Schlatte; Riccardo Sieve; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen

doi:10.1007/978-3-031-73887-6_11

Semantic Reflection and Digital Twins: A Comprehensive Overview

Eduard Kamburjan
, Andrea Pferscher
, Rudolf Schlatte
, Riccardo Sieve
, Silvia Lizeth Tapia Tarifa
, Einar Broch Johnsen

University of Oslo

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

Abstract

Semantic reflection combines reflection in programming languages with semantic technologies for knowledge representation. It enables a program to represent and query its own runtime state as a knowledge graph. The knowledge graphs reflecting program states can be combined with domain knowledge which allows queries about a program to be made in terms of a given domain vocabulary, as well as with external graph data. Both extensions of the knowledge graph reflecting the runtime state are useful for digital twins. In this paper, we discuss the basic concepts of semantic reflection, its applications for digital twins, and its connections to formal methods.

Originalsprog	Engelsk
Titel	The Combined Power of Research, Education, and Dissemination
Redaktører	Mike Hinchey, Bernhard Steffen
Antal sider	17
Forlag	Springer Nature Switzerland
Publikationsdato	22 okt. 2024
Sider	129–145
ISBN (Elektronisk)	978‑3‑031‑73887‑6
DOI	https://doi.org/10.1007/978-3-031-73887-6_11
Status	Udgivet - 22 okt. 2024
Udgivet eksternt	Ja
Begivenhed	Workshop on Language Models for Low-Resource Languages - Abu Dhabi National Exhibition Centre, Abu Dhabi, United Arab Emirates Varighed: 20 jan. 2025 → … Konferencens nummer: 1 https://loreslm.github.io/program?utm

Workshop

Workshop	Workshop on Language Models for Low-Resource Languages
Nummer	1
Lokation	Abu Dhabi National Exhibition Centre
Land/Område	United Arab Emirates
By	Abu Dhabi
Periode	20/01/2025 → …
Internetadresse	https://loreslm.github.io/program?utm

Navn	Lecture Notes in Computer Science
Vol/bind	15240

Adgang til dokumentet

10.1007/978-3-031-73887-6_11

Citationsformater

@inbook{19f9a558e01f4434ab268e9e3710a66b,

title = "Semantic Reflection and Digital Twins: A Comprehensive Overview",

abstract = "Semantic reflection combines reflection in programming languages with semantic technologies for knowledge representation. It enables a program to represent and query its own runtime state as a knowledge graph. The knowledge graphs reflecting program states can be combined with domain knowledge which allows queries about a program to be made in terms of a given domain vocabulary, as well as with external graph data. Both extensions of the knowledge graph reflecting the runtime state are useful for digital twins. In this paper, we discuss the basic concepts of semantic reflection, its applications for digital twins, and its connections to formal methods.",

author = "Eduard Kamburjan and Andrea Pferscher and Rudolf Schlatte and Riccardo Sieve and Tarifa, \{Silvia Lizeth Tapia\} and Johnsen, \{Einar Broch\}",

year = "2024",

month = oct,

day = "22",

doi = "10.1007/978-3-031-73887-6\_11",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature Switzerland",

pages = "129–145",

editor = "Mike Hinchey and Bernhard Steffen",

booktitle = "The Combined Power of Research, Education, and Dissemination",

note = "Workshop on Language Models for Low-Resource Languages, LoResLM ; Conference date: 20-01-2025",

url = "https://loreslm.github.io/program?utm",

}

Kamburjan, E, Pferscher, A, Schlatte, R, Sieve, R, Tarifa, SLT & Johnsen, EB 2024, Semantic Reflection and Digital Twins: A Comprehensive Overview. i M Hinchey & B Steffen (red), The Combined Power of Research, Education, and Dissemination. Springer Nature Switzerland, Lecture Notes in Computer Science, bind 15240, s. 129–145, Workshop on Language Models for Low-Resource Languages, Abu Dhabi, United Arab Emirates, 20/01/2025. https://doi.org/10.1007/978-3-031-73887-6_11

Semantic Reflection and Digital Twins: A Comprehensive Overview. / Kamburjan, Eduard; Pferscher, Andrea; Schlatte, Rudolf et al.
The Combined Power of Research, Education, and Dissemination. red. / Mike Hinchey; Bernhard Steffen. Springer Nature Switzerland, 2024. s. 129–145 (Lecture Notes in Computer Science, Bind 15240).

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

TY - CHAP

T1 - Semantic Reflection and Digital Twins: A Comprehensive Overview

AU - Kamburjan, Eduard

AU - Pferscher, Andrea

AU - Schlatte, Rudolf

AU - Sieve, Riccardo

AU - Tarifa, Silvia Lizeth Tapia

AU - Johnsen, Einar Broch

N1 - Conference code: 1

PY - 2024/10/22

Y1 - 2024/10/22

N2 - Semantic reflection combines reflection in programming languages with semantic technologies for knowledge representation. It enables a program to represent and query its own runtime state as a knowledge graph. The knowledge graphs reflecting program states can be combined with domain knowledge which allows queries about a program to be made in terms of a given domain vocabulary, as well as with external graph data. Both extensions of the knowledge graph reflecting the runtime state are useful for digital twins. In this paper, we discuss the basic concepts of semantic reflection, its applications for digital twins, and its connections to formal methods.

AB - Semantic reflection combines reflection in programming languages with semantic technologies for knowledge representation. It enables a program to represent and query its own runtime state as a knowledge graph. The knowledge graphs reflecting program states can be combined with domain knowledge which allows queries about a program to be made in terms of a given domain vocabulary, as well as with external graph data. Both extensions of the knowledge graph reflecting the runtime state are useful for digital twins. In this paper, we discuss the basic concepts of semantic reflection, its applications for digital twins, and its connections to formal methods.

UR - https://doi.org/10.1007/978-3-031-73887-6_11

U2 - 10.1007/978-3-031-73887-6_11

DO - 10.1007/978-3-031-73887-6_11

M3 - Book chapter

T3 - Lecture Notes in Computer Science

SP - 129

EP - 145

BT - The Combined Power of Research, Education, and Dissemination

A2 - Hinchey, Mike

A2 - Steffen, Bernhard

PB - Springer Nature Switzerland

T2 - Workshop on Language Models for Low-Resource Languages

Y2 - 20 January 2025

ER -

Semantic Reflection and Digital Twins: A Comprehensive Overview

Abstract

Workshop

Adgang til dokumentet

Fingeraftryk

Citationsformater