Distributed OWL EL Reasoning: The Story So Far

TitleDistributed OWL EL Reasoning: The Story So Far
Publication TypeConference Papers
Year of Publication2014
AuthorsMutharaju, R, Hitzler, P, Mateti, P
EditorLiebig, T, Fokoue, A
Conference NameProceedings of the 10th International Workshop on Scalable Semantic Web Knowledge Base Systems, Riva Del Garda, Italy
Date Published10/2014
Conference LocationRiva del Garda, Italy
KeywordsDistributed Reasoning, OWL EL, Scalability

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).

Refereed DesignationRefereed