Distributed OWL EL Reasoning: The Story So Far

Automated generation of axioms from streaming data, such as traffic and text, can result in very large ontologies that single machine reasoners cannot handle. Reasoning with large ontologies requires distributed solutions. Scalable reasoning techniques for RDFS, OWL Horst and OWL 2 RL now exist. For OWL 2 EL, several distributed reasoning approaches have been tried, but are all perceived to be inefficient. We analyze this perception. We analyze completion rule based distributed approaches, using different characteristics, such as dependency among the rules, implementation optimizations, how axioms and rules are distributed. We also present a distributed queue approach for the classification of ontologies in description logic EL (fragment of OWL 2 EL).

[1]  Sebastian Rudolph,et al.  Foundations of Semantic Web Technologies , 2009 .

[2]  James A. Hendler,et al.  Parallel Materialization of the Finite RDFS Closure for Hundreds of Millions of Triples , 2009, SEMWEB.

[3]  Franz Baader,et al.  Pushing the EL Envelope , 2005, IJCAI.

[4]  Frank van Harmelen,et al.  QueryPIE: Backward Reasoning for OWL Horst over Very Large Knowledge Bases , 2011, SEMWEB.

[5]  Jeff Z. Pan,et al.  Optimising Parallel ABox Reasoning of EL Ontologies , 2012, Description Logics.

[6]  Pascal Hitzler,et al.  DistEL: A Distributed EL+ Ontology Classifier , 2013, SSWS@ISWC.

[7]  Sanjay Ghemawat,et al.  MapReduce: Simplified Data Processing on Large Clusters , 2004, OSDI.

[8]  Ian Horrocks,et al.  Just the right amount: extracting modules from ontologies , 2007, WWW '07.

[9]  Pascal Hitzler,et al.  A MapReduce Algorithm for EL+ , 2010, Description Logics.

[10]  Philipp Cimiano,et al.  Ontology learning and population from text - algorithms, evaluation and applications , 2006 .

[11]  Freddy Lécué,et al.  Predicting Severity of Road Traffic Congestion Using Semantic Web Technologies , 2014, ESWC.

[12]  Thorsten Liebig,et al.  Parallelizing Tableaux-Based Description Logic Reasoning , 2007, OTM Workshops.

[13]  Frank van Harmelen,et al.  WebPIE: A Web-scale Parallel Inference Engine using MapReduce , 2012, J. Web Semant..

[14]  Markus Krötzsch,et al.  Concurrent Classification of EL Ontologies , 2011, International Semantic Web Conference.

[15]  Martin Halvey,et al.  WWW '07: Proceedings of the 16th international conference on World Wide Web , 2007, WWW 2007.

[16]  Raghava Mutharaju.  Very Large Scale OWL Reasoning through Distributed Computation , 2012, International Semantic Web Conference.

[17]  Franz Baader,et al.  CEL - A Polynomial-Time Reasoner for Life Science Ontologies , 2006, IJCAR.

[18]  Michel Dumontier,et al.  A Platform for Reasoning with OWL-EL Knowledge Bases in a Peer-to-Peer Environment , 2009, OWLED.

[19]  Volker Haarslev,et al.  Parallel TBox Classification in Description Logics - First Experimental Results , 2010, ECAI.

[20]  Yevgeny Kazakov,et al.  Classifying ELH Ontologies In SQL Databases , 2009, OWLED.

[21]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[22]  Frank van Harmelen,et al.  Scalable Distributed Reasoning Using MapReduce , 2009, SEMWEB.

[23]  Franz Baader,et al.  Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice , 2005 .

[24]  Guilin Qi,et al.  Scale Reasoning with Fuzzy- EL + Ontologies based on MapReduce , 2013 .

[25]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.