@conference {164, title = {Scale reasoning with fuzzy-EL+ ontologies based on MapReduce}, booktitle = {Proceedings of the IJCAI-2013 Workshop on Weighted Logics for Artificial Intelligence (WL4AI 2013)}, year = {2013}, pages = {87-93}, address = {Beijing, China}, abstract = {

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.

}, author = {Zhangquan Zhou and Guilin Qi and Chang Liu and Pascal Hitzler and Raghava Mutharaju}, editor = {Lluis Godo and Henri Prade and Guilin Qi} }