Sciweavers

OWLED
2008
14 years 1 months ago
HermiT: A Highly-Efficient OWL Reasoner
Abstract. HermiT is a new OWL reasoner based on a novel "hypertableau" calculus. The new calculus addresses performance problems due to nondeterminism and model size--the...
Rob Shearer, Boris Motik, Ian Horrocks