{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:40:37Z","timestamp":1725536437124},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042041"},{"type":"electronic","value":"9783642042058"}],"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-04205-8_11","type":"book-chapter","created":{"date-parts":[[2009,8,26]],"date-time":"2009-08-26T06:54:46Z","timestamp":1251269686000},"page":"112-121","source":"Crossref","is-referenced-by-count":0,"title":["A Vision and Agenda for Theory Provenance in Scientific Publishing"],"prefix":"10.1007","author":[{"given":"Ian","family":"Wood","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. Walter","family":"Larson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henry","family":"Gardner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","series-title":"The Morgan Kaufmann Series in Computer Architecture and Design","volume-title":"The Grid 2: Blueprint for a New Computing Infrastructure","year":"2003","unstructured":"Foster, I., Kesselman, C. (eds.): The Grid 2: Blueprint for a New Computing Infrastructure. The Morgan Kaufmann Series in Computer Architecture and Design. Morgan Kaufmann, San Francisco (2003)"},{"issue":"5","key":"11_CR2","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1002\/cpe.1233","volume":"20","author":"L. Moreau","year":"2008","unstructured":"Moreau, L., et al.: Special Issue: The First Provenance Challenge. Concurrency and Computation: Practice and Experience\u00a020(5), 409\u2013418 (2008)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Miles, S., Deelman, E., Groth, P., Vahi, K., Mehta, G., Moreau, L.: Connecting scientific data to scientific experiments with provenance. In: IEEE International Conference on e-Science and Grid Computing, December 2007, pp. 179\u2013186 (2007)","DOI":"10.1109\/E-SCIENCE.2007.22"},{"issue":"3","key":"11_CR4","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/1084805.1084812","volume":"34","author":"Y.L. Simmhan","year":"2005","unstructured":"Simmhan, Y.L., Plale, B., Gannon, D.: A survey of data provenance in e-science. SIGMOD Rec.\u00a034(3), 31\u201336 (2005)","journal-title":"SIGMOD Rec."},{"issue":"1","key":"11_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1057977.1057978","volume":"37","author":"R. Bose","year":"2005","unstructured":"Bose, R., Frew, J.: Lineage retrieval for scientific data processing: a survey. ACM Comput. Surv.\u00a037(1), 1\u201328 (2005)","journal-title":"ACM Comput. Surv."},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-30145-5_10","volume-title":"Semantics of a Networked World. Semantics for Grid Databases","author":"J. Zhao","year":"2004","unstructured":"Zhao, J., Goble, C., Stevens, R., Bechhofer, S.: Semantically linking and browsing provenance logs for E-science. In: Bouzeghoub, M., Goble, C.A., Kashyap, V., Spaccapietra, S. (eds.) ICSNW 2004. LNCS, vol.\u00a03226, pp. 158\u2013176. Springer, Heidelberg (2004)"},{"key":"11_CR7","series-title":"Lecture Notes in Computational Science and Engineering","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/3-540-27039-6_1","volume-title":"Adaptive Mesh Refinement - Theory and Applications","author":"J. Quirk","year":"2005","unstructured":"Quirk, J.: Computational science, same old silence, same old mistakes, something more is needed .... In: Adaptive Mesh Refinement - Theory and Applications. Lecture Notes in Computational Science and Engineering, vol.\u00a041, pp. 3\u201328. Springer, Heidelberg (2005)"},{"key":"11_CR8","unstructured":"Shum, S., De Roure, D., Eisenstadt, M., Shadbolt, N., Tate, A.: CoAKTinG: Collaborative Advanced Knowledge Technologies in the Grid. In: 2nd Workshop Advanced Collaborative Environments, \n                    \n                      http:\/\/www.aktors.org\/coakting\/"},{"key":"11_CR9","unstructured":"Myers, J., Mendoza, E., Hoopes, B.: A Collaborative Electronic Notebook. In: Proceedings of the IASTED International Conference on Internet and Multimedia Systems and Applications (IMSA 2001), August 2001, pp. 13\u201316. ACTA Press (2001)"},{"issue":"3","key":"11_CR10","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/MCISE.2003.1196306","volume":"5","author":"J.D. Myers","year":"2003","unstructured":"Myers, J.D., Chappell, A., Elder, M., Geist, A., Schwidder, J.: Re-integrating the research record. Computing in Science and Engineering\u00a05(3), 44\u201350 (2003)","journal-title":"Computing in Science and Engineering"},{"key":"11_CR11","doi-asserted-by":"publisher","DOI":"10.1142\/5738","volume-title":"The Knowledge Grid","author":"H. Zhuge","year":"2004","unstructured":"Zhuge, H.: The Knowledge Grid. World Scientific, Singapore (2004)"},{"key":"11_CR12","unstructured":"CiteSeer: \n                    \n                      http:\/\/citeseer.ist.psu.edu\/\n                    \n                    \n                   or \n                    \n                      http:\/\/citeseersx.ist.psu.edu\/"},{"key":"11_CR13","unstructured":"GoogleScholar: \n                    \n                      http:\/\/scholar.google.com\/"},{"key":"11_CR14","unstructured":"ISI: Isi web of knowledge, \n                    \n                      http:\/\/apps.isiknowledge.com\/"},{"key":"11_CR15","unstructured":"de Waard, A.: Science publishing and the semantic web, or: Why are you reading this on paper. In: European Conference on the Semantic Web (2005)"},{"key":"11_CR16","first-page":"334","volume-title":"WWW 2001: Proceedings of the 10th international conference on World Wide Web","author":"L. Carr","year":"2001","unstructured":"Carr, L., Hall, W., Bechhofer, S., Goble, C.: Conceptual linking: ontology-based open hypermedia. In: WWW 2001: Proceedings of the 10th international conference on World Wide Web, pp. 334\u2013342. ACM, New York (2001)"},{"key":"11_CR17","unstructured":"W3C: Naming and addressing: Uris, urls, ..., \n                    \n                      http:\/\/www.w3.org\/Addressing\/"},{"key":"11_CR18","unstructured":"DOI: The digital object identifier system, \n                    \n                      http:\/\/www.doi.org\/"},{"key":"11_CR19","unstructured":"MIZAR: The mizar project for formalized representation of mathematics, \n                    \n                      http:\/\/www.mizar.org\/"},{"key":"11_CR20","unstructured":"IsarMathLib: Library of formalized mathematics for isabelle\/isar (zf logic), \n                    \n                      http:\/\/savannah.nongnu.org\/projects\/isarmathlib"},{"issue":"4","key":"11_CR21","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1093\/bib\/1.4.398","volume":"1","author":"R. Stevens","year":"2000","unstructured":"Stevens, R., Goble, C., Bechhofer, S.: Ontology-based knowledge representation for bioinformatics. Briefings in Bioinformatics\u00a01(4), 398\u2013414 (2000)","journal-title":"Briefings in Bioinformatics"},{"issue":"suppl. 1","key":"11_CR22","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1093\/bioinformatics\/btg1041","volume":"19","author":"R.D. Stevens","year":"2003","unstructured":"Stevens, R.D., Robinson, A.J., Goble, C.A.: myGrid: personalised bioinformatics on the information grid. Bioinformatics\u00a019(suppl. 1), i302\u2013i304 (2003)","journal-title":"Bioinformatics"},{"key":"11_CR23","unstructured":"EMBL-EBI: Biological ontology databases. European Bioinformatics Institute, an Outstation of the European Molecular Biology Laboratory, \n                    \n                      http:\/\/www.ebi.ac.uk\/Databases\/ontology.html"},{"key":"11_CR24","first-page":"77","volume-title":"Proceedings of the 2004 IEEE\/WIC\/ACM International Conference on Web Intelligence","author":"X. Hu","year":"2004","unstructured":"Hu, X., Lin, T., Song, I., Lin, X., Yoo, I., Lechner, M., Song, M.: Ontology-Based Scalable and Portable Information Extraction System to Extract Biological Knowledge from Huge Collection of Biomedical Web Documents. In: Proceedings of the 2004 IEEE\/WIC\/ACM International Conference on Web Intelligence, pp. 77\u201383. IEEE Computer Society, Washington (2004)"},{"key":"11_CR25","unstructured":"Fox, P., McGuinness, D., Raskin, R., Sinha, A.: Semantically-Enabled Scientific Data Integration. In: US Geological Survey Scientific Investigations Report, vol.\u00a05201 (2006), \n                    \n                      http:\/\/sesdi.hao.ucar.edu\/"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Zhang, X., Hu, C., Zhao, Q., Zhao, C.: Semantic data integration in materials science based on semantic model. In: IEEE International Conference on e-Science and Grid Computing, December 2007, pp. 320\u2013327 (2007)","DOI":"10.1109\/E-SCIENCE.2007.66"},{"key":"11_CR27","series-title":"Lecture Notes in Computer Science","first-page":"191","volume-title":"Database and Expert Systems Applications","author":"J. Bao","year":"2006","unstructured":"Bao, J., Hu, Z., Caragea, D., Reecy, J., Honavar, V.: A tool for collaborative construction of large biological ontologies. In: Bressan, S., K\u00fcng, J., Wagner, R. (eds.) DEXA 2006. LNCS, vol.\u00a04080, pp. 191\u2013195. Springer, Heidelberg (2006)"},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Lin, H.N., Tseng, S.S., Weng, J.F., Lin, H.Y., Su, J.M.: An iterative, collaborative ontology construction scheme. In: Second International Conference on Innovative Computing, Information and Control, 2007. ICICIC 2007, September 2007, p. 150 (2007)","DOI":"10.1109\/ICICIC.2007.164"},{"key":"11_CR29","unstructured":"Xexeo, G., de Souza, J., Vivacqua, A., Miranda, B., Braga, B., Almentero, B., D\u2019 Almeida Jr., J.N., Castilho, R.: Peer-to-peer collaborative editing of ontologies. In: The 8th International Conference on Computer Supported Cooperative Work in Design, 2004. Proceedings, May 2004, vol.\u00a02, pp. 186\u2013190 (2004)"},{"key":"11_CR30","volume-title":"Research agenda for the semantic grid: a future escience infrastructure","author":"D. Roure","year":"2001","unstructured":"Roure, D., Jennings, N., Shadbolt, N.: Research agenda for the semantic grid: a future escience infrastructure, vol.\u00a09. National e-Science Centre, Edinburgh (2001)"},{"key":"11_CR31","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1002\/0470867167.ch17","volume-title":"Grid Computing","author":"D.D. Roure","year":"2003","unstructured":"Roure, D.D., Jennings, N.R., Shadbolt, N.R.: The semantic grid: A future e-science infrastructure. In: Berman, F., Fox, G., Hey, A.J.G. (eds.) Grid Computing, pp. 437\u2013470. Wiley, Chichester (2003)"},{"key":"11_CR32","doi-asserted-by":"crossref","unstructured":"Goble, C.: Putting semantics into e-science and grids. In: First International Conference on e-Science and Grid Computing, 2005, December 2005, p. 1 (2005)","DOI":"10.1109\/E-SCIENCE.2005.68"},{"key":"11_CR33","doi-asserted-by":"crossref","unstructured":"Siddiqui, M., Villazon, A., Fahringer, T.: Semantic-based on-demand synthesis of grid activities for automatic workflow generation. In: IEEE International Conference on e-Science and Grid Computing, December 2007, pp. 43\u201350 (2007)","DOI":"10.1109\/E-SCIENCE.2007.68"},{"key":"11_CR34","doi-asserted-by":"crossref","unstructured":"Somasundaram, T., Balachandar, R., Kandasamy, V., Buyya, R., Raman, R., Mohanram, N., Varun, S.: Semantic-based grid resource discovery and its integration with the grid service broker. In: International Conference on Advanced Computing and Communications, 2006. ADCOM 2006, December 2006, pp. 84\u201389 (2006)","DOI":"10.1109\/ADCOM.2006.4289861"},{"key":"11_CR35","first-page":"347","volume-title":"13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2004. WET ICE 2004","author":"G. Andronico","year":"2004","unstructured":"Andronico, G., Barbera, R., Falzone, A.: Grid portal based data management for lattice qcd. In: 13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2004. WET ICE 2004, pp. 347\u2013351. IEEE, Los Alamitos (2004)"},{"key":"11_CR36","unstructured":"Berriman, B., Kirkpatrick, D., Hanisch, R., Szalay, A., Williams, R.: Large Telescopes and Virtual Observatory: Visions for the Future. In: 25th meeting of the IAU, Joint Discussion, vol.\u00a08, p. 17 (2003)"},{"key":"11_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"792","DOI":"10.1007\/11926078_57","volume-title":"The Semantic Web - ISWC 2006","author":"P. Fox","year":"2006","unstructured":"Fox, P., McGuinness, D.L., Middleton, D., Cinquini, L., Darnell, J.A., Garcia, J., West, P., Benedict, J., Solomon, S.: Semantically-enabled large-scale science data repositories. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 792\u2013805. Springer, Heidelberg (2006)"},{"issue":"6","key":"11_CR38","first-page":"22","volume":"1","author":"I. Foster","year":"2002","unstructured":"Foster, I.: What is the Grid? A Three Point Checklist. Grid Today\u00a01(6), 22\u201325 (2002)","journal-title":"Grid Today"},{"key":"11_CR39","doi-asserted-by":"crossref","unstructured":"Bartolo, L.M., Cole, T.W., Giersch, S., Wright, M.: NSF\/NSDL Workshop on Scientific Markup Languages. D-Lib Magazine\u00a01(11) (2005)","DOI":"10.1045\/november2005-bartolo"},{"issue":"1","key":"11_CR40","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1111\/j.1467-8640.1987.tb00176.x","volume":"3","author":"H. Levesque","year":"1987","unstructured":"Levesque, H., Brachman, R.: Expressiveness and tractability in knowledge representation and reasoning 1. Computational Intelligence\u00a03(1), 78\u201393 (1987)","journal-title":"Computational Intelligence"},{"key":"11_CR41","unstructured":"W3C: Web ontology language, \n                    \n                      http:\/\/www.w3.org\/TR\/owl-features\/"},{"issue":"3","key":"11_CR42","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1023\/A:1005843212881","volume":"19","author":"W. Mccune","year":"1997","unstructured":"Mccune, W.: Solution of the robbins problem. Journal of Automated Reasoning\u00a019(3), 263\u2013276 (1997)","journal-title":"Journal of Automated Reasoning"},{"key":"11_CR43","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-73920-3_9","volume-title":"Computational Discovery of Scientific Knowledge","author":"S. Colton","year":"2007","unstructured":"Colton, S.: Computational discovery in pure mathematics. In: D\u017eeroski, S., Todorovski, L. (eds.) Computational Discovery 2007. LNCS (LNAI), vol.\u00a04660, pp. 175\u2013201. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Database Systems for Advanced Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04205-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T09:23:02Z","timestamp":1552123382000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04205-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042041","9783642042058"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04205-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}