{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:47:34Z","timestamp":1742996854568,"version":"3.40.3"},"publisher-location":"Cham","reference-count":33,"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_9","type":"book-chapter","created":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T17:04:00Z","timestamp":1650906240000},"page":"255-284","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["QuBPAL: Querying Business Process Knowledge"],"prefix":"10.1007","author":[{"given":"Maurizio","family":"Proietti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Taglino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrizio","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,12,3]]},"reference":[{"key":"9_CR1","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Boston (1995)"},{"key":"9_CR2","unstructured":"Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: BPEL4WS, business process execution language for Web services version 1.1. IBM (2003). http:\/\/download.boulder.ibm.com\/ibmdl\/pub\/software\/dw\/specs\/ws-bpel\/ws-bpel.pdf"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"9_CR3","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"9_CR4","unstructured":"Burstein, M., et al.: OWL-S: Semantic Markup for Web Services. W3C Member Submission (2004). http:\/\/www.w3.org\/Submission\/OWL-S\/"},{"key":"9_CR5","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"De Angelis, E., Fioravanti, F., Meo, M.C., Pettorossi, A., Proietti, M.: Verification of time-aware business processes using constrained Horn clauses. In: Proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016). LNCS, vol. 10184 (2017)","DOI":"10.1007\/978-3-319-63139-4_3"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"De Nicola, A., Missikoff, M., Proietti, M., Smith, F.: An open platform for business process modeling and verification. In: Database and Expert Systems Applications, 21st International Conference. LNCS, vol. 6261, pp. 76\u201390. Springer, New York (2010)","DOI":"10.1007\/978-3-642-15364-8_6"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Di Francescomarino, C., Ghidini, C., Rospocher, M., Serafini, L., Tonella, P.: Semantically-aided business process Modeling. In: International Semantic Web Conference. LNCS, vol. 5823, pp. 114\u2013129. Springer, New York (2009)","DOI":"10.1007\/978-3-642-04930-9_8"},{"key":"9_CR9","volume-title":"Enabling Semantic Web Services: The Web Service Modeling Ontology","author":"D Fensel","year":"2006","unstructured":"Fensel, D., Lausen, H., Polleres, A., de Bruijn, J., Stollberg, M., Roman, D., Domingue, J.: Enabling Semantic Web Services: The Web Service Modeling Ontology. Springer, New York (2006)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL Web services. In: Proceedings of the International Conference on World Wide Web, pp. 621\u2013630. ACM, New York (2004). http:\/\/doi.acm.org\/10.1145\/988672.988756","DOI":"10.1145\/988672.988756"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Hepp, M., Leymann, F., Domingue, J., Wahler, A., Fensel, D.: Semantic business process management: a vision towards using semantic Web services for business process management. In: Proceedings of International Conference on e-Business Engineering. IEEE Computer Society, Washington (2005)","DOI":"10.1109\/ICEBE.2005.110"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: the making of a Web Ontology Language. Web Semant.: Sci. Serv. Agents World Wide Web 1(1), 7 \u2013 26 (2003)","DOI":"10.1016\/j.websem.2003.07.001"},{"key":"9_CR13","unstructured":"Lin, Y.: Semantic annotation for process models: facilitating process knowledge management via semantic interoperability. Ph.D. thesis, Norwegian University of Science and Technology (2008)"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1147\/sj.462.0335","volume":"46","author":"Y Liu","year":"2007","unstructured":"Liu, Y., M\u00fcller, S., Xu, K.: A static compliance-checking framework for business process models. IBM Syst. J. 46, 335\u2013361 (2007)","journal-title":"IBM Syst. J."},{"key":"9_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer Inc., New York (1987)"},{"key":"9_CR16","unstructured":"Motik, B., et al.: OWL 2 Web Ontology Language Profiles (Second Edition). W3C Recommendation (2012). http:\/\/www.w3.org\/TR\/owl2-profiles\/"},{"key":"9_CR17","unstructured":"OMG: Business Process Model and Notation (2013). http:\/\/www.omg.org\/spec\/BPMN\/2.0.2"},{"key":"9_CR18","volume-title":"Business Modeling With UML: Business Patterns at Work","author":"M Penker","year":"2000","unstructured":"Penker, M., Eriksson, H.E.: Business Modeling With UML: Business Patterns at Work. Wiley, New York (2000)"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Polyvyanyy, A.: Structuring process models (2012). Ph.D. thesis, University of Potsdam, Germany","DOI":"10.1016\/j.is.2011.10.005"},{"key":"9_CR20","first-page":"25","volume-title":"Proceedings 7th International Workshop Web Services and Formal Methods (WS-FM 2010). Lecture Notes in Computer Science","author":"A Polyvyanyy","year":"2011","unstructured":"Polyvyanyy, A., Vanhatalo, J., V\u00f6lzer, H.: Simplified computation and generalization of the refined process structure tree. In: Bravetti, M., Bultan, T. (eds.) Proceedings 7th International Workshop Web Services and Formal Methods (WS-FM 2010). Lecture Notes in Computer Science, vol. 6551, pp. 25\u201341. Springer, New York (2011)"},{"key":"9_CR21","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. Dec. Support Syst. 100, 41\u201356 (2017)","journal-title":"Dec. Support Syst."},{"key":"9_CR22","first-page":"60","volume":"1293","author":"M Proietti","year":"2014","unstructured":"Proietti, M., Smith, F.: Reasoning on data-aware business processes with constraint logic. In: Proceedings of the 4th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2014), Milan, Italy, November 19\u201321, 2014, CEUR Workshop Proceedings, vol. 1293, pp. 60\u201375 (2014)","journal-title":"CEUR Workshop Proceedings"},{"key":"9_CR23","unstructured":"Prud\u2019hommeaux, E., Seaborne, A.: SPARQL Query Language for RDF (2008). W3C Recommendation. http:\/\/www.w3.org\/TR\/2007\/WD-rdf-sparql-query-20070326\/"},{"issue":"9","key":"9_CR24","doi-asserted-by":"publisher","first-page":"1253","DOI":"10.1016\/j.compind.2014.07.009","volume":"65","author":"F Smith","year":"2014","unstructured":"Smith, F., Bianchini, D.: Selection, ranking and composition of semantically enriched business processes. Comput. Ind. 65(9), 1253\u20131263 (2014)","journal-title":"Comput. Ind."},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Smith, F., Missikoff, M., Proietti, M.: Ontology-based querying of composite services. In: Business System Management and Engineering, pp. 159\u2013180 (2010)","DOI":"10.1007\/978-3-642-32439-0_10"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Smith, F., Proietti, M.: Rule-based behavioral reasoning on semantic business processes. In: ICAART (2), pp. 130\u2013143. SciTePress, Setubal (2013)","DOI":"10.5220\/0004255001300143"},{"key":"9_CR27","volume-title":"Proceedings of eChallenges (e-2014)","author":"F Smith","year":"2014","unstructured":"Smith, F., Proietti, M.: BPAL: a tool for managing semantically enriched conceptual process models. In: Cunningham, P., Cunningham, M. (eds.) Proceedings of eChallenges (e-2014). IIMC International Information Management Corporation, Dublin (2014)"},{"key":"9_CR28","unstructured":"Smith, F., Proietti, M.: Ontology-based representation and reasoning on process models: a logic programming approach. CoRR abs\/1410.1776 (2014). http:\/\/arxiv.org\/abs\/1410.1776"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Swift, T., Warren, D.: XSB: extending the power of Prolog using tabling. In: Theory and Practice of Logic Programming (TPLP), vol. 12(1\u20132), pp. 157\u2013187. Cambridge University Press, Cambridge (2012)","DOI":"10.1017\/S1471068411000500"},{"volume-title":"Modern Business Process Automation: YAWL and its Support Environment","year":"2010","key":"9_CR30","unstructured":"ter Hofstede, A.M., van der Aalst, W.M.P., Adamns, M., Russell, N. (eds.): Modern Business Process Automation: YAWL and its Support Environment. Springer, New York (2010)"},{"key":"9_CR31","first-page":"179","volume":"2","author":"M Thielscher","year":"1998","unstructured":"Thielscher, M.: Introduction to the fluent calculus. Electron. Trans. Artif. Intell. 2, 179\u2013192 (1998)","journal-title":"Electron. Trans. Artif. Intell."},{"issue":"1","key":"9_CR32","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP van der Aalst","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of Petri nets to workflow management. J. Circ. Syst. Comput. 8(1), 21\u201366 (1998)","journal-title":"J. Circ. Syst. Comput."},{"key":"9_CR33","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/s10619-010-7060-9","volume":"27","author":"I Weber","year":"2010","unstructured":"Weber, I., Hoffmann, J., Mendling, J.: Beyond soundness: on the verification of semantic business process models. Distrib. Parallel Databases 27, 271\u2013343 (2010)","journal-title":"Distrib. Parallel Databases"}],"container-title":["Process Querying Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-92875-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,22]],"date-time":"2024-09-22T22:46:26Z","timestamp":1727045186000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-92875-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,3]]},"ISBN":["9783030928742","9783030928759"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-92875-9_9","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"}}]}}