Search filters

HermiT: An OWL 2 Reasoner

Image Image of a generic work. The text above it indicates that there is no free image of the work available, and that if you own one, you can click on the placeholder link to upload it.
Description article by Birte Glimm et al published 23 May 2014 in Journal of Automated Reasoning
Author/s

author: Ian R. Horrocks  Zhe Wang 

Publication date May 23, 2014
Language
Country of origin
Wikipedia link
Copyright status
Missing/wrong data? Edit Wikidata item