net.sourceforge.owlapi jfact 5.0.3 5.0.3 1.0.0 1.1.0 1.2.0 1.2.1 1.2.2 1.2.4 4.0.0 4.0.1 4.0.2 4.0.3 4.0.4 5.0.0 5.0.1 5.0.3 20180923130225