{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:38:33Z","timestamp":1743093513541,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642175046"},{"type":"electronic","value":"9783642175053"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-17505-3_13","type":"book-chapter","created":{"date-parts":[[2011,1,16]],"date-time":"2011-01-16T20:45:31Z","timestamp":1295210731000},"page":"285-305","source":"Crossref","is-referenced-by-count":0,"title":["Data Model for Scientific Models and Hypotheses"],"prefix":"10.1007","author":[{"given":"Fabio","family":"Porto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Spaccapietra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Stonebreaker, M., Becla, J., DeWitt, D., et al.: Requirements for Science Data Base and SciDB. In: Conference on Innovative Data Systems Research. CIDR, Asilomar, CA, USA (January 2009)"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Szalay, A., Kunszt, P., Thakar, A., Gray, J., et al.: Designing and Mining Multi-Terabyte Astronomy Archives: The Sloan Digital Sky Survey. In: ACM SIGMOD, Dallas, Tx, USA, pp. 451\u2013462 (2000)","DOI":"10.1145\/335191.335439"},{"key":"13_CR3","unstructured":"Hunter, J.: Scientific Models A User-oriented Approach to the Integration of Scientific Data and Digital Libraries. In: VALA 2006, Melbourne (February 2006)"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Jaqaman, K., Danuser, G.: Linking data to models: data regression, Nature Reviews. Molecular Cell Biology\u00a0(7), 813\u2013819 (2006)","DOI":"10.1038\/nrm2030"},{"issue":"3","key":"13_CR5","first-page":"1","volume":"30","author":"W. Silvert","year":"2000","unstructured":"Silvert, W.: Modelling as a discipline. International Journal General Systems\u00a030(3), 1\u201322 (2000)","journal-title":"International Journal General Systems"},{"key":"13_CR6","unstructured":"http:\/\/www.gridworkflow.org\/snips\/gridworkflow\/space\/XScufl"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Akram, A., Meredith, D., Allan, R.: Evaluation of BPEL for Scientific Workflows, Cluster Computing and the Grid. In: CCGRID, vol.\u00a01, pp. 269\u2013274 (May 2006)","DOI":"10.1109\/CCGRID.2006.44"},{"issue":"10","key":"13_CR8","doi-asserted-by":"publisher","first-page":"1067","DOI":"10.1002\/cpe.993","volume":"18","author":"T. Oinn","year":"2006","unstructured":"Oinn, T., Greenwood, M., Addis, M.: Taverna: Lessons in creating a workflow environment for the life sciences. Concurrence and Computation: Practice & Experience\u00a018(10), 1067\u20131100 (2006)","journal-title":"Concurrence and Computation : Practice & Experience"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Altintas, I., Berkley, C., Jaeger, E., Jones, M., Ludascher, B., Kepler, M.: An Extensible System for Design and Execution of Scientific Workflows. In: Proceedings of the 16th Conference on Scientific and Statistics Database Management, pp. 423\u2013424 (2004)","DOI":"10.1109\/SSDM.2004.1311241"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Porto, F., Tajmouati, O., Silva, V.F.V., Schulze, B., Ayres, F.M.: QEF Supporting Complex Query Applications. In: 7th Int. Symposium on Cluster Computing and the Grid, Rio de Janeiro, Brazil, pp. 846\u2013851 (2007)","DOI":"10.1109\/CCGRID.2007.89"},{"key":"13_CR11","unstructured":"MATLAB, http:\/\/en.wikipedia.org\/wiki\/Matlab (last access 24\/06\/2008)"},{"key":"13_CR12","unstructured":"Neuron, http:\/\/www.neuron.yale.edu (last access 24\/06\/2008)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Roure, D., Goble, C., Stevens, R.: Designing the myExperiment Virtual Research Environment for the Social Sharing of Workflows. In: e-Science 2007 - Third IEEE Int. Conf. on e-Science and Grid Computing, Bangalore, India, December 10-13, pp. 603\u2013610 (2007)","DOI":"10.1109\/E-SCIENCE.2007.29"},{"issue":"3","key":"13_CR14","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/MCSE.2008.79","volume":"10 I","author":"J. Freire","year":"2008","unstructured":"Freire, J., Koop, D., Santos, E., Silva, C.T.: Provenance for Computational Tasks: A Survey. Computing in Science and Engineering\u00a010 I(3), 11\u201321 (2008)","journal-title":"Computing in Science and Engineering"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Gruber, T.R.: Toward Principles for the Design of Ontologies Used for Knowledge Sharing. International Journal of Human-Computer Studies (1995)","DOI":"10.1006\/ijhc.1995.1081"},{"key":"13_CR16","unstructured":"http:\/\/www.geneontology.org\/"},{"issue":"5","key":"13_CR17","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1002\/cpe.1256","volume":"20","author":"B. Clifford","year":"2008","unstructured":"Clifford, B., et al.: Tracking Provenance in a Virtual Data Grid. Concurrency and Computation: Practice and Experience\u00a020(5), 565\u2013575 (2008)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Callahan, S.P., Freire, J., Santos, E., Scheidegger, C.E., Silva, C.T., Vo, H.T.: Vistrails, Visualization meets Data Management. In: Proceedings of ACM SIGMOD, Chicago, Illinois, June 26-29, pp. 745\u2013747 (2006)","DOI":"10.1145\/1142473.1142574"},{"issue":"5","key":"13_CR19","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1002\/cpe.1235","volume":"20","author":"R.S. Barga","year":"2008","unstructured":"Barga, R.S., Digiampietri, L.A.: Automatic Capture and Efficient Storage of e-Science Experiment Provenance. Concurrency and Computation: Practice and Experience\u00a020(5), 419\u2013429 (2008)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"13_CR20","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(90)90011-6","volume":"76","author":"A.J. Bonner","year":"1990","unstructured":"Bonner, A.J.: Hypothetical Datalog: Complexity and Expressibility. Theoretical Computer Science\u00a076, 3\u201351 (1990)","journal-title":"Theoretical Computer Science"},{"key":"13_CR21","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1093\/bioinformatics\/bth905","volume":"20, suppl. 1","author":"S.A. Racunas","year":"2004","unstructured":"Racunas, S.A., Shah, N.H., Albert, I., Fedoroff, N.V.: Hybrow: a prototype system for computer-aided hypothesis evaluation. Bioinformatics\u00a020, suppl. 1, 257\u2013264 (2004)","journal-title":"Bioinformatics"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Racunas, S., Griffin, C., Shah, N.: A Finite Model Theory for Biological Hypotheses. In: Proc. of the 2004 IEEE Computational Sytems Bioinformatics Conferences (2004)","DOI":"10.1109\/CSB.2004.1332518"},{"key":"13_CR23","volume-title":"Principles of NeuroScience","author":"E. Kandel","year":"2000","unstructured":"Kandel, E., Schwarts, J., Jessel, T.: Principles of NeuroScience, 4th edn. McGraw-Hill, New York (2000)","edition":"4"},{"key":"13_CR24","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1113\/jphysiol.1952.sp004764","volume":"117","author":"A. Hodgkin","year":"1952","unstructured":"Hodgkin, A., Huxley, A.: A quantitative description of ion currents and its applications to conduction and excitation in nerve membranes. Journal of Physiology\u00a0117, 500\u2013544 (1952)","journal-title":"Journal of Physiology"},{"key":"13_CR25","unstructured":"Chauduri, S., Shim, K.: Query Optimization in the presence of Foreign Functions. In: Proc. of the 19th Very Large Database Conference, Dublin, Ireland, pp. 529\u2013542 (1993)"},{"key":"13_CR26","volume-title":"Principles of Database and Knowledge-Base Systems","author":"J. Ullman","year":"1988","unstructured":"Ullman, J.: Principles of Database and Knowledge-Base Systems, vol.\u00a01. Computer Science Press, Rockville (1988)"},{"key":"13_CR27","unstructured":"http:\/\/www.w3.org\/TR\/xpath (last accessed 26\/04\/2008)"},{"key":"13_CR28","unstructured":"http:\/\/en.wikipedia.org\/wiki\/Scientific_hypothesis (last access 04\/09\/2009)"},{"key":"13_CR29","unstructured":"Elmasri, R., Navathe, S.: Fundamentals of Database Systems, 2nd edn. Benjamin\/Cummings (1994)"},{"key":"13_CR30","unstructured":"http:\/\/lsids.sourceforge.net\/ (last accessed 26\/04\/2008)"},{"key":"13_CR31","doi-asserted-by":"crossref","unstructured":"Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: Proc. WWW 2003, Budapest (May 2003)","DOI":"10.1145\/775152.775160"},{"key":"13_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/BFb0055505","volume-title":"Transactions and Change in Logic Databases","author":"H. Christiansen","year":"1998","unstructured":"Christiansen, H., Andreasen, T.: A Practical Approach to Hypothetical Database Queries. In: Kifer, M., Voronkov, A., Freitag, B., Decker, H. (eds.) Dagstuhl Seminar 1997, DYNAMICS 1997, and ILPS-WS 1997. LNCS, vol.\u00a01472, pp. 340\u2013355. Springer, Heidelberg (1998)"},{"key":"13_CR33","doi-asserted-by":"crossref","unstructured":"Davidson, S., Freire, J.: Provenance and Scientific Workflows: Challenges and Opportunities. In: Proc. 2008 ACM SIGMOD Int\u2019l. Conf. on Management of Data, Vancouver, CA, pp. 1345\u20131350 (2008)","DOI":"10.1145\/1376616.1376772"}],"container-title":["Lecture Notes in Computer Science","The Evolution of Conceptual Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17505-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T18:27:20Z","timestamp":1559932040000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17505-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642175046","9783642175053"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17505-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}