Unfortunately, FaCT only supports DIG 1.0 and the
only implementation available in the DIG API is for DIG 1.1.
You can either write your own code using the one for
DIG 1.1 as template, or simply use RACER (which
supports both DIG 1.0 and 1.1).
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
HellO!
In 'FaCTPlusPlusNative' there is loading of native.dll in this method:
// Loads the file Native.DLL at run-time
static {
System.loadLibrary("FactPP");
}
Where I can this dll?
Tnx
Francesco
Fact++, the new Manchester DL reasoner, is not yet publicly available, but it will be released soon and
advertised in the appropriate lists.
Is possibile to connect FaCT servlet with Java DIG API?
Or API was developed only for FaCT++?
Thank you for your responses
Unfortunately, FaCT only supports DIG 1.0 and the
only implementation available in the DIG API is for DIG 1.1.
You can either write your own code using the one for
DIG 1.1 as template, or simply use RACER (which
supports both DIG 1.0 and 1.1).
With Racer there is no problem (I have already tried).
Now I will try (with FaCT) as you have said to me.
Best Regards
Francesco Schettini
Univeristy of Bari (Italy)