{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:02:36Z","timestamp":1725519756850},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540885634"},{"type":"electronic","value":"9783540885641"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-88564-1_55","type":"book-chapter","created":{"date-parts":[[2008,10,20]],"date-time":"2008-10-20T12:17:23Z","timestamp":1224505043000},"page":"847-860","source":"Crossref","is-referenced-by-count":6,"title":["Inference Web in Action: Lightweight Use of the Proof Markup Language"],"prefix":"10.1007","author":[{"given":"Paulo","family":"Pinheiro da Silva","sequence":"first","affiliation":[]},{"given":"Deborah","family":"McGuinness","sequence":"additional","affiliation":[]},{"given":"Nicholas","family":"Del Rio","sequence":"additional","affiliation":[]},{"given":"Li","family":"Ding","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"55_CR1","unstructured":"Dean, M., Schreiber, G.: OWL web ontology language reference. Technical report, W3C (2004)"},{"key":"55_CR2","unstructured":"Del Rio, N., Pinheiro da Silva, P.: Identifying and Explaining Map Imperfections Through Knowledge Provenance Visualization. Technical Report UTEP-CS-07-43a, The University of Texas at El Paso (June 2007)"},{"key":"55_CR3","first-page":"732","volume-title":"Proceedings of the Second International Symposium on Visual Computing (ISVC 2), Lake Tahoe, NV","author":"N. Rio Del","year":"2007","unstructured":"Del Rio, N., Pinheiro da Silva, P.: Probe-it! visualization support for provenance. In: Proceedings of the Second International Symposium on Visual Computing (ISVC 2), Lake Tahoe, NV, pp. 732\u2013741. Springer, Heidelberg (2007)"},{"key":"55_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/978-3-540-76876-0_2","volume-title":"Proceedings of the Second International Conference on Geospatial Semantics (GeoS)","author":"N. Rio Del","year":"2007","unstructured":"Del Rio, N., Pinheiro da Silva, P., Gates, A.Q., Salayandia, L.: Semantic annotation of maps through knowledge provenance. In: Proceedings of the Second International Conference on Geospatial Semantics (GeoS), Mexico City, Mexico. LNCS, pp. 20\u201335. Springer, Heidelberg (2007)"},{"key":"55_CR5","doi-asserted-by":"crossref","unstructured":"Ding, L., Finin, T., Joshi, A., Pan, R., Cost, R.S., Peng, Y., Reddivari, P., Doshi, V.C., Sachs, J.: Swoogle: A search and metadata engine for the semantic web. In: Proceedings of the 13th CIKM (2004)","DOI":"10.1145\/1031171.1031289"},{"key":"55_CR6","doi-asserted-by":"crossref","unstructured":"Freire, J., Silva, C.T., Callahan, S.P., Santos, E., Scheidegger, C.E., Vo, H.T.: Managing Rapidly-Evolving Scientific Workflows. In: Proceedings of the International Provenance and Annotation Workshop (IPAW) (to appear)","DOI":"10.1007\/11890850_2"},{"key":"#cr-split#-55_CR7.1","doi-asserted-by":"crossref","unstructured":"Ludas??cher, B., et al.: Scientific Workflow Management and the Kepler System. In: Concurrency and Computation: Practice & Experience (2005);","DOI":"10.1002\/cpe.994"},{"key":"#cr-split#-55_CR7.2","unstructured":"Special Issue on Scientific Workflows"},{"issue":"32","key":"55_CR8","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1559\/1523040054738936","volume":"32","author":"A. MacEachren","year":"2005","unstructured":"MacEachren, A., Robinson, A., Hopper, S., Gardner, S., Murray, R., Gahegan, M., Hetzler, E.: Visualizing Geospatial Information Uncertainty: What We Know and What We Need to Know. Cartography and Geographic Information Science\u00a032(32), 139\u2013160 (2005)","journal-title":"Cartography and Geographic Information Science"},{"key":"55_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/978-3-540-39718-2_8","volume-title":"Proceedings of 2nd International Semantic Web Conference (ISWC2003)","author":"D.L. McGuinness","year":"2003","unstructured":"McGuinness, D.L., Pinheiro da Silva, P.: Infrastructure for Web Explanations. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 113\u2013129. Springer, Heidelberg (2003)"},{"issue":"4","key":"55_CR10","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1016\/j.websem.2004.06.002","volume":"1","author":"D.L. McGuinness","year":"2004","unstructured":"McGuinness, D.L., Pinheiro da Silva, P.: Explaining Answers from the Semantic Web. Journal of Web Semantics\u00a01(4), 397\u2013413 (2004)","journal-title":"Journal of Web Semantics"},{"key":"55_CR11","first-page":"861","volume-title":"Proceedings of the 5th International Semantic Web Conference (ISWC2006)","author":"J.W. Murdock","year":"2006","unstructured":"Murdock, J.W., McGuinness, D.L., Pinheiro da Silva, P., Welty, C., Ferrucci, D.: Explaining Conclusions from Diverse Knowledge Sources. In: Proceedings of the 5th International Semantic Web Conference (ISWC2006), Athens, GA, November 2006, pp. 861\u2013872. Springer, Heidelberg (2006)"},{"issue":"4-5","key":"55_CR12","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1016\/j.is.2005.02.003","volume":"31","author":"P. Pinheiro da Silva","year":"2006","unstructured":"Pinheiro da Silva, P., McGuinness, D.L., Fikes, R.: A Proof Markup Language for Semantic Web Services. Information Systems\u00a031(4-5), 381\u2013395 (2006)","journal-title":"Information Systems"},{"issue":"2","key":"55_CR13","first-page":"179","volume":"25","author":"P. Pinheiro da Silva","year":"2003","unstructured":"Pinheiro da Silva, P., McGuinness, D.L., McCool, R.: Knowledge Provenance Infrastructure. IEEE Data Engineering Bulletin\u00a025(2), 179\u2013227 (2003)","journal-title":"IEEE Data Engineering Bulletin"},{"key":"55_CR14","unstructured":"Widom, J.: Trio: A System for Integrated Management of Data, Accuracy, and Lineage. In: Proceedings of the Second Biennial Conference on Innovative Data Systems Research, Asilomar, CA, January 2005, pp. 262\u2013276 (2005)"},{"key":"55_CR15","doi-asserted-by":"crossref","unstructured":"Zhao, J., Wroe, C., Goble, C.,, R.S.: Using Semantic Web Technologies for Representing E-science Provenance. In: Proceedings of the 3rd International Semantic Web Conference, pp. 92\u2013106 (November 2004)","DOI":"10.1007\/978-3-540-30475-3_8"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web - ISWC 2008"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88564-1_55","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T22:56:32Z","timestamp":1709333792000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88564-1_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540885634","9783540885641"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88564-1_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}