Distributed OWL EL Reasoning: The Story So Far

TitleDistributed OWL EL Reasoning: The Story So Far
Publication TypeConference Proceedings
Year of Publication2014
AuthorsRaghava Mutharaju, Pascal Hitzler, Prabhaker Mateti
EditorThomas Liebig, Achille Fokoue
Conference Name10th International Workshop on Scalable Semantic Web Knowledge Base Systems
Date Published10/2014
Conference LocationRiva del Garda, Italy
Keywordsclassification, distributed reasoning, MapReduce, OWL 2 EL, peer-to-peer system

Automated generation of axioms from streaming data, such as traffic and text, can result in very large ontologies that single machine reasoners cannot handle. Reasoning with large ontologies requires distributed solutions. Scalable reasoning techniques for RDFS, OWL Horst and OWL 2 RL now exist. For OWL 2 EL, several distributed reasoning approaches have been tried, but are all perceived to be inefficient. We analyze this perception. We analyze completion rule based distributed approaches, using different characteristics, such as dependency among the rules, implementation optimizations, how axioms and rules are distributed. We also present a distributed queue approach for the classification of ontologies in description logic EL+(fragment of OWL 2 EL).