@article{Harth:14344,
      recid = {14344},
      author = {Harth, Andreas and Käfer, Tobias and Rula, Anisa and  Calbimonte, Jean-Paul and Kamburjan, Eduard and Giese,  Martin},
      title = {Towards representing processes and reasoning with process  descriptions on the web},
      publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
      journal = {Transactions on Graph Data and Knowledge (TGDK)},
      address = {Germany. 2024-05},
      number = {ARTICLE},
      pages = {32 p.},
      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.},
      url = {http://arodes.hes-so.ch/record/14344},
      doi = {https://doi.org/10.4230/tgdk.2.1.1},
}