JFact

JFact is an OWL DL reasoner, based on FaCT++

Homepage POM file JAR file Javadoc

'net.sourceforge.owlapi:jfact:4.0.3'

<dependency>
	<groupId>net.sourceforge.owlapi</groupId>
	<artifactId>jfact</artifactId>
	<version>4.0.3</version>
</dependency>

<dependency org="net.sourceforge.owlapi" name="jfact" rev="4.0.3"/>

"net.sourceforge.owlapi", "jfact", "4.0.3"

Dependencies

Compile dependencies

edu.stanford.protege » org.protege.editor.owl » 4.3.0 (optional)
joda-time » joda-time » 2.3
net.sf.trove4j » trove4j » 3.0.3
net.sourceforge.owlapi » owlapi-distribution » 4.1.3
org.roaringbitmap » RoaringBitmap » 0.4.9

Test dependencies

junit » junit » 4.11
org.mockito » mockito-all » 1.9.5