implement RDFFileReader