Scale Reasoning with Fuzzy- EL + Ontologies based on MapReduce

Fuzzy extension of Description Logics (DLs) allows the formal representation and handling of fuzzy or vague knowledge. In this paper, we consider the problem of reasoning with fuzzy-EL, which is a fuzzy extension of EL+. We first identify the challenges and present revised completion classification rules for fuzzy-EL that can be handled by MapReduce programs. We then propose an algorithm for scale reasoning with fuzzy-EL ontologies using MapReduce. Some preliminary experimental results are provided to show the scalability of our algorithm.

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

[2]  Jeff Z. Pan,et al.  Classifying Fuzzy Subsumption in Fuzzy-EL+ , 2008, Description Logics.

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

[4]  Julian Mendez,et al.  jcel: A Modular Rule-based Reasoner , 2012, ORE.

[5]  Bijan Parsia,et al.  Pellet: An OWL DL Reasoner , 2004, Description Logics.

[6]  George J. Klir,et al.  Fuzzy sets and fuzzy logic - theory and applications , 1995 .

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

[8]  Volker Haarslev,et al.  A Parallel Reasoner for the Description Logic ALC , 2012, Description Logics.

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

[10]  Yiannis Kompatsiaris,et al.  Semantic Representation of Multimedia Content , 2011, Knowledge-Driven Multimedia Information Extraction and Ontology Evolution.

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

[12]  Sanjay Ghemawat,et al.  MapReduce: simplified data processing on large clusters , 2008, CACM.

[13]  Herman J. ter Horst,et al.  Combining RDF and Part of OWL with Rules: Semantics, Decidability, Complexity , 2005, SEMWEB.

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

[15]  Guilin Qi,et al.  Large Scale Fuzzy pD * Reasoning Using MapReduce , 2011, SEMWEB.