|Title||Scale reasoning with fuzzy-EL+ ontologies based on MapReduce|
|Publication Type||Conference Papers|
|Year of Publication||2013|
|Authors||Zhou, Z, Qi, G, Liu, C, Hitzler, P, Mutharaju, R|
|Editor||Godo, L, Prade, H, Qi, G|
|Conference Name||Proceedings of the IJCAI-2013 Workshop on Weighted Logics for Artificial Intelligence (WL4AI 2013)|
|Conference Location||Beijing, China|
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.