java-json.jar can be downloaded from "https://docs.oracle.com/javaee/7/api/overview-summary.html"

org.semanticweb.HermiT.jar can be downloaded from "http://www.hermit-reasoner.com/download.html"

owlapi-distribution-3.5.0.jar can be downloaded from "http://sourceforge.net/projects/owlapi/files/"

FaCTpp-OWLAPI-3.4-v1.6.3.jar can be downloaded from "https://code.google.com/archive/p/factplusplus/"