Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
SOR: a practical system for ontology storage, reasoning and search
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Scalable semantic retrieval through summarization and refinement
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Reducing OWL entailment to description logic satisfiability
Web Semantics: Science, Services and Agents on the World Wide Web
Finding all justifications of OWL DL entailments
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Matching patient records to clinical trials using ontologies
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
The summary abox: cutting ontologies down to size
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Assessing trust in uncertain information using Bayesian description logic
Proceedings of the 17th ACM conference on Computer and communications security
Relationships and data sanitization: a study in scarlet
Proceedings of the 2010 workshop on New security paradigms
Accessing data through ontologies with ONDA
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
Assessing trust in uncertain information
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
The extension-based inference algorithm for pD*
Data & Knowledge Engineering
Towards ABox Modularization of semi-expressive Description Logics
Applied Ontology - Modularity in Ontologies
Distributed instance retrieval in EHQDDL+SHIQ representation framework
SETN'12 Proceedings of the 7th Hellenic conference on Artificial Intelligence: theories and applications
Hi-index | 0.00 |
In this paper, we describe scalable highly expressive reasoner (SHER), a breakthrough technology that provides semantic querying of large relational datasets using OWL ontologies. SHER relies on a unique algorithm based on ontology summarization and combines a traditional in-memory description logic reasoner with a database backed RDF Store to scale reasoning to very large Aboxes. In our latest experiments, SHER is able to do sound and complete conjunctive query answering up to 7 million triples in seconds, and scales to datasets with 60 million triples, responding to queries in minutes. We describe the SHER system architecture, discuss the underlying components and their functionality, and briefly highlight two concrete use-cases of scalable OWL reasoning based on SHER in the Health Care and Life Science space. The SHER system, with the source code, is available for download (free for academic use) at: http://www.alphaworks.ibm.com/tech/sher.