Transforming information in RDF to rewriting logic

In M. Steffen and G. Zavattaro, editors, Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings, LNCS 3535, pages 227-242. Springer, 2005.

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.

  [pdf]

@inproceedings{VMORSLB05,
	Author = {Alberto Verdejo and Narciso Mart{\'\i}-Oliet and Tom\'as Robles and 
	          Joaqu{\'\i}n Salvach{\'u}a and Luis Llana and Margarita Bradley},
	Booktitle = {Formal Methods for Open Object-Based Distributed Systems: 
	             7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, 
	             June 15-17, 2005. Proceedings},
	Editor = {M. Steffen and G. Zavattaro},
	Pages = {227-242},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Transforming information in {RDF} to rewriting logic},
	Volume = {3535},
	Year = {2005}}