A MapReduce Algorithm for EL+

Recently, the use of the MapReduce framework for distribu- ted RDF Schema reasoning has shown that it is possible to compute the deductive closure of sets of over a billion RDF triples within a reason- able time span (22), and that it is also possible to carry the approach over to OWL Horst (21). Following this lead, in this paper we provide a MapReduce algorithm for the description logic EL + , more precisely for the classification of EL + ontologies. To do this, we first modify the algorithm usually used for EL + classification. The modified algorithm can then be converted into a MapReduce algorithm along the same key ideas as used for RDF schema.

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

[2]  Amit P. Sheth,et al.  Linked Data Is Merely More Data , 2010, AAAI Spring Symposium: Linked Data Meets Artificial Intelligence.

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

[4]  Frank van Harmelen,et al.  OWL Reasoning with WebPIE: Calculating the Closure of 100 Billion Triples , 2010, ESWC.

[5]  Peter F. Patel-Schneider,et al.  OWL 2 Web Ontology Language Primer (Second Edition) , 2012 .

[6]  Sebastian Rudolph,et al.  ELP: Tractable Rules for OWL 2 , 2008, SEMWEB.

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

[8]  Peter F. Patel-Schneider,et al.  OWL 2 Web Ontology Language , 2009 .

[9]  Volker Haarslev,et al.  Towards Parallel Classifcation of TBoxes , 2008, Description Logics.

[10]  Viktor K. Prasanna,et al.  Parallel Inferencing for OWL Knowledge Bases , 2008, 2008 37th International Conference on Parallel Processing.

[11]  Jürgen Bock.  Parallel Computation Techniques for Ontology Reasoning , 2008, International Semantic Web Conference.

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

[13]  Heiner Stuckenschmidt,et al.  Distributed Resolution for Expressive Ontology Networks , 2009, RR.

[14]  Péter Szeredi,et al.  Scalable Web Reasoning Using Logic Programming Techniques , 2009, RR.

[15]  Frank van Harmelen,et al.  Marvin: Distributed reasoning over large-scale Semantic Web data , 2009, J. Web Semant..

[16]  Manolis Koubarakis,et al.  RDFS Reasoning and Query Answering on Top of DHTs , 2008, SEMWEB.

[17]  Padmashree Ravindra,et al.  RAPID: Enabling Scalable Ad-Hoc Analytics on the Semantic Web , 2009, SEMWEB.

[18]  Herman J. ter Horst,et al.  Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary , 2005, J. Web Semant..

[19]  Franz Baader,et al.  Efficient Reasoning in EL+ , 2006, Description Logics.

[20]  Tim Berners-Lee,et al.  Linked Data - The Story So Far , 2009, Int. J. Semantic Web Inf. Syst..

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

[22]  Pascal Hitzler.  Towards Reasoning Pragmatics , 2009, GeoS.

[23]  Bernardo Cuenca Grau,et al.  OWL 2 Web Ontology Language: Profiles , 2009 .