search

linikujp / owltools

Automatically exported from code.google.com/p/owltools
0 stars 0 forks source link

Adding support for JFACT? #50

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
I know that supporting FacT++ has historically been a pain.  We've found JFACT 
to be easier to get working consistently with the OWL-API.  This performs 
better than HermiT does with our ontologies, so would be great if you could 
integrate it into the list of available reasoners.

Original issue reported on code.google.com by dosu...@gmail.com on 8 Feb 2013 at 4:24

GoogleCodeExporter commented 9 years ago 
Okay. That was easy. JFact 1.0.0 is available as maven artefact.
I have added the options for JFact to owltools and OORT CLI (not in the GUI).

Original comment by HDie...@lbl.gov on 8 Feb 2013 at 6:26