01724nas a2200301 4500008004100000245006700041210006700108260003000175300001400205490000900219520081100228653002601039653002801065653001101093100002301104700002901127700001701156700001701173700002101190700002201211700002301233700003001256700002301286700002001309700002301329700001901352856005101371 2012 eng d00aVery Large Scale OWL Reasoning through Distributed Computation0 aVery Large Scale OWL Reasoning through Distributed Computation aBoston, MA, USAbSpringer a407–4140 v76503 a
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.
10aDistributed Reasoning10aOntology Classification10aOWL EL1 aMutharaju, Raghava1 aCudré-Mauroux, Philippe1 aHeflin, Jeff1 aSirin, Evren1 aTudorache, Tania1 aEuzenat, Jérôme1 aHauswirth, Manfred1 aParreira, Josiane, Xavier1 aHendler, James, A.1 aSchreiber, Guus1 aBernstein, Abraham1 aBlomqvist, Eva uhttp://dx.doi.org/10.1007/978-3-642-35173-0_30