Semantic annotation remains a significant part of the Semantic Web activities and a number of formalisms have been employed to annotate. Due to the impossibility of having a unique standard it may be important to have some techniques that allow the interoperability among the different kinds of annotations. We present an extension of our framework MIDST (Model Independent Schema and Data Translation), in order to translate from one semantic annotation formalism to another, where translations are specified as Datalog programs. To exploit our approach in the Semantic Web context, we have considered two formalisms for whom interoperability issues have been often addressed by the research community, namely RDF and Topic Maps.