@conference {156,
	title = {Distributed and Scalable OWL EL Reasoning},
	booktitle = {Proceedings of the 12th Extended Semantic Web Conference (ESWC 2015) },
	year = {2015},
	publisher = {Springer},
	organization = {Springer},
	address = {Portoroz, Slovenia},
	abstract = {<p class="rtejustify">OWL 2 EL is one of the tractable proles of the Web Ontology\&nbsp;Language (OWL) which is a W3C-recommended standard. OWL 2\&nbsp;EL provides sucient expressivity to model large biomedical ontologies\&nbsp;as well as streaming data such as trac, while at the same time allows\&nbsp;for ecient reasoning services. Existing reasoners for OWL 2 EL, however,\&nbsp;use only a single machine and are thus constrained by memory and\&nbsp;computational power. At the same time, the automated generation of\&nbsp;ontological information from streaming data and text can lead to very\&nbsp;large ontologies which can exceed the capacities of these reasoners. We\&nbsp;thus describe a distributed reasoning system that scales well using a cluster\&nbsp;of commodity machines. We also apply our system to a use case on\&nbsp;city trac data and show that it can handle volumes which cannot be\&nbsp;handled by current single machine reasoners.</p>
},
	keywords = {DistEL, Distributed Reasoning, Ontology Classification, OWL EL},
	author = {Raghava Mutharaju and Pascal Hitzler and Prabhaker Mateti and Freddy L{\'e}cu{\'e}}
}
@conference {11,
	title = {Distributed OWL EL Reasoning: The Story So Far},
	booktitle = {Proceedings of the 10th International Workshop on Scalable Semantic Web Knowledge Base Systems, Riva Del Garda, Italy},
	volume = {1261},
	year = {2014},
	month = {10/2014},
	pages = {61-76},
	publisher = {CEUR-WS.org},
	organization = {CEUR-WS.org},
	address = {Riva del Garda, Italy},
	abstract = {<p>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).</p>
},
	keywords = {Distributed Reasoning, OWL EL, Scalability},
	author = {Raghava Mutharaju and Pascal Hitzler and Prabhaker Mateti},
	editor = {Thorsten Liebig and Achille Fokoue}
}
