TY - RPRT T1 - Distributed Reasoning with EL++ Using MapReduce Y1 - 2010 A1 - Frederick Maier A1 - Raghava Mutharaju A1 - Pascal Hitzler AB -

It has recently been shown that the MapReduce framework for distributed computation can be used effectively for large-scale RDF Schema reasoning, computing the deductive closure of over a billion RDF triples within a reasonable time [23]. Later work has carried this approach over to OWL Horst [22]. In this paper, we provide a MapReduce algorithm for classifying knowledge bases in the description logic EL++, which is essentially the OWL 2 profile OWL 2 EL. The traditional EL++ classification algorithm is recast into a form compatible with MapReduce, and it is shown how the revised algorithm can be realized within the MapReduce framework. An analysis of the circumstances under which the algorithm can be effectively used is also provided.

PB - Wright State University CY - Dayton, OH, USA ER -