Abstract
RDF looks like the first step to build the Semantic Web vision. Our long-term goal is to have a sound way to verify and validate the semantic web interactions that applications and agents may develop in a distributed environment. The first step for reaching this goal is to provide a useful semantic support to RDF itself. Based on this formal support, properties may be analyzed, as well as transformations and verifications can be performed. In this paper we propose an intuitive and formal semantics for RDF by means of a translation of RDF documents into executable object-oriented modules in the formal language Maude. This translation provides a semantics for RDF documents and allows programs managing them to be expressed in the same formalism, since Maude specifications are executable. Moreover, due to the reflective features of Maude, this translation can be implemented in Maude itself. Finally, translated RDF documents are integrated in an agent application written in Mobile Maude, that is, the same framework is used for both translating RDF documents and expressing the programs that manipulate them.
Research supported by MCyT projects AMEVA: Desarrollo Formal de Sistemas Basados en Agentes Móviles (TIC2000–0701–C02–01) and MIDAS: Metalenguajes para el diseño y aná lisis integrado de sistemas móviles y distribuidos (TIC2003–01000).
Chapter PDF
References
Albarrán, A., Durán, F., Vallecillo, A.: From Maude specifications to SOAP distributed implementations: a smooth transition. In: Proceedings VI Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2001, Almagro, Spain (2001)
Albarrán, F.D., Vallecillo, A.: Maude meets CORBA. In: Proceedings 2nd Argentine Symposium on Software Engineering, Argentina, (2001)
Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American (2001)
Bray, T., Hollander, D., Layman, A.: Namespaces in XML (1999), http://www.w3.org/TR/REC-xml-names
Brickley, D., Guha, R.: RDF vocabulary description language 1.0: RDF Schema. W3C Recommendation (February 10, 2004), http://www.w3.org/TR/rdf-schema
Cardelli, L.: Abstractions for mobile computations. In: Vitek, J. (ed.) Secure Internet Programming. LNCS, vol. 1603, pp. 51–94. Springer, Heidelberg (1999)
Clavel, M., Durán, F., Eker, S., Lincoln, P., Mart´ı-Oliet, N., Meseguer, J., Quesada, J.: Maude: specification and programming in rewriting logic. Theoretical Computer Science 285(2), 187–243 (2002)
Durán, 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. 1882, pp. 73–85. Springer, Heidelberg (2000)
Durán, 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. 71, pp. 79–95. Elsevier, Amsterdam (2002)
Fikes, R., MacGuinness, D.: An axiomatic semantics for RDF, RDF-S, and DAML+OIL. W3C Note (2001), http://www.w3.org/TR/daml+oil-axioms
Hayes, P.: RDF semantics. W3C Recommendation (February 10, 2004), http://www.w3.org/TR/rdf-mt
Manola, F., Miller, E.: RDF primer. W3C Recommendation (February 10, 2004), http://www.w3.org/TR/rdf-primer
Martí-Oliet, N., Meseguer, J.: Action and change in rewriting logic. In: Dynamic Worlds: From the Frame Problem to Knowledge Management, pp. 1–53. Kluwer Academic Publishers, Dordrecht (1999)
Martí-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. 9, pp. 1–87. Kluwer Academic Publishers, Dordrecht (2002)
Martin, D. (ed.): OWL-S: Semantic Markup for Web Services., http://www.daml.org/services/owl-s/1.1/overview
Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science 96(1), 73–155 (1992)
McGuinness, D., van Harmelen, F.: OWL Web Ontology Language. W3C Recommendation (February 10, 2004), http://www.w3.org/TR/owl-features
IETF Uniform Resource Identifiers (URI) Working Group (2000), http://ftp.ics.uci.edu/pub/ietf/uri/
Resource Description Framework (RDF) / W3C Semantic Web Activity, http://www.w3.org/RDF
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 IFIP International Federation for Information Processing
About this paper
Cite this paper
Verdejo, A., Martí-Oliet, N., Robles, T., Salvachúa, J., Llana, L., Bradley, M. (2005). Transforming Information in RDF to Rewriting Logic. In: Steffen, M., Zavattaro, G. (eds) Formal Methods for Open Object-Based Distributed Systems. FMOODS 2005. Lecture Notes in Computer Science, vol 3535. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11494881_15
Download citation
DOI: https://doi.org/10.1007/11494881_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26181-0
Online ISBN: 978-3-540-31556-8
eBook Packages: Computer ScienceComputer Science (R0)