Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Native.DLL

Help
FrAncesco
2004-09-22
2013-04-16
  • FrAncesco
    FrAncesco
    2004-09-22

    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

     
    • Daniele Turi
      Daniele Turi
      2004-09-22

      Fact++, the new Manchester DL reasoner, is not yet publicly available, but it will be released soon and
      advertised in the appropriate lists.

       
      • FrAncesco
        FrAncesco
        2004-09-22

        Is possibile to connect FaCT servlet with Java DIG API?
        Or API was developed only for FaCT++?

        Thank you for your responses

         
        • Daniele Turi
          Daniele Turi
          2004-09-22

          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).

           
          • FrAncesco
            FrAncesco
            2004-09-22

            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)