Validating and loading RDF files with a reasoner