FaCT++ ported to D Language
To use this package, run the following command in your project's root directory:
Put the following dependency into your project's dependences section:
FaCT++ imported to D Language
FaCT++ FaCT++ is the new generation of the well-known FaCT OWL-DL reasoner. FaCT++ uses the established FaCT algorithms, but with a different internal architecture. Additionally, FaCT++ is implementated using > C++ in order to create a more efficient software tool, and to maximise portability. New optimisations have also been introduced, and some new features added.
The OWL-API part is not done - only the standalone reasoner is included. (See the FaCT++.C folder in the source tree).
We add a static lib because the variadics need extern(D) wrapper functions. The wrappers are prefixed with an underscore.
Unittests are in source/facttests.d and are based on the python examples.
To use in your dub project
Add the dependency factplusplus-d, and put the libraries on your linker path.
To compile fact_test.d
dmd -m64 fact_test.d source/fact.d posix/bin64-debug/libfact.so
On Posix 32:
dmd -m32 fact_test.d source/fact.d posix/bin32-debug/libfact.so
On Windows 64:
dmd -m64 fact_test.d source/fact.d windows/bin64-debug/fact.lib
copy windows/bin64-debug/fact.dll .
On Windows 32:
dmd -m32mscoff fact_test.d source/fact.d windows/bin32-debug/fact.lib
copy windows/bin32-debug/fact.dll .
To rebuild FaCT++ dynamic library
Download FaCT++ sources from bitbucket.
Then build using cmake.
The libraries are built in the FaCT++.C folder.
htod is used to re-create the header. The typedefs and variadics are manually edited to use std.typecons and core.stdc.stdarg respectively.
- Registered by Mark Fisher
- ~master released 6 years ago
- Copyright © 2017, Mark Fisher