TGDK, Volume 2, Issue 1, Complete Issue
Harth A, Kaefer T, Rula A, Calbimonte JP, Kamburjan E, Giese M (2024)
Publication Type: Journal article
Publication year: 2024
Journal
Original Authors: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/TGDK.2.1.1
Abstract
We work towards a vocabulary to represent processes and temporal logic specifications as graph-structured data. Different fields use incompatible terminologies for describing essentially the same process-related concepts. In addition, processes can be represented from different perspectives and levels of abstraction: both state-centric and event-centric perspectives offer distinct insights into the underlying processes. In this work, we strive to unify the representation of processes and related concepts by leveraging the power of knowledge graphs. We survey approaches to representing processes and reasoning with process descriptions from different fields and provide a selection of scenarios to help inform the scope of a unified representation of processes. We focus on processes that can be executed and observed via web interfaces. We propose to provide a representation designed to combine state-centric and event-centric perspectives while incorporating temporal querying and reasoning capabilities on temporal logic specifications. A standardised vocabulary and representation for processes and temporal specifications would contribute towards bridging the gap between the terminologies from different fields and fostering the broader application of methods involving temporal logics, such as formal verification and program synthesis.
Authors with CRIS profile
Involved external institutions
Università degli Studi di Brescia
Italy (IT)
University of Oslo
Norway (NO)
Karlsruhe Institute of Technology (KIT)
Germany (DE)
University of Applied Sciences and Arts of Southern Switzerland / Scuola Universitaria Professionale della Svizzera Italiana (SUPSI)
Switzerland (CH)
Italy (IT)
University of Oslo
Norway (NO)
Karlsruhe Institute of Technology (KIT)
Germany (DE)
University of Applied Sciences and Arts of Southern Switzerland / Scuola Universitaria Professionale della Svizzera Italiana (SUPSI)
Switzerland (CH)
How to cite
APA:
Harth, A., Kaefer, T., Rula, A., Calbimonte, J.-P., Kamburjan, E., & Giese, M. (2024). TGDK, Volume 2, Issue 1, Complete Issue. Transactions on Graph Data and Knowledge. https://doi.org/10.4230/TGDK.2.1.1
MLA:
Harth, Andreas, et al. "TGDK, Volume 2, Issue 1, Complete Issue." Transactions on Graph Data and Knowledge (2024).
BibTeX: Download