A Language for Transforming the RDF Data on the Basis of Ontologies

Languages such as XSLT are used to transform XML documents based on their syntactical structure. The emergence of Semantic Web technologies brings new languages such as RDF and OWL which are able to represent the semantics of data. Currently there is no data transformation language which is capable of using this semantic information. In this paper a language is described which is aimed at transforming the RDF data. Like XSLT, it is based on templates. The transformation is driven by ontologies. Among the features of this language is the ability to check the validity of template systems, which guarantees that the transformation will terminate successfully without raising any errors. In order to prove this property the formal model of the language is studied.