|Title||Very Large Scale OWL Reasoning through Distributed Computation|
|Publication Type||Conference Papers|
|Year of Publication||2012|
|Editor||Cudré-Mauroux, P, Heflin, J, Sirin, E, Tudorache, T, Euzenat, J, Hauswirth, M, Parreira, JXavier, Hendler, JA, Schreiber, G, Bernstein, A, Blomqvist, E|
|Conference Name||11th International Semantic Web Conference (ISWC 2012), Proceedings, Part II|
|Conference Location||Boston, MA, USA|
|Keywords||Distributed Reasoning, Ontology Classification, OWL EL|
Due to recent developments in reasoning algorithms of the various OWL profiles, the classification time for an ontology has come down drastically. For all of the popular reasoners, in order to process an ontology, an implicit assumption is that the ontology should fit in primary memory. The memory requirements for a reasoner are already quite high, and considering the ever increasing size of the data to be processed and the goal of making reasoning Web scale, this assumption becomes overly restrictive. In our work, we study several distributed classification approaches for the description logic EL+ (a fragment of OWL 2 EL profile). We present the lessons learned from each approach, our current results, and plans for future work.