Working on RDFSPrinter class