Slide 1 IBM Research © 2007 IBM Corporation SHER: Scalable Highly Expressive Reasoner 6/4/2015 SHER: A Scalable Highly Expressive Reasoner and its Applications. J. Dolby,…
