Giving semantics to RDF by mapping into rewriting logic - Margarita Bradley; Luis Llana; N Mart-Oliet; Tomás Robles; Joaquín Salvachua; Alberto Verdejo (Communications Of The Acm, 2002)