com.hermit-reasoner : org.semanticweb.hermit com.hermit-reasoner org.semanticweb.hermit 1.3.8.1 1.3.8.2 1.3.8.3 1.3.8.4