Document Open Access Logo

Towards Representing Processes and Reasoning with Process Descriptions on the Web

Authors Andreas Harth , Tobias Käfer , Anisa Rula , Jean-Paul Calbimonte , Eduard Kamburjan , Martin Giese

PDF
Thumbnail PDF

File

TGDK.2.1.1.pdf
  • Filesize: 0.87 MB
  • 32 pages

Document Identifiers

Author Details

Andreas Harth
  • Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany
  • Fraunhofer Institute for Integrated Circuits IIS, Nürnberg, Germany
Tobias Käfer
  • Karlsruhe Institute of Technology (KIT), Germany
Anisa Rula
  • University of Brescia, Italy
Jean-Paul Calbimonte
  • University of Applied Sciences and Arts Western Switzerland HES-SO, Sierre, Switzerland
  • The Sense Innovation and Research Center, Lausanne, Switzerland
Eduard Kamburjan
  • University of Oslo, Norway
Martin Giese
  • University of Oslo, Norway

Funding

Harth acknowledges support from the German Federal Ministry of Education and Research via grant MOSAIK (01IS18070A), Käfer from the German Research Foundation (DFG) via grant FOR 5339 (459291153), Rula from the M.U.R. Italian Minister of University within the PRIN 2022 Programme via grant NEXTCART (2022YXXZH5), Calbimonte from the Swiss National Science Foundation via the grant StreamKG (213369) and Kamburjan and Giese from the Research Council of Norway via grants PeTWIN (294600) and SIRIUS (237898). The article is based upon work conducted as part of the COST Action Distributed Knowledge Graphs (CA19134) supported by COST (European Cooperation in Science and Technology).

Acknowledgements

We acknowledge the constructive comments of the anonymous reviewers. Harth acknowledges discussions over the years with Victor Charpenay, Stefan Decker, Dieter Fensel, Justus Fries, Stefan Jablonski and Daniel Schraudner regarding the formalisation of processes. Harth and Käfer acknowledge discussions with Brian Logan and the participants of the Dagstuhl Seminar 23081 Agents on the Web.

Cite AsGet BibTex

Andreas Harth, Tobias Käfer, Anisa Rula, Jean-Paul Calbimonte, Eduard Kamburjan, and Martin Giese. Towards Representing Processes and Reasoning with Process Descriptions on the Web. In Special Issue on Trends in Graph Data and Knowledge - Part 2. Transactions on Graph Data and Knowledge (TGDK), Volume 2, Issue 1, pp. 1:1-1:32, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/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.

Subject Classification

ACM Subject Classification
  • Information systems → Semantic web description languages
  • Theory of computation → Program semantics
  • Applied computing → Business process modeling
  • Applied computing → Event-driven architectures
  • Computing methodologies → Temporal reasoning
  • Computing methodologies → Ontology engineering
Keywords
  • Process modelling
  • Process ontology
  • Temporal logic
  • Web services

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

