Parallel Inferencing for OWL Knowledge Bases
ICPP '08 Proceedings of the 2008 37th International Conference on Parallel Processing
RDFS Reasoning and Query Answering on Top of DHTs
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Marvin: Distributed reasoning over large-scale Semantic Web data
Web Semantics: Science, Services and Agents on the World Wide Web
Consequence-driven reasoning for horn SHIQ ontologies
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Distributed Resolution for Expressive Ontology Networks
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Scalable Distributed Reasoning Using MapReduce
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Parallel Materialization of the Finite RDFS Closure for Hundreds of Millions of Triples
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Parallelizing tableaux-based description logic reasoning
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
A better uncle for OWL: nominal schemas for integrating rules and ontologies
Proceedings of the 20th international conference on World wide web
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Concurrent classification of EL ontologies
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Large scale fuzzy pD* reasoning using mapreduce
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
QueryPIE: backward reasoning for OWL horst over very large knowledge bases
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
CEL: a polynomial-time reasoner for life science ontologies
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
OWL reasoning with WebPIE: calculating the closure of 100 billion triples
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
STAR-CITY: semantic traffic analytics and reasoning for CITY
Proceedings of the 19th international conference on Intelligent User Interfaces
Hi-index | 0.00 |
Due to recent developments in reasoning algorithms of the various OWL profiles, the classification time for an ontology has come down drastically. For all of the popular reasoners, in order to process an ontology, an implicit assumption is that the ontology should fit in primary memory. The memory requirements for a reasoner are already quite high, and considering the ever increasing size of the data to be processed and the goal of making reasoning Web scale, this assumption becomes overly restrictive. In our work, we study several distributed classification approaches for the description logic EL+ (a fragment of OWL 2 EL profile). We present the lessons learned from each approach, our current results, and plans for future work.