Transitivity Reasoning for RDF Ontology with Iterative MapReduce | IEEE Conference Publication | IEEE Xplore