An Incremental and Distributed Inference Method for Large-Scale Ontologies Based on MapReduce Paradigm | IEEE Journals & Magazine | IEEE Xplore