{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:47:13Z","timestamp":1743047233228,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540261810"},{"type":"electronic","value":"9783540315568"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005]]},"DOI":"10.1007\/11494881_15","type":"book-chapter","created":{"date-parts":[[2010,9,25]],"date-time":"2010-09-25T14:47:34Z","timestamp":1285426054000},"page":"227-242","source":"Crossref","is-referenced-by-count":0,"title":["Transforming Information in RDF to Rewriting Logic"],"prefix":"10.1007","author":[{"given":"Alberto","family":"Verdejo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Narciso","family":"Mart\u00ed-Oliet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1s","family":"Robles","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joaqu\u00edn","family":"Salvach\u00faa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis","family":"Llana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Margarita","family":"Bradley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Albarr\u00e1n, A., Dur\u00e1n, F., Vallecillo, A.: From Maude specifications to SOAP distributed implementations: a smooth transition. In: Proceedings VI Jornadas de Ingenier\u00eda del Software y Bases de Datos, JISBD 2001, Almagro, Spain (2001)"},{"key":"15_CR2","unstructured":"Albarr\u00e1n, F.D., Vallecillo, A.: Maude meets CORBA. In: Proceedings 2nd Argentine Symposium on Software Engineering, Argentina, (2001)"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American (2001)","DOI":"10.1038\/scientificamerican0501-34"},{"key":"15_CR4","unstructured":"Bray, T., Hollander, D., Layman, A.: Namespaces in XML (1999), \n                    \n                      http:\/\/www.w3.org\/TR\/REC-xml-names"},{"key":"15_CR5","unstructured":"Brickley, D., Guha, R.: RDF vocabulary description language 1.0: RDF Schema. W3C Recommendation (February 10, 2004), \n                    \n                      http:\/\/www.w3.org\/TR\/rdf-schema"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/3-540-48749-2_4","volume-title":"Secure Internet Programming","author":"L. Cardelli","year":"1999","unstructured":"Cardelli, L.: Abstractions for mobile computations. In: Vitek, J. (ed.) Secure Internet Programming. LNCS, vol.\u00a01603, pp. 51\u201394. Springer, Heidelberg (1999)"},{"issue":"2","key":"15_CR7","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M. Clavel","year":"2002","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00b4\u0131-Oliet, N., Meseguer, J., Quesada, J.: Maude: specification and programming in rewriting logic. Theoretical Computer Science\u00a0285(2), 187\u2013243 (2002)","journal-title":"Theoretical Computer Science"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-45347-5_7","volume-title":"Agent Systems, Mobile Agents, and Applications","author":"F. Dur\u00e1n","year":"2000","unstructured":"Dur\u00e1n, F., Eker, S., Lincoln, P., Meseguer, J.: Principles of Mobile Maude. In: Kotz, D., Mattern, F. (eds.) MA 2000, ASA\/MA 2000, and ASA 2000. LNCS, vol.\u00a01882, pp. 73\u201385. Springer, Heidelberg (2000)"},{"key":"15_CR9","series-title":"ENTCS","first-page":"79","volume-title":"Proceedings Fourth International Workshop on Rewriting Logic and its Applications, WRLA 2002","author":"F. Dur\u00e1n","year":"2002","unstructured":"Dur\u00e1n, F., Verdejo, A.: A conference reviewing system in Mobile Maude. In: Gadducci, F., Montanari, U. (eds.) Proceedings Fourth International Workshop on Rewriting Logic and its Applications, WRLA 2002. ENTCS, vol.\u00a071, pp. 79\u201395. Elsevier, Amsterdam (2002)"},{"key":"15_CR10","unstructured":"Fikes, R., MacGuinness, D.: An axiomatic semantics for RDF, RDF-S, and DAML+OIL. W3C Note (2001), \n                    \n                      http:\/\/www.w3.org\/TR\/daml+oil-axioms"},{"key":"15_CR11","unstructured":"Hayes, P.: RDF semantics. W3C Recommendation (February 10, 2004), \n                    \n                      http:\/\/www.w3.org\/TR\/rdf-mt"},{"key":"15_CR12","unstructured":"Manola, F., Miller, E.: RDF primer. W3C Recommendation (February 10, 2004), \n                    \n                      http:\/\/www.w3.org\/TR\/rdf-primer"},{"key":"15_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-94-017-1317-7_1","volume-title":"Dynamic Worlds: From the Frame Problem to Knowledge Management","author":"N. Mart\u00ed-Oliet","year":"1999","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J.: Action and change in rewriting logic. In: Dynamic Worlds: From the Frame Problem to Knowledge Management, pp. 1\u201353. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-94-017-0464-9_1","volume-title":"Handbook of Philosophical Logic","author":"N. Mart\u00ed-Oliet","year":"2002","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J.: Rewriting logic as a logical and semantic framework. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol.\u00a09, pp. 1\u201387. Kluwer Academic Publishers, Dordrecht (2002)","edition":"2"},{"key":"15_CR15","unstructured":"Martin, D. (ed.): OWL-S: Semantic Markup for Web Services., \n                    \n                      http:\/\/www.daml.org\/services\/owl-s\/1.1\/overview"},{"issue":"1","key":"15_CR16","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science\u00a096(1), 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"key":"15_CR17","unstructured":"McGuinness, D., van Harmelen, F.: OWL Web Ontology Language. W3C Recommendation (February 10, 2004), \n                    \n                      http:\/\/www.w3.org\/TR\/owl-features"},{"key":"15_CR18","unstructured":"IETF Uniform Resource Identifiers (URI) Working Group (2000), \n                    \n                      http:\/\/ftp.ics.uci.edu\/pub\/ietf\/uri\/"},{"key":"15_CR19","unstructured":"Resource Description Framework (RDF) \/ W3C Semantic Web Activity, \n                    \n                      http:\/\/www.w3.org\/RDF"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Open Object-Based Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11494881_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T01:12:50Z","timestamp":1553130770000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11494881_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261810","9783540315568"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11494881_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}