Scale reasoning with fuzzy-EL+ ontologies based on MapReduce

TitleScale reasoning with fuzzy-EL+ ontologies based on MapReduce
Publication TypeConference Papers
Year of Publication2013
AuthorsZhou, Z, Qi, G, Liu, C, Hitzler, P, Mutharaju, R
EditorGodo, L, Prade, H, Qi, G
Conference NameProceedings of the IJCAI-2013 Workshop on Weighted Logics for Artificial Intelligence (WL4AI 2013)
Conference LocationBeijing, 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.