Optimization of RDF reasoning based on MapReduce | IEEE Conference Publication | IEEE Xplore