%0 Conference Paper %B Proceedings of the 12th Extended Semantic Web Conference (ESWC 2015) %D 2015 %T Distributed and Scalable OWL EL Reasoning %A Raghava Mutharaju %A Pascal Hitzler %A Prabhaker Mateti %A Freddy Lécué %K DistEL %K Distributed Reasoning %K Ontology Classification %K OWL EL %X

OWL 2 EL is one of the tractable proles of the Web Ontology Language (OWL) which is a W3C-recommended standard. OWL 2 EL provides sucient expressivity to model large biomedical ontologies as well as streaming data such as trac, while at the same time allows for ecient reasoning services. Existing reasoners for OWL 2 EL, however, use only a single machine and are thus constrained by memory and computational power. At the same time, the automated generation of ontological information from streaming data and text can lead to very large ontologies which can exceed the capacities of these reasoners. We thus describe a distributed reasoning system that scales well using a cluster of commodity machines. We also apply our system to a use case on city trac data and show that it can handle volumes which cannot be handled by current single machine reasoners.

%B Proceedings of the 12th Extended Semantic Web Conference (ESWC 2015) %I Springer %C Portoroz, Slovenia %G eng %0 Conference Paper %B 11th International Semantic Web Conference (ISWC 2012), Proceedings, Part II %D 2012 %T Very Large Scale OWL Reasoning through Distributed Computation %A Raghava Mutharaju %E Philippe Cudré-Mauroux %E Jeff Heflin %E Evren Sirin %E Tania Tudorache %E Jérôme Euzenat %E Manfred Hauswirth %E Josiane Xavier Parreira %E James A. Hendler %E Guus Schreiber %E Abraham Bernstein %E Eva Blomqvist %K Distributed Reasoning %K Ontology Classification %K OWL EL %X

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.

%B 11th International Semantic Web Conference (ISWC 2012), Proceedings, Part II %I Springer %C Boston, MA, USA %V 7650 %P 407–414 %G eng %U http://dx.doi.org/10.1007/978-3-642-35173-0_30 %R 10.1007/978-3-642-35173-0_30