Exporting nanopublications as TriX