Reid Priedhorsky, David Pitchford, et al.
CSCW 2012
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. © 2009 Elsevier B.V. All rights reserved.
Reid Priedhorsky, David Pitchford, et al.
CSCW 2012
Elron Bandel, Ranit Aharonov, et al.
ACL 2022
David Piorkowski, Inge Vejsbjerg, et al.
PACM HCI
Jason Ellis, Catalina Danis, et al.
CHI EA 2006