{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T10:10:18Z","timestamp":1750155018323,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030374525"},{"type":"electronic","value":"9783030374532"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-37453-2_3","type":"book-chapter","created":{"date-parts":[[2020,1,2]],"date-time":"2020-01-02T23:03:04Z","timestamp":1578006184000},"page":"19-31","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Description Logics and Specialization for Structured BPMN"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Borgida","sequence":"first","affiliation":[]},{"given":"Varvara","family":"Kalokyri","sequence":"additional","affiliation":[]},{"given":"Am\u00e9lie","family":"Marian","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,1,3]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-63139-9_30","volume-title":"Application and Theory of Petri Nets 1997","author":"WMP van der Aalst","year":"1997","unstructured":"van der Aalst, W.M.P., Basten, T.: Life-cycle inheritance. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 62\u201381. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63139-9_30"},{"key":"3_CR2","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-642-34044-4_3","volume-title":"Data-Driven Process Discovery and Analysis","author":"W van der Aalst","year":"2012","unstructured":"van der Aalst, W., Buijs, J., van Dongen, B.: Towards improving the representational bias of process mining. In: Aberer, K., Damiani, E., Dillon, T. (eds.) SIMPDA 2011. LNBIP, vol. 116, pp. 39\u201354. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34044-4_3"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Artale, A., Kovtunova, A., Montali, M., van der Aalst, W.M.: Modeling and reasoning over declarative data-aware processes with object-centric behavioral constraints. In: Proceedings of BPM 2019 (2019, to appear)","DOI":"10.1007\/978-3-030-26619-6_11"},{"key":"3_CR4","unstructured":"Baader, F., Hanschke, P.: A scheme for integrating concrete domains into concept languages. In: Proceedings of IJCAI 1991, pp. 452\u2013457 (1991)"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/966873.806471","volume":"3","author":"J Barron","year":"1982","unstructured":"Barron, J.: Dialogue and process design for interactive information systems using taxis. ACM SIGOA Newsl. 3, 12\u201320 (1982). Proceedings of SIGOA 1982","journal-title":"ACM SIGOA Newsl."},{"issue":"2","key":"3_CR6","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S1567-8326(00)00004-7","volume":"47","author":"T Basten","year":"2001","unstructured":"Basten, T., van der Aalst, W.: Inheritance of behavior. J. Logic Algebr. Program. 47(2), 47\u2013145 (2001)","journal-title":"J. Logic Algebr. Program."},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-030-22102-7_4","volume-title":"Description Logic, Theory Combination, and All That","author":"A Borgida","year":"2019","unstructured":"Borgida, A.: Initial steps towards a family of regular-like plan description logics. In: Lutz, C., Sattler, U., Tinelli, C., Turhan, A.-Y., Wolter, F. (eds.) Description Logic, Theory Combination, and All That. LNCS, vol. 11560, pp. 90\u2013109. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-22102-7_4"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-1-4612-5196-5_4","volume-title":"On Conceptual Modelling. Topics in Information Systems","author":"A Borgida","year":"1984","unstructured":"Borgida, A., Mylopoulos, J., Wong, H.K.T.: Generalization\/specialization as a basis for software specification. In: Brodie, M.L., Mylopoulos, J., Schmidt, J.W. (eds.) On Conceptual Modelling. Topics in Information Systems, pp. 87\u2013117. Springer, New York (1984). https:\/\/doi.org\/10.1007\/978-1-4612-5196-5_4"},{"key":"3_CR9","unstructured":"Borgida, A., Toman, D., Weddell, G.: On special description logics for processes and plans. In: Proceedings of Workshop on Description Logics, DL 2019 (2019)"},{"key":"3_CR10","unstructured":"Calvanese, D., Montali, M., Patrizi, F., De Giacomo, G.: Description logic based dynamic systems: modeling, verification, and synthesis. In: IJCAI 2015, pp. 4247\u20134253 (2015)"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.datak.2017.11.003","volume":"113","author":"F Corradini","year":"2018","unstructured":"Corradini, F., et al.: A guidelines framework for understandable BPMN models. Data Knowl. Eng. 113, 129\u2013154 (2018)","journal-title":"Data Knowl. Eng."},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-319-19069-3_6","volume-title":"Advanced Information Systems Engineering","author":"G De Giacomo","year":"2015","unstructured":"De Giacomo, G., Dumas, M., Maggi, F.M., Montali, M.: Declarative process modeling in BPMN. In: Zdravkovic, J., Kirikova, M., Johannesson, P. (eds.) CAiSE 2015. LNCS, vol. 9097, pp. 84\u2013100. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19069-3_6"},{"key":"3_CR13","unstructured":"De Giacomo, G., Lenzerini, M.: TBox and ABox reasoning in expressive description logics. In: Proceedings of AAAI 199, pp. 37\u201348. AAAI Press (1996)"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-540-88564-1_11","volume-title":"The Semantic Web - ISWC 2008","author":"S Ferndriger","year":"2008","unstructured":"Ferndriger, S., Bernstein, A., Dong, J.S., Feng, Y., Li, Y.-F., Hunter, J.: Enhancing semantic web services with inheritance. In: Sheth, A., et al. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 162\u2013177. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-88564-1_11"},{"key":"3_CR15","unstructured":"Frank, U.: Specialisation in business process modelling: Motivation, approaches and limitations. Institut f\u00fcr Informatik und Wirtschaftsinformatik (ICB), Universit\u00e4t Duisburg, Essen, Technical report (2012)"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Kalokyri, V., Borgida, A., Marian, A.: YourDigitalSelf: a personal digital trace integration tool. In: Proceedings of CIKM, pp. 1963\u20131966. ACM (2018)","DOI":"10.1145\/3269206.3269219"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/3-540-45140-4_29","volume-title":"Advanced Information Systems Engineering","author":"B Kiepuszewski","year":"2000","unstructured":"Kiepuszewski, B., ter Hofstede, A.H.M., Bussler, C.J.: On structured workflow modelling. In: Wangler, B., Bergman, L. (eds.) CAiSE 2000. LNCS, vol. 1789, pp. 431\u2013445. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-45140-4_29"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-319-07734-5_6","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"SJJ Leemans","year":"2014","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from incomplete event logs. In: Ciardo, G., Kindler, E. (eds.) PETRI NETS 2014. LNCS, vol. 8489, pp. 91\u2013110. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07734-5_6"},{"issue":"1\u20132","key":"3_CR19","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(95)00095-X","volume":"161","author":"AJ Mayer","year":"1996","unstructured":"Mayer, A.J., Stockmeyer, L.J.: The complexity of PDL with interleaving. Theor. Comput. Sci. 161(1\u20132), 109\u2013122 (1996)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"3_CR20","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1145\/320141.320150","volume":"5","author":"J Mylopoulos","year":"1980","unstructured":"Mylopoulos, J., Bernstein, P.A., Wong, H.K.T.: A language facility for designing database-intensive applications. ACM Trans. Database Syst. 5(2), 185\u2013207 (1980)","journal-title":"ACM Trans. Database Syst."},{"key":"3_CR21","unstructured":"OWL-S Coalition: OWL-S 1.1 Release (2004)"},{"key":"3_CR22","first-page":"162","volume":"14","author":"J Prescher","year":"2014","unstructured":"Prescher, J., Di Ciccio, C., Mendling, J.: From declarative processes to imperative models. Proc. SIMPDA 14, 162\u2013173 (2014)","journal-title":"Proc. SIMPDA"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"11066","DOI":"10.1109\/ACCESS.2019.2892679","volume":"7","author":"\u00c1E Prieto","year":"2019","unstructured":"Prieto, \u00c1.E., Lozano-Tello, A., Rodr\u00edguez-Echeverr\u00eda, R., Preciado, J.C.: A hierarchical adaptation method for administrative workflows. IEEE Access 7, 11066\u201311092 (2019)","journal-title":"IEEE Access"},{"key":"3_CR24","unstructured":"Ren, Y., Gr\u00f6ner, G., Lemcke, J., Rahmani, T., Friesen, A., Zhao, Y., Pan, J.Z., Staab, S.: Validating process refinement with ontologies. In: Proceedings of Workshop on Description Logics, DL 2009 (2009)"},{"issue":"3","key":"3_CR25","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/j.pmcj.2011.02.001","volume":"7","author":"D Riboni","year":"2011","unstructured":"Riboni, D., Bettini, C.: Owl 2 modeling and reasoning with complex human activities. Pervasive Mob. Comput. 7(3), 379\u2013395 (2011)","journal-title":"Pervasive Mob. Comput."},{"key":"3_CR26","unstructured":"Rospocher, M., Ghidini, C., Serafini, L.: An ontology for the business process modelling notation. In: Proceedings of FOIS 2014, pp. 133\u2013146 (2014)"},{"key":"3_CR27","unstructured":"Schmiedel, A.: Temporal terminological logic. In: Proceedings of AAAI 1990, pp. 640\u2013645 (1990)"},{"issue":"2","key":"3_CR28","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1023\/A:1016091900743","volume":"8","author":"GM Wyner","year":"2002","unstructured":"Wyner, G.M., Lee, J.: Process specialization: defining specialization for state diagrams. Comput. Math. Organ. Theory 8(2), 133\u2013155 (2002)","journal-title":"Comput. Math. Organ. Theory"},{"key":"3_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/11678564_40","volume-title":"Business Process Management Workshops","author":"GM Wyner","year":"2006","unstructured":"Wyner, G.M., Lee, J.: Applying specialization to petri nets: implications for workflow design. In: Bussler, C.J., Haller, A. (eds.) BPM 2005. LNCS, vol. 3812, pp. 432\u2013443. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11678564_40"},{"key":"3_CR30","unstructured":"Zisman, M.: Representation, Specification And Automation of Office Procedures. Ph.D. thesis, University of Pennsylvania (1977)"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-37453-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,3]],"date-time":"2025-01-03T00:09:08Z","timestamp":1735862948000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-37453-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030374525","9783030374532"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-37453-2_3","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"3 January 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BPM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Business Process Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vienna","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bpm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/bpm2019.ai.wu.ac.at\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"115","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"23","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"In addition, 13 papers were published from the BPM forum and 60 from the BPM Workshops","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}