An incremental and distributed inference method for large-scale ontologies over SPARK. (10th May 2019)