References

  1. Sudhir Agarwal, Sebastian Rudolph, and Andreas Abecker. Semantic description of distributed business processes. In Proceedings of AI Meets Business Rules and Process Management, pages 1-11. AAAI, 2008. URL: http://www.aaai.org/Library/Symposia/Spring/2008/ss08-01-001.php.
  2. Newres Al Haider, Benoit Gaudin, and John Murphy. Execution trace exploration and analysis using ontologie. In Proceedings of the Second International Conference on Runtime Verification (RV), volume 7186 of LNCS, pages 412-426. Springer, 2011. URL: https://doi.org/10.1007/978-3-642-29860-8_33.
  3. James F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832-843, 1983. URL: https://doi.org/10.1145/182.358434.
  4. João Paulo A. Almeida, Ricardo de Almeida Falbo, and Giancarlo Guizzardi. Events as entities in ontology-driven conceptual modeling. In Proceedings of the 38th International Conference on Conceptual Modeling (ER), volume 11788 of LNCS, pages 469-483. Springer, 2019. URL: https://doi.org/10.1007/978-3-030-33223-5_39.
  5. Ilkay Altintas, Chad Berkley, Efrat Jaeger, Matthew Jones, Bertram Ludäscher, and Steve Mock. Kepler: an extensible system for design and execution of scientific workflows. In Proceedings of the 16th International Conference on Scientific and Statistical Database Management, pages 423-424, 2004. URL: https://doi.org/10.1109/SSDM.2004.1311241.
  6. Darko Anicic, Paul Fodor, Sebastian Rudolph, and Nenad Stojanovic. EP-SPARQL: a unified language for event processing and stream reasoning. In Proceedings of the 20th International Conference on World Wide Web (WWW), pages 635-644. ACM, 2011. URL: https://doi.org/10.1145/1963405.1963495.
  7. Darko Anicic, Sebastian Rudolph, Paul Fodor, and Nenad Stojanovic. Stream reasoning and complex event processing in ETALIS. Semantic Web Journal, 3(4):397-407, 2012. URL: https://doi.org/10.3233/sw-2011-0053.
  8. Anupriya Ankolekar, Mark H. Burstein, Jerry R. Hobbs, Ora Lassila, David L. Martin, Sheila A. McIlraith, Srini Narayanan, Massimo Paolucci, Terry R. Payne, Katia P. Sycara, and Honglei Zeng. DAML-S: semantic markup for web services. In Proceedings of the First Semantic Web Working Symposium (SWWS), pages 411-430, 2001. Google Scholar
  9. Amina Annane, Mouna Kamel, and Nathalie Aussenac-Gilles. Comparing business process ontologies for task monitoring. In Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART), pages 634-643. SCITEPRESS, 2020. URL: https://doi.org/10.5220/0008978706340643.
  10. Mattia Atzeni and Maurizio Atzori. CodeOntology: RDF-ization of source code. In Proceedings of the 16th International Semantic Web Conference (ISWC), volume 10588 of LNCS, pages 20-28. Springer, 2017. URL: https://doi.org/10.1007/978-3-319-68204-4_2.
  11. Jie Bao, Elisa Kendall, Deborah McGuinness, and Peter Patel-Schneider. OWL 2 Web Ontology Language Quick Reference Guide. Recommendation, W3C, 2009. Latest version available at https://www.w3.org/TR/owl2-quick-reference/. URL: https://www.w3.org/TR/2009/REC-owl2-quick-reference-20091027/.
  12. Davide Barbieri, Daniele Braga, Stefano Ceri, Emanuele Della Valle, Yi Huang, Volker Tresp, Achim Rettinger, and Hendrik Wermser. Deductive and inductive stream reasoning for semantic social media analytics. IEEE Intelligent Systems, 25(6):32-41, 2010. URL: https://doi.org/10.1109/MIS.2010.142.
  13. Davide Francesco Barbieri, Daniele Braga, Stefano Ceri, Emanuele Della Valle, and Michael Grossniklaus. C-SPARQL. In Proceedings of the 18th International Conference on World Wide Web (WWW). ACM Press, 2009. URL: https://doi.org/10.1145/1526709.1526856.
  14. Piergiorgio Bertoli, Francesco Corcoglioniti, Chiara Di Francescomarino, Mauro Dragoni, Chiara Ghidini, and Marco Pistore. Semantic modeling and analysis of complex data-aware processes and their executions. Expert Systems with Applications, 198:116702, 2022. URL: https://doi.org/10.1016/j.eswa.2022.116702.
  15. Stefano Borgo, Roberta Ferrario, Aldo Gangemi, Nicola Guarino, Claudio Masolo, Daniele Porello, Emilio M. Sanfilippo, and Laure Vieu. DOLCE: A descriptive ontology for linguistic and cognitive engineering. Applied Ontology, 17(1):45-69, 2022. URL: https://doi.org/10.3233/AO-210259.
  16. Daniel Brand and Pitro Zafiropulo. On communicating finite-state machines. Journal of the ACM, 30(2):323-342, 1983. URL: https://doi.org/10.1145/322374.322380.
  17. Dan Brickley and Ramanathan Guha. RDF Schema 1.1. Recommendation, W3C, 2014. Latest version available at https://www.w3.org/TR/rdf-schema/. URL: https://www.w3.org/TR/2014/REC-rdf-schema-20140225/.
  18. Anila Sahar Butt and Peter Fitch. ProvONE+: A provenance model for scientific workflows. In Proceedings of the 21st International Conference onf Web Information Systems Engineering (WISE), volume 12343 of LNCS, pages 431-444. Springer, 2020. URL: https://doi.org/10.1007/978-3-030-62008-0_30.
  19. Liliana Cabral, Barry Norton, and John Domingue. The business process modelling ontology. In Proceedings of the 4th International Workshop on Semantic Business Process Management (SBPM), pages 9-16. ACM, 2009. URL: https://doi.org/10.1145/1944968.1944971.
  20. Jean-Paul Calbimonte, Oscar Corcho, and Alasdair J. G. Gray. Enabling ontology-based access to streaming data sources. In Proceedings of the 9th International Semantic Web Conference (ISWC), volume 6496 of LNCS, pages 96-111. Springer, 2010. URL: https://doi.org/10.1007/978-3-642-17746-0_7.
  21. Jean-Paul Calbimonte, Jose Mora, and Oscar Corcho. Query rewriting in RDF stream processing. In Proceedings of the 13th European Semantic Web Conference (ESWC), volume 9678 of LNCS, pages 486-502. Springer, 2016. URL: https://doi.org/10.1007/978-3-319-34129-3_30.
  22. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Riccardo Rosati. Actions and programs over description logic knowledge bases: A functional approach. In Knowing, Reasoning, and Acting: Essays in Honour of Hector J. Levesque. College Press, 2011. Google Scholar
  23. Marsha Chechik and Dimitrie O. Păun. Events in property patterns. In Proceedings of 5th and 6th International SPIN Workshops, volume 1680 of LNCS, pages 154-167. Springer, 1999. URL: https://doi.org/10.1007/3-540-48234-2_13.
  24. Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, and César Sánchez. Temporal logics for hyperproperties. In Proceedings of the Third International Conference on Principles of Security and Trust POST, volume 8414 of LNCS, pages 265-284. Springer, 2014. URL: https://doi.org/10.1007/978-3-642-54792-8_15.
  25. Michael Cochez, Stefan Decker, and Eric Prud’Hommeaux. Knowledge representation on the web revisited: the case for prototypes. In Proceedings of the 15th International Semantic Web Conference (ISWC), volume 9981 of LNCS, pages 151-166. Springer, 2016. URL: https://doi.org/10.1007/978-3-319-46523-4_10.
  26. Simon Cox and Chris Little. Time Ontology in OWL. Recommendation, W3C, 2017. Latest version available at https://www.w3.org/TR/owl-time/. URL: https://www.w3.org/TR/2017/REC-owl-time-20171019/.
  27. Richard Cyganiak, David Wood, and Markus Lanthaler. RDF 1.1 Concepts and Abstract Syntax. Recommendation, W3C, 2014. Latest version available at https://www.w3.org/TR/rdf11-concepts/. URL: https://www.w3.org/TR/2014/REC-rdf11-concepts-20140225/.
  28. Donald Davidson. The logical form of action sentences. In The Logic of Decision and Action, pages 81-95. University of Pittsburgh Press, 1967. URL: https://doi.org/10.1093/oso/9780195136975.003.0036.
  29. Donald Davidson. Events and particulars. Noûs, pages 25-32, 1970. URL: https://doi.org/10.2307/2214289.
  30. Camila Zacché de Aguiar, Ricardo de Almeida Falbo, and Vítor E. Silva Souza. OOC-O: A reference ontology on object-oriented code. In Proceedings of the 38th Conference on Conceptual Modeling, volume 11788 of LNCS, pages 13-27. Springer, 2019. URL: https://doi.org/10.1007/978-3-030-33223-5_3.
  31. Wellington Moreira de Oliveira, Daniel de Oliveira, and Vanessa Braganholo. Provenance analytics for workflow-based computational experiments: A survey. ACM Computing Surveys, 51(3):53:1-53:25, 2018. URL: https://doi.org/10.1145/3184900.
  32. Daniele Dell’Aglio, Minh Dao-Tran, Jean-Paul Calbimonte, Danh Le Phuoc, and Emanuele Della Valle. A query model to capture event pattern matching in RDF stream processing query languages. In Proceedings of the 20th European Knowledge Acquisition Workshop (EKAW), volume 10024 of LNCS, pages 145-162. Springer, 2016. URL: https://doi.org/10.1007/978-3-319-49004-5_10.
  33. Daniele Dell’Aglio, Emanuele Della Valle, Jean-Paul Calbimonte, and Oscar Corcho. RSP-QL semantics. International Journal on Semantic Web and Information Systems, 10(4):17-44, 2014. URL: https://doi.org/10.4018/ijswis.2014100102.
  34. Daniele Dell’Aglio, Emanuele Della Valle, Frank van Harmelen, and Abraham Bernstein. Stream reasoning: A survey and outlook. Data Science, 1:59-83, 2017. URL: https://doi.org/10.3233/DS-170006.
  35. Andreas Diepenbrock, Florian Rademacher, and Sabine Sachweh. An ontology-based approach for domain-driven design of microservice architectures. In INFORMATIK, volume P-275 of LNI, pages 1777-1791. Gesellschaft für Informatik, 2017. URL: https://doi.org/10.18420/in2017_177.
  36. Remco M Dijkman, Marlon Dumas, and Chun Ouyang. Semantics and analysis of business process models in BPMN. Information and Software technology, 50(12):1281-1294, 2008. URL: https://doi.org/10.1016/j.infsof.2008.02.006.
  37. Crystal Chang Din, Leif Harald Karlsen, Irina Pene, Oliver Stahl, Ingrid Chieh Yu, and Thomas Østerlie. Geological multi-scenario reasoning. In Proceedings of the 12th Norwegian Information Security Conference. NIK: Norsk Informatikkonferanse, 2019. URL: http://hdl.handle.net/11250/2633598.
  38. Clemens Dubslaff, Patrick Koopmann, and Anni-Yasmin Turhan. Ontology-mediated probabilistic model checking. In Proceedings of the 15th International Conference on Integrated Formal Methods (IFM), volume 11918 of LNCS, 2019. URL: https://doi.org/10.1007/978-3-030-34968-4_11.
  39. Matthew B. Dwyer, George S. Avrunin, and James C. Corbett. Patterns in property specifications for finite-state verification. In Proceedings of the 21st International Conference on Software Engineering (ICSE), pages 411-420, 1999. URL: https://doi.org/10.1145/302405.302672.
  40. E Allen Emerson and Edmund M Clarke. Using branching time temporal logic to synthesize synchronization skeletons. Science of Computer Programming, 2(3):241-266, 1982. URL: https://doi.org/10.1016/0167-6423(83)90017-5.
  41. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Knowledge-based programs. Distributed Computing, 10(4):199-225, 1997. URL: https://doi.org/10.1007/s004460050038.
  42. Alessio Ferrari and Maurice H. ter Beek. Formal methods in railways: A systematic mapping study. ACM Computing Surveys, 55(4):69:1-69:37, 2023. URL: https://doi.org/10.1145/3520480.
  43. Antony Galton. Processes as patterns of occurrence. In Process, Action, and Experience, pages 41-57. Oxford University Press, 2018. URL: https://doi.org/10.1093/oso/9780198777991.003.0003.
  44. Aldo Gangemi, Silvio Peroni, David M. Shotton, and Fabio Vitali. The publishing workflow ontology (PWO). Semantic Web, 8(5):703-718, 2017. URL: https://doi.org/10.3233/sw-160230.
  45. Daniel Garijo and Yolanda Gil. A new approach for publishing workflows: abstractions, standards, and linked data. In Proceedings of the 6th Workshop on Workflows in Support of Large-scale Science (WORKS), pages 47-56, 2011. URL: https://doi.org/10.1145/2110497.2110504.
  46. Daniel Garijo and Yolanda Gil. Augmenting PROV with plans in P-Plan: scientific processes as linked data. In Proceedings of the Second International Workshop on Linked Science 2012 - Tackling Big Data, volume 951 of CEUR Workshop Proceedings. CEUR-WS.org, 2012. URL: https://ceur-ws.org/Vol-951/paper6.pdf.
  47. Daniel Garijo, Yolanda Gil, and Óscar Corcho. Abstract, link, publish, exploit: An end to end framework for workflow sharing. Future Generation Computer Systems, 75:271-283, 2017. URL: https://doi.org/10.1016/j.future.2017.01.008.
  48. Dragan Gašević and Vladan Devedžić. Petri Net ontology. Knowledge-Based Systems, 19(4):220-234, 2006. URL: https://doi.org/10.1016/j.knosys.2005.12.003.
  49. Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121(1-2):109-169, 2000. URL: https://doi.org/10.1016/s0004-3702(00)00031-x.
  50. Yolanda Gil, Varun Ratnakar, Ewa Deelman, Gaurang Mehta, and Jihie Kim. Wings for Pegasus: Creating large-scale scientific applications using semantic representations of computational workflows. In Proceedings of the 22nd AAAI Conference on Artificial Intelligence, pages 1767-1774. AAAI Press, 2007. URL: https://doi.org/10.5555/1620113.1620127.
  51. Nathan Gruber and Birte Glimm. A comparative study of stream reasoning engines. In Proceedings of the 20th European Semantic Web Conference (ESWC), volume 13870 of LNCS, pages 21-37. Springer, 2023. URL: https://doi.org/10.1007/978-3-031-33455-9_2.
  52. Ramanathan V. Guha, Dan Brickley, and Steve Macbeth. Schema.org: evolution of structured data on the web. Communications of the ACM, 59(2):44-51, 2016. URL: https://doi.org/10.1145/2844544.
  53. Yuri Gurevich. Evolving algebras 1993: Lipari guide, pages 9-36. Oxford University Press, 1995. Google Scholar
  54. Reiner Hähnle and Marieke Huisman. Deductive software verification: From pen-and-paper proofs to industrial tools. In Computing and Software Science, volume 10000 of LNCS, pages 345-373. Springer, 2019. URL: https://doi.org/10.1007/978-3-319-91908-9_18.
  55. Armin Haller, Emilia Cimpian, Adrian Mocan, Eyal Oren, and Christoph Bussler. WSMX - A semantic service-oriented architecture. In Proceedings of the 2005 IEEE International Conference on Web Services (ICWS), pages 321-328. IEEE Computer Society, 2005. URL: https://doi.org/10.1109/ICWS.2005.139.
  56. Charles Antony Richard Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666-677, 1978. URL: https://doi.org/10.1145/359576.359585.
  57. Richard Hull, Elio Damaggio, Fabiana Fournier, Manmohan Gupta, Fenno F. Terry Heath III, Stacy Hobson, Mark H. Linehan, Sridhar Maradugu, Anil Nigam, Piyawadee Sukaviriya, and Roman Vaculín. Introducing the guard-stage-milestone approach for specifying business entity lifecycles. In Proceedings of the 7th International Workshop on Web Services and Formal Methods (WS-FM), volume 6551 of LNCS, pages 1-24. Springer, 2010. URL: https://doi.org/10.1007/978-3-642-19589-1_1.
  58. Stefan Jablonski. Mobile: A modular workflow model and architecture. In Working Conference on Dynamic Modelling and Information Systems, 1994. URL: https://www.researchgate.net/publication/2720558_MOBILE_A_modular_workflow_model_and_architecture.
  59. Ni Jing. A PROV-O based approach to web content provenance. In Proceedings of the 2015 International Conference on Logistics, Informatics and Service Sciences (LISS), pages 1-6. IEEE, 2015. URL: https://doi.org/10.1109/LISS.2015.7369688.
  60. Tobias Käfer and Andreas Harth. Rule-based programming of user agents for linked data. In Workshop on Linked Data on the Web (LDOW), volume 2073 of CEUR Workshop Proceedings. CEUR-WS.org, 2018. URL: https://ceur-ws.org/Vol-2073/article-05.pdf.
  61. Tobias Käfer and Andreas Harth. Specifying, monitoring, and executing workflows in linked data environments. In Proceedings of the 17th International Semantic Web Conference (ISWC), volume 11136 of LNCS, pages 424-440. Springer, 2018. URL: https://doi.org/10.1007/978-3-030-00671-6_25.
  62. Tobias Käfer, Andreas Harth, and Sebastien Mamessier. Towards declarative programming and querying in a distributed cyber-physical system: The i-VISION case. In Proceedings of the Second International Workshop on Modelling, Analysis, and Control of Complex CPS (CPSData), pages 1-6. IEEE, 2016. URL: https://doi.org/10.1109/CPSData.2016.7496418.
  63. Tobias Käfer, Benjamin Jochum, Nico Aßfalg, and Leonard Nürnberg. Specifying and executing user agents in an environment of reasoning and RESTful systems using the guard-stage-milestone approach. Journal on Data Semantics, 10(1-2):57-75, 2021. URL: https://doi.org/10.1007/s13740-021-00123-0.
  64. Eduard Kamburjan and Crystal Chang Din. Runtime enforcement using knowledge bases. In Proceedings of the International Conference on Fundamental Approaches to Software Engineering FASE, volume 13991 of LNCS, pages 220-240. Springer, 2023. URL: https://doi.org/10.1007/978-3-031-30826-0_12.
  65. Eduard Kamburjan, Vidar Norstein Klungre, and Martin Giese. Never mind the semantic gap: Modular, lazy and safe loading of RDF data. In Proceedings of the 19th European Semantic Web Conference ESWC, volume 13261 of LNCS, pages 200-216. Springer, 2022. URL: https://doi.org/10.1007/978-3-031-06981-9_12.
  66. Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Einar Broch Johnsen, and Martin Giese. Programming and debugging with semantically lifted states. In Proceedings of the 18th European Semantic Web Conference ESWC, volume 12731 of LNCS, pages 126-142. Springer, 2021. URL: https://doi.org/10.1007/978-3-030-77385-4_8.
  67. Hirofumi Katsuno and Alberto O. Mendelzon. On the difference between updating a knowledge base and revising it. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 387-394. Morgan Kaufmann, 1991. URL: https://doi.org/10.1017/cbo9780511526664.007.
  68. Gerhard Keller, Markus Nüttgens, and August-Wilhelm Scheer. Semantische Prozeßmodellierung auf der Grundlage "Ereignisgesteuerter Prozeßketten (EPK)". Veröffentlichungen des Instituts für Wirtschaftsinformatik. - Saarbrücken : IWI, ISSN 1438-5678. - Vol. 89, 1992. Google Scholar
  69. Agnes Koschmider and Andreas Oberweis. Ontology based business process description. In Proceedings of the Open Interop Workshop on Enterprise Modelling and Ontologies for Interoperability, volume 160 of CEUR Workshop Proceedings. CEUR-WS.org, 2005. URL: https://ceur-ws.org/Vol-160/paper12.pdf.
  70. Leslie Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 1978. URL: https://doi.org/10.1145/359545.359563.
  71. Jean-Baptiste Lamy. Owlready: Ontology-oriented programming in Python with automatic classification and high level constructs for biomedical ontologies. Artificial Intelligence in Medicine, 80:11-28, 2017. URL: https://doi.org/10.1016/j.artmed.2017.07.002.
  72. Ming-Che Lee, Ding Yen Ye, and Tzone I. Wang. Java learning object ontology. In Proceedings of the 5th International Conference onf Advanced Learning Technologies ICALT, pages 538-542. IEEE, 2005. URL: https://doi.org/10.1109/icalt.2005.185.
  73. Martin Leinberger. Type-safe Programming for the Semantic Web. PhD thesis, University of Koblenz and Landau, 2021. URL: https://doi.org/10.3233/ssw52.
  74. Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, and Richard B. Scherl. GOLOG: A logic programming language for dynamic domains. The Journal of Logical Programming, 31(1-3):59-83, 1997. URL: https://doi.org/10.1016/s0743-1066(96)00121-5.
  75. David Martin, Massimo Paolucci, Sheila McIlraith, Mark Burstein, Drew McDermott, Deborah McGuinness, Bijan Parsia, Terry Payne, Marta Sabou, Monika Solanki, Naveen Srinivasan, and Katja Sycara. Bringing semantics to web services: The OWL-S approach. In Proceedings of the First International Workshop on Semantic Web Services and Web Process Composition (SWSWPC), volume 3387 of LNCS, pages 26-42. Springer, 2005. URL: https://doi.org/10.1007/978-3-540-30581-1_4.
  76. Drew McDermott. A temporal logic for reasoning about processes and plans. Cognitive Science, 6(2):101-155, 1982. URL: https://doi.org/10.1207/s15516709cog0602_1.
  77. Robin Milner. A calculus of communicating systems. Springer, 1980. URL: https://doi.org/10.1007/3-540-10235-3.
  78. Robin Milner. Communicating and mobile systems: the pi calculus. Cambridge University Press, 1999. Google Scholar
  79. Michael zur Muehlen, Jeffrey V. Nickerson, and Keith D. Swenson. Developing web services choreography standards - the case of REST vs. SOAP. Decision Support Systems, 40(1):9-29, 2005. URL: https://doi.org/10.1016/j.dss.2004.04.008.
  80. Yavor Nenov, Robert Piro, Boris Motik, Ian Horrocks, Zhe Wu, and Jay Banerjee. RDFox: A highly-scalable RDF store. In Proceedings of the 14th International Semantic Web Conference (ISWC), volume 9367 of LNCS, pages 3-20. Springer, 2015. URL: https://doi.org/10.1007/978-3-319-25010-6_1.
  81. Daniel Oberle. How ontologies benefit enterprise applications. Semantic Web, 5(6):473-491, 2014. URL: https://doi.org/10.3233/sw-130114.
  82. Daniel Oberle, Stephan Grimm, and Steffen Staab. An ontology for software. In Handbook on Ontologies, pages 383-402. Springer, 2009. URL: https://doi.org/10.1007/978-3-540-92673-3_17.
  83. Daniel Oberle, Steffen Lamparter, Stephan Grimm, Denny Vrandecic, Steffen Staab, and Aldo Gangemi. Towards ontologies for formalizing modularization and communication in large software systems. Applied Ontology, 1(2):163-202, 2006. URL: http://content.iospress.com/articles/applied-ontology/ao016.
  84. J. Neil Otte, John Beverley, and Alan Ruttenberg. BFO: basic formal ontology. Applied Ontology, 17(1):17-43, 2022. URL: https://doi.org/10.3233/AO-220262.
  85. Alexander Paar. Zhi# - programming language inherent support for ontologies. PhD thesis, Karlsruhe Institute of Technology, 2009. URL: https://doi.org/10.5445/IR/1000019039.
  86. Dileep Kumar Pattipati, Rupesh Nasre, and Sreenivasa Kumar Puligundla. BOLD: an ontology-based log debugger for C programs. Automated Software Engineering, 29(1):2, 2022. URL: https://doi.org/10.1007/s10515-021-00308-8.
  87. Maja Pesic, Helen Schonenberg, and Wil MP Van der Aalst. DECLARE: Full support for loosely-structured processes. In Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC), pages 287-300. IEEE, 2007. URL: https://doi.org/10.1109/EDOC.2007.14.
  88. Carl Adam Petri. Kommunikation mit Automaten. PhD thesis, University of Bonn, 1962. Google Scholar
  89. Danh Le Phuoc, Minh Dao-Tran, Josiane Xavier Parreira, and Manfred Hauswirth. A native and adaptive approach for unified processing of linked streams and linked data. In Proceedings of the 10th International Semantic Web Conference (ISWC), volume 7031 of LNCS, pages 370-388. Springer, 2011. URL: https://doi.org/10.1007/978-3-642-25073-6_24.
  90. Amir Pnueli. The temporal logic of programs. In Proceedings of the 18th Annual Symposium on Foundations of Computer Science (SFCS), pages 46-57. IEEE, 1977. URL: https://doi.org/10.1109/SFCS.1977.32.
  91. Arthur N Prior. Time and modality. Oxford University Press, 1957. URL: https://doi.org/10.2307/2216989.
  92. Yuanwei Qu, Eduard Kamburjan, Anita Torabi, and Martin Giese. Semantically triggered qualitative simulation of a geological process. Applied Computing and Geosciences, 21:100152, 2024. URL: https://doi.org/10.1016/j.acags.2023.100152.
  93. Fabrício Henrique Rodrigues and Mara Abel. What to consider about events: A survey on the ontology of occurrents. Applied Ontology, 14(4):343-378, 2019. URL: https://doi.org/10.3233/ao-190217.
  94. Dumitru Roman, Uwe Keller, Holger Lausen, Jos De Bruijn, Rubén Lara, Michael Stollberg, Axel Polleres, Cristina Feier, Cristoph Bussler, and Dieter Fensel. Web service modeling ontology. Applied Ontology, 1(1):77-106, 2005. URL: https://doi.org/10.1007/978-3-642-19193-0_7.
  95. Marco Rospocher, Chiara Ghidini, and Luciano Serafini. An ontology for the business process modelling notation. In Proceedings of the 8th International Conference on Formal Ontology in Information Systems (FOIS), volume 267 of Frontiers in Artificial Intelligence and Applications, pages 133-146. IOS Press, 2014. URL: https://doi.org/10.3233/978-1-61499-438-1-133.
  96. Nick Russell, Wil M. P. van der Aalst, and Arthur H. M. ter Hofstede. Workflow Patterns: The Definitive Guide. MIT Press, 2016. URL: https://doi.org/10.7551/mitpress/8085.001.0001.
  97. Barry Smith. Classifying processes: an essay in applied ontology. Classifying Reality, pages 101-126, 2013. Google Scholar
  98. Graeme Stevenson and Simon Dobson. Sapphire: Generating Java runtime artefacts from OWL ontologies. In Proceedings of the CAiSE Workshops, volume 83 of Lecture Notes in Business Information Processing, pages 425-436. Springer, 2011. URL: https://doi.org/10.1007/978-3-642-22056-2_46.
  99. Oliver Thomas and Michael Fellmann. Semantic EPC: enhancing process modeling using ontology languages. In Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management (SBPM), volume 251 of CEUR Workshop Proceedings. CEUR-WS.org, 2007. URL: https://ceur-ws.org/Vol-251/paper9.pdf.
  100. Riccardo Tommasini, Yehia Abo Sedira, Daniele Dell’Aglio, Marco Balduini, Muhammad Intizar Ali, Danh Le Phuoc, Emanuele Della Valle, and Jean-Paul Calbimonte. VoCaLS: Vocabulary and catalog of linked streams. In Proceedings of the 17th International Semantic Web Conference (ISWC), volume 11137 of LNCS, pages 256-272. Springer, 2018. URL: https://doi.org/10.1007/978-3-030-00668-6_16.
  101. Daniele Turi, Paolo Missier, Carole A. Goble, David De Roure, and Tom Oinn. Taverna workflows: Syntax and semantics. In Proceedings of the Third International Conference on e-Science and Grid Computing, pages 441-448. IEEE, 2007. URL: https://doi.org/10.1109/E-SCIENCE.2007.71.
  102. Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Bartek Kiepuszewski, and Alistair P. Barros. Workflow patterns. Distributed and Parallel Databases, 14(1):5-51, 2003. URL: https://doi.org/10.1023/A:1022883727209.
  103. Wil M. P. van der Aalst, Ton Weijters, and Laura Maruster. Workflow mining: Discovering process models from event logs. IEEE Transactions on Knowledge and Data Engineering, 16(9):1128-1142, 2004. URL: https://doi.org/10.1109/TKDE.2004.47.
  104. Jussi Vanhatalo, Hagen Völzer, and Jana Koehler. The refined process structure tree. In Proceedings of the 6th International Conference on Business Process Management (BPM), volume 5240 of LNCS, pages 100-115. Springer, 2008. URL: https://doi.org/10.1007/978-3-540-85758-7_10.
  105. Zeno Vendler. Verbs and times. The Philosophical Review, 66(2):143-160, 1957. URL: https://doi.org/10.2307/2182371.
  106. Raphael Volz, Steffen Staab, and Boris Motik. Incrementally maintaining materializations of ontologies stored in logic databases. Journal on Data Semantics II, pages 1-34, 2005. URL: https://doi.org/10.1007/978-3-540-30567-5_1.
  107. Mark D. Wilkinson, Michel Dumontier, IJsbrand Jan Aalbersberg, Gabrielle Appleton, Myles Axton, Arie Baak, Niklas Blomberg, Jan-Willem Boiten, Luiz Bonino da Silva Santos, Philip E. Bourne, et al. The FAIR guiding principles for scientific data management and stewardship. Scientific Data, 3(1):1-9, 2016. URL: https://doi.org/10.1038/sdata.2016.18.
  108. Glynn Winskel. The formal semantics of programming languages - An introduction. MIT Press, 1993. URL: https://doi.org/10.7551/mitpress/3054.001.0001.
  109. Benjamin Zarrieß and Jens Claßen. Verification of knowledge-based programs over description logic actions. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI). AAAI Press, 2015. URL: https://doi.org/10.25368/2022.216.
  110. Yue Zhao, Guoyang Chen, Chunhua Liao, and Xipeng Shen. Towards ontology-based program analysis. In Proceedings of the 30th European Conference on Object-Oriented Programming (ECOOP), pages 26:1-26:25, 2016. URL: https://doi.org/10.4230/LIPIcs.ECOOP.2016.26.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact