{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T21:41:19Z","timestamp":1775252479435,"version":"3.50.1"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030026707","type":"print"},{"value":"9783030026714","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-02671-4_31","type":"book-chapter","created":{"date-parts":[[2018,10,17]],"date-time":"2018-10-17T11:23:23Z","timestamp":1539775403000},"page":"516-536","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Modeling Industrial Business Processes for Querying and Retrieving Using OWL+SWRL"],"prefix":"10.1007","author":[{"given":"Suman","family":"Roy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel Silvatici","family":"Dayan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Devaraja Holla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,10,18]]},"reference":[{"key":"31_CR1","unstructured":"Baader, F., Nutt, W.: Basic description logics. In: Description Logic Handbook, pp. 43\u201395 (2003)"},{"key":"31_CR2","unstructured":"Bisztray, D., Heckel, R.: Rule-level verification of business process transformations using CSP. ECEASST 6 (2007)"},{"issue":"15","key":"31_CR3","doi-asserted-by":"publisher","first-page":"2227","DOI":"10.1016\/j.ins.2005.10.007","volume":"176","author":"NK Cicekli","year":"2006","unstructured":"Cicekli, N.K., Cicekli, I.: Formalizing the specification and execution of workflows using the event calculus. Inf. Sci. 176(15), 2227\u20132267 (2006)","journal-title":"Inf. Sci."},{"issue":"5","key":"31_CR4","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1016\/j.datak.2011.01.004","volume":"70","author":"D Fahland","year":"2011","unstructured":"Fahland, D., et al.: Analysis on demand: instantaneous soundness checking of industrial business process models. Data Knowl. Eng. 70(5), 448\u2013466 (2011)","journal-title":"Data Knowl. Eng."},{"key":"31_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-89652-4_13","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"C Di Francescomarino","year":"2008","unstructured":"Di Francescomarino, C., Ghidini, C., Rospocher, M., Serafini, L., Tonella, P.: Reasoning on semantically annotated processes. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 132\u2013146. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89652-4_13"},{"key":"31_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-642-04930-9_8","volume-title":"The Semantic Web - ISWC 2009","author":"C Di Francescomarino","year":"2009","unstructured":"Di Francescomarino, C., Ghidini, C., Rospocher, M., Serafini, L., Tonella, P.: Semantically-aided business process modeling. In: Bernstein, A., et al. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 114\u2013129. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04930-9_8"},{"key":"31_CR7","doi-asserted-by":"crossref","unstructured":"Goderis, A., Sattler, U., Goble, C.A.: Applying description logics for workflow reuse and repurposing. In: Proceedings of the International Workshop on Description Logics (DL 2005) (2005)","DOI":"10.1007\/11574620_25"},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"Gr\u00f6ner, G., Staab, S.: Modeling and query pattern for process retrieval in OWL. In: Proceedings of the 5th International Conference on Knowledge Capture (K-CAP 2009), 1\u20134 September 2009, Redondo Beach, California, USA, pp. 189\u2013190. ACM (2009)","DOI":"10.1145\/1597735.1597776"},{"key":"31_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-642-04930-9_16","volume-title":"The Semantic Web - ISWC 2009","author":"G Groener","year":"2009","unstructured":"Groener, G., Staab, S.: Modeling and query patterns for process retrieval in OWL. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 243\u2013259. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04930-9_16"},{"key":"31_CR10","unstructured":"Hirsh, H., Kudenko, D.: Representing sequences in description logics. In: Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, AAAI 1997, pp. 384\u2013389 (1997)"},{"key":"31_CR11","first-page":"424","volume-title":"Lecture Notes in Computer Science","author":"Tobias K\u00e4fer","year":"2018","unstructured":"K\u00e4fer, T., Harth, A.: Specifying, monitoring, and executing workflows in linked data environments. CoRR abs\/1804.05044 (2018). http:\/\/arxiv.org\/abs\/1804.05044"},{"key":"31_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1007\/978-3-540-72667-8_43","volume-title":"The Semantic Web: Research and Applications","author":"C Kiefer","year":"2007","unstructured":"Kiefer, C., Bernstein, A., Lee, H.J., Klein, M., Stocker, M.: Semantic process retrieval with iSPARQL. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 609\u2013623. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-72667-8_43"},{"key":"31_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/3-540-45594-9_2","volume-title":"Business Process Management","author":"G Knolmayer","year":"2000","unstructured":"Knolmayer, G., Endl, R., Pfahrer, M.: Modeling processes and workflows by business rules. In: van der Aalst, W., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 16\u201329. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-45594-9_2"},{"key":"31_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/11538394_18","volume-title":"Business Process Management","author":"R Liu","year":"2005","unstructured":"Liu, R., Kumar, A.: An analysis and taxonomy of unstructured workflows. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 268\u2013284. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11538394_18"},{"key":"31_CR15","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.websem.2005.05.001","volume":"3","author":"B Motik","year":"2005","unstructured":"Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. J. Web Semant. 3, 41\u201360 (2005)","journal-title":"J. Web Semant."},{"key":"31_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-540-75975-1_13","volume-title":"Advances in Rule Interchange and Applications","author":"M O\u2019Connor","year":"2007","unstructured":"O\u2019Connor, M., Tu, S., Nyulas, C., Das, A., Musen, M.: Querying the semantic web with SWRL. In: Paschke, A., Biletskiy, Y. (eds.) RuleML 2007. LNCS, vol. 4824, pp. 155\u2013159. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75975-1_13"},{"key":"31_CR17","doi-asserted-by":"crossref","unstructured":"Roy, S., Bihary, S., Laos, J.A.C.: A CSP-theoretic framework of checking conformance of business processes. In: 19th Asia-Pacific Software Engineering Conference, APSEC 2012, pp. 30\u201339 (2012)","DOI":"10.1109\/APSEC.2012.110"},{"issue":"1","key":"31_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M Schmidt-Schau\u00df","year":"1991","unstructured":"Schmidt-Schau\u00df, M., Smolka, G.: Attributive concept descriptions with complements. Artif. Intell. 48(1), 1\u201326 (1991)","journal-title":"Artif. Intell."},{"key":"31_CR19","unstructured":"Smith, F., Proietti, M.: 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), pp. 60\u201375 (2014)"},{"issue":"1","key":"31_CR20","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"WMP Van Der Aalst","year":"2003","unstructured":"Van Der Aalst, W.M.P., Ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distrib. Parallel Databases 14(1), 5\u201351 (2003)","journal-title":"Distrib. Parallel Databases"},{"key":"31_CR21","unstructured":"W3C Recommendation: OWL-S Semantic Markup for Web Services (2004). http:\/\/www.w3.org\/Submissions\/OWL-S"},{"key":"31_CR22","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/s10619-010-7060-9","volume":"27","author":"I Weber","year":"2010","unstructured":"Weber, I., Hoffman, 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"},{"key":"31_CR23","first-page":"833","volume-title":"Lecture Notes in Computer Science","author":"Michael Wolverton","year":"2008","unstructured":"Wolverton, M., Martin, D.L., Harrison, I.W., Thom\u00e9r\u00e9, J.: A process catalog for workflow generation. In: Proceedings of 7th International Semantic Web Conference, ISWC 2008, pp. 833\u2013846 (2008)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems. OTM 2018 Conferences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-02671-4_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T20:28:02Z","timestamp":1775248082000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-02671-4_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030026707","9783030026714"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-02671-4_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"18 October 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"OTM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"OTM Confederated International Conferences \"On the Move to Meaningful Internet Systems\"","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Valletta","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Malta","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"otm2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.otmconferences.org\/","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":"Custom system developed for OTM","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"173","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":"64","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":"22","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":"37% - 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":"0","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":"3,7","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}