%0 Conference Paper %B Web Technologies and Applications - 18th Asia-Pacific Web Conference, APWeb 2016, Suzhou, China, September 23-25, 2016 %D 2016 %T Reasoning with Large Scale OWL 2 EL Ontologies Based on MapReduce %A Zhangquan Zhou %A Guilin Qi %A Chang Liu %A Raghava Mutharaju %A Pascal Hitzler %B Web Technologies and Applications - 18th Asia-Pacific Web Conference, APWeb 2016, Suzhou, China, September 23-25, 2016 %I Springer %C Heidelberg %G eng %0 Conference Paper %B Proceedings of the IJCAI-2013 Workshop on Weighted Logics for Artificial Intelligence (WL4AI 2013) %D 2013 %T Scale reasoning with fuzzy-EL+ ontologies based on MapReduce %A Zhangquan Zhou %A Guilin Qi %A Chang Liu %A Pascal Hitzler %A Raghava Mutharaju %E Lluis Godo %E Henri Prade %E Guilin Qi %X

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.

%B Proceedings of the IJCAI-2013 Workshop on Weighted Logics for Artificial Intelligence (WL4AI 2013) %C Beijing, China %P 87-93 %G eng %0 Book %D 2013 %T 语义Web技术基础 %A Pascal Hitzler %A Markus Krötzsch %A Sebastian Rudolph %? Yong Yu %? Guilin Qi %? Haofen Wang %? Chang Liu %I Tsinghua University Press %G eng %0 Conference Paper %B ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track %D 2012 %T Reasoning with Fuzzy-EL+ Ontologies Using MapReduce %A Zhangquan Zhou %A Guilin Qi %A Chang Liu %A Pascal Hitzler %A Raghava Mutharaju %E Luc De Raedt %E Christian Bessière %E Didier Dubois %E Patrick Doherty %E Paolo Frasconi %E Fredrik Heintz %E Peter J. F. Lucas %X

Fuzzy extension of Description Logics (DLs) allows the formal representation and handling of fuzzy knowledge. In this paper, we consider fuzzy-EL+, which is a fuzzy extension of EL+. We first present revised completion rules for fuzzy-EL+ that can be handled by MapReduce programs. We then propose an algorithm for scale reasoning with fuzzy-EL+ ontologies based on MapReduce.

%B ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track %I IOS Press %C Montpellier, France %V 242 %P 933–934 %G eng %U http://dx.doi.org/10.3233/978-1-61499-098-7-933 %R 10.3233/978-1-61499-098-7-933