{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:46:21Z","timestamp":1725536781545},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642035722"},{"type":"electronic","value":"9783642035739"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03573-9_8","type":"book-chapter","created":{"date-parts":[[2009,8,25]],"date-time":"2009-08-25T08:48:21Z","timestamp":1251190101000},"page":"98-113","source":"Crossref","is-referenced-by-count":0,"title":["Consistency Checking for Workflows with an Ontology-Based Data Perspective"],"prefix":"10.1007","author":[{"given":"Gabriele","family":"Weiler","sequence":"first","affiliation":[]},{"given":"Arnd","family":"Poetzsch-Heffter","sequence":"additional","affiliation":[]},{"given":"Stephan","family":"Kiefer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"8_CR1","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1093\/comjnl\/bxl074","volume":"50","author":"H. Verbeek","year":"2007","unstructured":"Verbeek, H., van der Aalst, W., ter Hofstede, A.: Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants. Computer Journal\u00a050(3), 294\u2013314 (2007)","journal-title":"Computer Journal"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Qian, Y., Xu, Y., Wang, Z., Pu, G., Zhu, H., Cai, C.: Tool Support for BPEL Verification in ActiveBPEL Engine. In: Proceedings of the 2007 Australian Software Engineering Conference, pp. 90\u2013100 (2007)","DOI":"10.1109\/ASWEC.2007.50"},{"issue":"4","key":"8_CR3","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1287\/isre.1060.0105","volume":"17","author":"X. Sun","year":"2006","unstructured":"Sun, X., Zhao, J., et al.: Formulating the Data-Flow Perspective for Business Process Management. Information Systems Research\u00a017(4), 374\u2013391 (2006)","journal-title":"Information Systems Research"},{"key":"8_CR4","unstructured":"Eshuis, R.: Semantics and Verification of UML Activity Diagrams for Workow Modelling. PhD thesis, University of Twente (2002), \n                    \n                      http:\/\/www.ctit.utwente.nl\/library\/phd\/eshuis.pdf"},{"key":"8_CR5","unstructured":"W3C OWL Working Group: OWL 2 Web Ontology Language. W3C Working Draft (2009), \n                    \n                      http:\/\/www.w3.org\/TR\/owl2-overview\/"},{"key":"8_CR6","unstructured":"Weiler, G.: Consistency Checking for Workflows with an Ontology-Based Data Perspective (unpublished) (2009), \n                    \n                      http:\/\/softech.informatik.uni-kl.de\/twiki\/bin\/view\/Homepage\/PublikationsDetail?id=133"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Weiler, G., Brochhausen, M., Graf, N., Schera, F., Hoppe, A., Kiefer, S.: Ontology Based Data Management Systems for Post-Genomic Clinical Trials within a European Grid Infrastructure for Cancer Research. In: Proc. of the 29 Annual International Conference of the IEEE EMBS, August 2007, pp. 6434\u20136437 (2007)","DOI":"10.1109\/IEMBS.2007.4353829"},{"issue":"2","key":"8_CR8","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1109\/TITB.2007.903519","volume":"12","author":"M. Tsiknakis","year":"2008","unstructured":"Tsiknakis, M., Brochhausen, M., et al.: A Semantic Grid Infrastructure Enabling Integrated Access and Analysis of Multilevel Biomedical Data in Support of Postgenomic Clinical Trials on Cancer. IEEE Transactions on Information Technology in Biomedicine\u00a012(2), 205\u2013217 (2008)","journal-title":"IEEE Transactions on Information Technology in Biomedicine"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Brochhausen, M., Weiler, G., et al.: The ACGT Master Ontology on Cancer - A new Terminology Source for Oncological Practice. In: Proc. of 21st IEEE International Symposium on Computer-Based Medical Systems, pp. 324\u2013329 (2008)","DOI":"10.1109\/CBMS.2008.17"},{"key":"8_CR10","unstructured":"Russel, N., ter Hofstede, A., van der Aalst, W., Mulyar, N.: Workflow Control-Flow Patterns: A Revised View. Technical report, BPMcenter.org (2006)"},{"volume-title":"The Description Logic Handbook, Theory Implementation and Applications","year":"2003","key":"8_CR11","unstructured":"Baader, F., Calvanese, D., et al. (eds.): The Description Logic Handbook, Theory Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"8_CR12","unstructured":"Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language. W3C Member Submission (2004)"},{"key":"8_CR13","unstructured":"Horridge, M., Bechhofer, S., Noppens, O.: Igniting the OWL 1.1 Touch Paper: The OWL API. In: OWLED 2007, 3rd OWL Experiences and Directions Workshop, Innsbruck, Austria (June 2007)"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Sirin, B., Parsia, B., Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Journal of Web Semantics\u00a05(2) (2007)","DOI":"10.1016\/j.websem.2007.03.004"},{"key":"8_CR15","unstructured":"Sundari, M., Sen, A., Bagchi, A.: Detecting Data flow Errors in Workflows: A Systematic Graph Traversal approach. In: Proc. 17th Workshop on Information Technology & Systems (2007)"},{"key":"8_CR16","unstructured":"Farrell, J., Lausen, H.: Semantic Annotations for WSDL and XML Schema. W3C Recommendation (2008)"},{"key":"8_CR17","unstructured":"Martin, D., Burstein, M., et al.: OWL-S: Semantic Markup for Web Services. W3C Member Submission (2004)"},{"key":"8_CR18","unstructured":"Rubin, D., Knublauch, H., et al.: Protege-owl: Creating ontology-driven reasoning applications with the web ontology language. In: AMIA Annu. Symp. Proc. (2005)"},{"key":"8_CR19","unstructured":"Whitley, S., Reeves, D.: Formbuilder: A tool for promoting data sharing and reuse within the cancer community. Oncological Nursing Forum\u00a034 (2007)"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03573-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T09:29:28Z","timestamp":1552123768000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03573-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642035722","9783642035739"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03573-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}