Transforming information in RDF to rewriting logic

Conference Object

Abstract: RDF looks like the first step to build the Semantic Web vision. Our long-term goal is to have a soun

Palabras claves:

Formal Methods, Maude, Rdf, Rewriting Logic, semantic web

Autores:

Bradley M., Joaquín Salvachúa, Llana L., Martí-Oliet N., Robles T., Verdejo A.

Fuentes:

scopus