Document Type

Conference Proceeding

Publication Date



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.


Presented at the Workshop on Weighted Logics for AI, Beijing, China, August 3-5, 2013.