{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T10:02:20Z","timestamp":1743156140911,"version":"3.40.3"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030928742"},{"type":"electronic","value":"9783030928759"}],"license":[{"start":{"date-parts":[[2021,12,3]],"date-time":"2021-12-03T00:00:00Z","timestamp":1638489600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,12,3]],"date-time":"2021-12-03T00:00:00Z","timestamp":1638489600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-030-92875-9_15","type":"book-chapter","created":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T17:04:00Z","timestamp":1650906240000},"page":"437-458","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Logic-Based Approaches for Process Querying"],"prefix":"10.1007","author":[{"given":"Ralf","family":"Laue","sequence":"first","affiliation":[]},{"given":"Jorge","family":"Roa","sequence":"additional","affiliation":[]},{"given":"Emiliano","family":"Reynares","sequence":"additional","affiliation":[]},{"given":"Mar\u00eda Laura","family":"Caliusco","sequence":"additional","affiliation":[]},{"given":"Pablo","family":"Villarreal","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,12,3]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","unstructured":"Angles, R.: A comparison of current graph database models. In: 2012 IEEE 28th International Conference on Data Engineering Workshops, pp. 171\u2013177 (2012). https:\/\/doi.org\/10.1109\/ICDEW.2012.31","DOI":"10.1109\/ICDEW.2012.31"},{"key":"15_CR2","volume-title":"The Description Logic Handbook: Theory","author":"F Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Patel-Schneider, P., Nardi, D.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press (2003)"},{"issue":"1","key":"15_CR3","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1108\/BPMJ-07-2013-0103","volume":"21","author":"P Bergener","year":"2015","unstructured":"Bergener, P., Delfmann, P., Wei\u00df, B., Winkelmann, A.: Detecting potential weaknesses in business processes: An exploration of semantic pattern matching in process models. Bus. Process Manag. J. 21(1), 25\u201354 (2015)","journal-title":"Bus. Process Manag. J."},{"key":"15_CR4","unstructured":"Cosmos: Azure Cosmos DB - Graph API (2018). https:\/\/docs.microsoft.com\/en-us\/azure\/cosmos-db\/graph-introduction"},{"key":"15_CR5","first-page":"178","volume":"554","author":"P Delfmann","year":"2009","unstructured":"Delfmann, P., Herwig, S., Lis, L.: Konflikt\u00e4re Bezeichnungen in Ereignisgesteuerten Prozessketten \u2014 Linguistische Analyse und Vorschlag eines L\u00f6sungsansatzes. In: EPK 2009 Gesch\u00e4ftsprozessmanagement mit Ereignisgesteuerten Prozessketten. CEUR- Workshop Proceedings, vol. 554, pp. 178\u2013194 (2009)","journal-title":"CEUR- Workshop Proceedings"},{"key":"15_CR6","unstructured":"DSE: DSE Graph. DataStax Enterprise Graph (2018). https:\/\/www.datastax.com\/products\/datastax-enterprise-graph"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Fellbaum, C. (ed.): WordNet: An Electronic Lexical Database (Language, Speech, and Communication). The MIT Press (1998)","DOI":"10.7551\/mitpress\/7287.001.0001"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Feltracco, A., Jezek, E., Magnini, B.: Opposition relations among verb frames. In: Proceedings of The 3rd Workshop on EVENTS: Definition, Detection, Coreference, and Representation, pp. 16\u201324. Association for Computational Linguistics (2015)","DOI":"10.3115\/v1\/W15-0803"},{"key":"15_CR9","unstructured":"GraphDB: GraphDB. An enterprise ready semantic graph database, compliant with W3C standards (2018). http:\/\/graphdb.ontotext.com\/"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Gruhn, V., Laue, R.: Checking properties of business process models with logic programming. In: Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS) 2007, pp. 84\u201393. INSTICC Press (2007)","DOI":"10.5220\/0002413100840093"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Gruhn, V., Laue, R.: Reducing the cognitive complexity of business process models. In: IEEE International Conference on Cognitive Informatics (2009)","DOI":"10.1109\/COGINF.2009.5250717"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Gruhn, V., Laue, R.: A heuristic method for detecting problems in business process models. Bus. Process Manag. J. 16(4) (2010)","DOI":"10.1108\/14637151011076485"},{"issue":"1","key":"15_CR13","first-page":"3","volume":"6","author":"V Gruhn","year":"2011","unstructured":"Gruhn, V., Laue, R.: Detecting common errors in event-driven process chains by label analysis. Enterp. Modell. Inf. Syst. Archit. 6(1), 3\u201315 (2011)","journal-title":"Enterp. Modell. Inf. Syst. Archit."},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Guarino, N., Oberle, D., Staab, S.: What Is an Ontology? pp. 1\u201317. Springer, Berlin, Heidelberg (2009)","DOI":"10.1007\/978-3-540-92673-3_0"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Han, Z., Gong, P., Zhang, L., Ling, J., Huang, W.: Definition and detection of control-flow anti-patterns in process models. In: 37th Annual IEEE Computer Software and Applications Conference Workshops (COMPSACW), pp. 433\u2013438 (2013)","DOI":"10.1109\/COMPSACW.2013.111"},{"key":"15_CR16","unstructured":"Hunter, J., Wooldridge, M.: Inside MarkLogic server (2011)"},{"key":"15_CR17","unstructured":"International Organization for Standardization: Standard ISO\/IEC 13211-1:1995: Information technology - Programming languages - Prolog. Tech. rep. (1995)"},{"key":"15_CR18","unstructured":"International Organization for Standardization: ISO 19510 International Standard - Information technology - Object Management Group Business Process Model and Notation. Tech. rep. (2013)"},{"key":"15_CR19","unstructured":"Janus: JanusGraph. Distributed graph database. (2018). http:\/\/janusgraph.org\/"},{"key":"15_CR20","unstructured":"Jena: Apache Jena - a free and open source Java framework for building semantic Web and linked data applications. (2018). https:\/\/jena.apache.org\/index.html"},{"key":"15_CR21","unstructured":"Koehler, J., Vanhatalo, J.: Process anti-patterns: How to avoid the common traps of business process modeling. IBM WebSphere Developer Tech. J. 10(2+4) (2007)"},{"issue":"3","key":"15_CR22","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/s10257-009-0120-x","volume":"8","author":"R Laue","year":"2010","unstructured":"Laue, R., Mendling, J.: Structuredness and its significance for correctness of process models. Inf. Syst. E-Bus. Manag. 8(3), 287\u2013307 (2010)","journal-title":"Inf. Syst. E-Bus. Manag."},{"key":"15_CR23","unstructured":"Laue, R., Storch, A.: A flexible approach for validating i* models. In: Proceedings of the 5th International i* Workshop (2011)"},{"key":"15_CR24","unstructured":"Laue, R., K\u00fchne, S., Gadatsch, A.: Evaluating the effect of feedback on syntactic errors for novice modellers. In: EPK 2009, Gesch\u00e4ftsprozessmanagement mit Ereignisgesteuerten Prozessketten, CEUR Workshop Proceedings (2009)"},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"Laue, R., Koop, W., Gruhn, V.: Indicators for open issues in business process models. In: REFSQ. Lecture Notes in Computer Science, vol. 9619, pp. 102\u2013116. Springer (2016)","DOI":"10.1007\/978-3-319-30282-9_7"},{"key":"15_CR26","doi-asserted-by":"crossref","unstructured":"Mendling, J., van der Aalst, W.M.P.: Advanced reduction rules for the verification of EPC business process models. In: SIGSAND-EUROPE. LNI, vol. 129, p. 129. GI (2008)","DOI":"10.1007\/978-3-540-89224-3_3"},{"key":"15_CR27","unstructured":"Neo4j: Neo4j graph platform (2018). https:\/\/neo4j.com\/"},{"key":"15_CR28","unstructured":"Nugues, P.M.: An Introduction to Language Processing with Perl and Prolog: An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German. Springer Publishing (2010)"},{"key":"15_CR29","doi-asserted-by":"crossref","unstructured":"Pittke, F., Leopold, H., Mendling, J.: When language meets language: Anti patterns resulting from mixing natural and modeling language. In: Business Process Management Workshops - BPM 2014, Lecture Notes in Business Information Processing, vol. 202, pp. 118\u2013129. Springer (2014)","DOI":"10.1007\/978-3-319-15895-2_11"},{"key":"15_CR30","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.dss.2017.04.011","volume":"100","author":"A Polyvyanyy","year":"2017","unstructured":"Polyvyanyy, A., Ouyang, C., Barros, A., van der Aalst, W.M.P.: Process querying: Enabling business intelligence through query-based process analytics. Decis. Support Syst. 100, 41\u201356 (2017)","journal-title":"Decis. Support Syst."},{"key":"15_CR31","doi-asserted-by":"crossref","unstructured":"Roa, J., Reynares, E., Caliusco, M.L., Villarreal, P.: Towards ontology-based anti-patterns for the verification of business process behavior. In: New Advances in Information Systems and Technologies, pp. 665\u2013673. Springer (2016)","DOI":"10.1007\/978-3-319-31307-8_68"},{"key":"15_CR32","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-319-58457-7_8","volume":"281","author":"J Roa","year":"2016","unstructured":"Roa, J., Reynares, E., Caliusco, M.L., Villarreal, P.D.: Ontology-based heuristics for process behavior: Formalizing false positive scenarios. In: Business Process Management Workshops - BPM 2016. Lecture Notes in Business Information Processing, vol. 281, pp. 106\u2013117 (2016)","journal-title":"Lecture Notes in Business Information Processing"},{"key":"15_CR33","unstructured":"Robinson, I., Webber, J., Eifrem, E.: Graph Databases. O\u2019Reilly Media (2015)"},{"key":"15_CR34","unstructured":"Rospocher, M., Ghidini, C., Serafini, L.: An ontology for the business process modelling notation. In: Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, FOIS2014, September, 22\u201325, 2014, Rio de Janeiro, Brazil, vol. 267, pp. 133\u2013146. IOS Press (2014). https:\/\/doi.org\/10.3233\/978-1-61499-438-1-133"},{"key":"15_CR35","unstructured":"Shearer, R., Motik, B., Horrocks, I.: Hermit: A highly-efficient owl reasoner. In: Proceedings of 5th OWL Experienced and Directions Workshop (OWLED 2008), vol. 432, p. 91 (2008)"},{"issue":"1","key":"15_CR36","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/S0169-023X(97)00056-6","volume":"25","author":"R Studer","year":"1998","unstructured":"Studer, R., Benjamins, V.R., Fensel, D., et al.: Knowledge engineering: principles and methods. Data Knowl. Eng. 25(1), 161\u2013198 (1998)","journal-title":"Data Knowl. Eng."},{"key":"15_CR37","doi-asserted-by":"crossref","unstructured":"Tr\u010dka, N., van der Aalst, W.M.P., Sidorova, N.: Data-flow anti-patterns: Discovering data-flow errors in workflows. In: 21st International Conference on Advanced Information Systems Engineering (CAiSE), pp. 425\u2013439. Springer (2009)","DOI":"10.1007\/978-3-642-02144-2_34"},{"key":"15_CR38","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Verification of workflow nets. In: Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN \u201997, Toulouse, France, June 23\u201327, 1997, Proceedings, pp. 407\u2013426 (1997)","DOI":"10.1007\/3-540-63139-9_48"},{"key":"15_CR39","doi-asserted-by":"crossref","unstructured":"van Dongen, B., Mendling, J., van der Aalst, W.: Structural patterns for soundness of business process models. In: Enterprise Distributed Object Computing Conference, 2006. EDOC \u201906. 10th IEEE International, pp. 116\u2013128 (2006)","DOI":"10.1109\/EDOC.2006.56"},{"key":"15_CR40","unstructured":"World Wide Web Consortium: W3C Recommendation: SPARQL 1.1. Tech. rep. (2013)"},{"key":"15_CR41","doi-asserted-by":"crossref","unstructured":"Yu, E., Giorgini, P., Maiden, N., Mylopoulos, J.: Social Modeling for Requirements Engineering. MIT Press (2011)","DOI":"10.7551\/mitpress\/7549.001.0001"}],"container-title":["Process Querying Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-92875-9_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,22]],"date-time":"2024-09-22T22:47:06Z","timestamp":1727045226000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-92875-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,3]]},"ISBN":["9783030928742","9783030928759"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-92875-9_15","relation":{},"subject":[],"published":{"date-parts":[[2021,12,3]]},"assertion":[{"value":"3 December 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}