{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:47:56Z","timestamp":1725702476318},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340314"},{"type":"electronic","value":"9783642340321"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34032-1_6","type":"book-chapter","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T00:44:41Z","timestamp":1348620281000},"page":"56-66","source":"Crossref","is-referenced-by-count":6,"title":["OWL-DL Domain-Models as Abstract Workflows"],"prefix":"10.1007","author":[{"given":"Ian","family":"Wood","sequence":"first","affiliation":[]},{"given":"Ben","family":"Vandervalk","sequence":"additional","affiliation":[]},{"given":"Luke","family":"McCarthy","sequence":"additional","affiliation":[]},{"given":"Mark D.","family":"Wilkinson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Garijo, D., Gil, Y.: A New Approach for Publishing Workflows: Abstractions, Standards, and Linked Data. To appear in Proceedings of the Sixth Workshop on Workflows in Support of Large-Scale Science 2011, Held in Conjunction with SC 2011, Seattle, Washington (2011)","DOI":"10.1145\/2110497.2110504"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1093\/nar\/gkq429","volume":"38","author":"C.A. Goble","year":"2010","unstructured":"Goble, C.A., Bhagat, J., Aleksejevs, S., Cruickshank, D., Michaelides, D., Newman, D., Borkum, M., Bechhofer, S., Roos, M., Li, P., De Roure, D.: myExperiment: a repository and social network for the sharing of bioinformatics workflows. Nucleic Acids Research\u00a038, W677\u2013W682 (2010)","journal-title":"Nucleic Acids Research"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"3045","DOI":"10.1093\/bioinformatics\/bth361","volume":"20","author":"T. Oinn","year":"2004","unstructured":"Oinn, T., Addis, M., Ferris, J., Marvin, D., Senger, M., Greenwood, M., Carver, T., Glover, K., Pocock, M.R., Wipat, A., Li, P.: Taverna: a tool for the composition and enactment of bioinformatics workflows. Bioinformatics\u00a020, 3045\u20133054 (2004)","journal-title":"Bioinformatics"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Goecks, J., Nekrutenko, A., Taylor, J.: Galaxy: a comprehensive approach for supporting accessible, reproducible, and transparent computational research in the life sciences. Genome Biology\u00a011, R86 (2010)","DOI":"10.1186\/gb-2010-11-8-r86"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-39648-2_18","volume-title":"Conceptual Modeling - ER 2003","author":"P. Wohed","year":"2003","unstructured":"Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Analysis of Web Services Composition Languages: The Case of BPEL4WS. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol.\u00a02813, pp. 200\u2013215. Springer, Heidelberg (2003)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/11574620_25","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"A. Goderis","year":"2005","unstructured":"Goderis, A., Sattler, U., Lord, P., Goble, C.A.: Seven Bottlenecks to Workflow Reuse and Repurposing. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 323\u2013337. Springer, Heidelberg (2005)"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1093\/bib\/3.4.331","volume":"3","author":"M. Wilkinson","year":"2002","unstructured":"Wilkinson, M., Links, M.: BioMOBY: an open source biological web services proposal. Briefings in Bioinformatics\u00a03, 331\u2013341 (2002)","journal-title":"Briefings in Bioinformatics"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1093\/bib\/bbn003","volume":"9","author":"M.D. Wilkinson","year":"2008","unstructured":"Wilkinson, M.D., Senger, M., Kawas, E., Bruskiewich, R., Gouzy, J., et al.: Interoperability with Moby 1.0\u2013it\u2019s better than sharing your toothbrush! Briefings in Bioinformatics\u00a09, 220\u2013231 (2008)","journal-title":"Briefings in Bioinformatics"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/978-3-540-30475-3_25","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"P. Lord","year":"2004","unstructured":"Lord, P., Bechhofer, S., Wilkinson, M.D., Schiltz, G., Gessler, D., Hull, D., Goble, C.A., Stein, L.: Applying Semantic Web Services to Bioinformatics: Experiences Gained, Lessons Learnt. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 350\u2013364. Springer, Heidelberg (2004)"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1038\/ng0506-500","volume":"38","author":"M. Reich","year":"2006","unstructured":"Reich, M., Liefeld, T., Gould, J., Lerner, J., Tamayo, P., Mesirov, J.: GenePattern 2.0. Nature Genetics\u00a038, 500\u2013501 (2006)","journal-title":"Nature Genetics"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Gil, Y., Ratnakar, V., Kim, J., Gonz\u00e1lez-Calero, P.A., Groth, P.T., Moody, J., Deelman, E.: Wings: Intelligent Workflow-Based Design of Computational Experiments. To appear in IEEE Intelligent Systems (2011)","DOI":"10.1109\/MIS.2010.9"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Gil, Y., Groth, P., Ratnakar, V., Fritz, C.: Expressive Reusable Workflow Templates. In: Proc. 5th IEEE Int\u2019l Conf. E-Science, pp. 344\u2013351. IEEE Press (2009)","DOI":"10.1109\/e-Science.2009.55"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Hauder, M., Gil, Y., Sethi, R., Liu, Y., Jo, H.: Making Data Analysis Expertise Broadly Accessible through Workflows. To appear in Proceedings of the Sixth Workshop on Workflows in Support of Large-Scale Science, Held in Conjunction with SC 2011, Seattle, Washington (2011)","DOI":"10.1145\/2110497.2110507"},{"key":"6_CR14","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1186\/2041-1480-2-8","volume":"2","author":"M.D. Wilkinson","year":"2011","unstructured":"Wilkinson, M.D., Vandervalk, B., McCarthy, L.: The Semantic Automated Discovery and Integration (SADI) Web service Design-Pattern, API and Reference Implementation. Journal of Biomedical Semantics 2, 8 (2011)","journal-title":"Journal of Biomedical Semantics"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/978-3-642-10871-6_27","volume-title":"The Semantic Web","author":"B.P. Vandervalk","year":"2009","unstructured":"Vandervalk, B.P., McCarthy, E.L., Wilkinson, M.D.: SHARE: A Semantic Web Query Engine for Bioinformatics. In: G\u00f3mez-P\u00e9rez, A., Yu, Y., Ding, Y. (eds.) ASWC 2009. LNCS, vol.\u00a05926, pp. 367\u2013369. Springer, Heidelberg (2009)"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1186\/1471-2164-9-426","volume":"9","author":"P.M.K. Gordon","year":"2008","unstructured":"Gordon, P.M.K., Soliman, M.A., Bose, P., Trinh, Q., Sensen, C.W., Riabowol, K.: Interspecies data mining to predict novel ING-protein interactions in human. BMC Genomics\u00a09, 426 (2008)","journal-title":"BMC Genomics"},{"key":"6_CR17","unstructured":"BioHackaton (2011), \n                    \n                      http:\/\/2011.biohackathon.org\/"},{"key":"6_CR18","unstructured":"BLAST RDF Model, \n                    \n                      https:\/\/github.com\/dbcls\/bh11\/wiki\/BLAST-output-as-RDF"},{"key":"6_CR19","unstructured":"http:\/\/sadiframework.org\/ontologies\/blast.owl"},{"key":"6_CR20","unstructured":"ODP - semanticscience - SIO Ontology Design Principles, Scientific Knowledge Discovery, \n                    \n                      http:\/\/code.google.com\/p\/semanticscience\/wiki\/ODP"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: DECLARE: Full Support for Loosely-Structured Processes. In: 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), p. 287 (2007)","DOI":"10.1109\/EDOC.2007.14"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.-L., Naujokat, S., Margaria, T., Steffen, B.: Synthesis-Based Loose Programming. In: 2010 Seventh International Conference on the Quality of Information and Communications Technology, pp. 262\u2013267 (2010)","DOI":"10.1109\/QUATIC.2010.53"},{"key":"6_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1658373.1658376","volume":"4","author":"M. Montali","year":"2009","unstructured":"Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative Specification and Verification of Service Choreographies. ACM Transactions on the Web 4, 1 (2009)","journal-title":"ACM Transactions on the Web"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press (1997)","DOI":"10.1007\/978-3-642-61455-2_16"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"De Las Rivas, J., Fontanillo, C.: Protein-protein interactions essentials: key concepts to building and analyzing interactome networks. PLoS Computational Biology 6, 6 (2010)","DOI":"10.1371\/journal.pcbi.1000807"},{"issue":"3","key":"6_CR26","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1016\/S0022-2836(05)80360-2","volume":"215","author":"S.F. Altschul","year":"1990","unstructured":"Altschul, S.F., Gish, W., Miller, W., Myers, E.W., Lipman, D.J.: Blast local alignment search tool. Journal of Molecular Biology\u00a0215(3), 403\u2013410 (1990)","journal-title":"Journal of Molecular Biology"},{"key":"6_CR27","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1093\/nar\/gkr367","volume":"39","author":"R.D. Finn","year":"2011","unstructured":"Finn, R.D., Clements, J., Eddy, S.R.: HMMER web server: interactive sequence similarity searching. Nucleic Acids Research\u00a039, W29\u2013W37 (2011)","journal-title":"Nucleic Acids Research"},{"key":"6_CR28","unstructured":"Goderis, A.: Workflow Re-use and Discovery in Bioinformatics. PhD Thesis, School of Computer Science, The University of Manchester (2008)"},{"key":"6_CR29","unstructured":"Baader, F.: The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press (2003)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34032-1_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:41:44Z","timestamp":1620132104000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34032-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340314","9783642340321"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34032-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}