Distributed scalable abstract reasoning based on dl-lite

In recent years, researchs have shown that the ontology of a large number of data sets can be inferred effectively by abstract techniques. Distributed environment can further improve the performance of abstract reasoning. Firstly, abstract technology refers to a technology that divides ontology into equivalence classes and uses reasoning tools to reason abstract ontology. Then,The newly generated entities and relationships are added to the original ontology data set through materialization techniques. Finally, in order to ensure the consistency of ontology, the consistency check of ontology is needed later. We use the benchmark to obtain preliminary experimental results. The final results show that this abstract method can deal with a large number of ontologies effectively. Compared with the original reasoning method, the abstract technique proposed in this paper can effectively improve the reasoning efficiency and reduce the memory consumption time.