fact++ 1.6.3~dfsg-1 (i386 binary) in ubuntu wily
FaCT++ is a DL reasoner. It supports OWL DL as well as the forthcoming
standard OWL 1.1. FaCT++ is implemented in C++ and uses optimised
tableaux algorithms. The tool is probably best known for its
compatibility with the tool Protege that helps to formally represent
semantics.
Details
- Package version:
- 1.6.3~dfsg-1
- Status:
- Obsolete
- Component:
- universe
- Priority:
- Optional
Downloadable files
i386 build of fact++ 1.6.3~dfsg-1 in ubuntu wily PROPOSED produced
these files:
- fact++_1.6.3~dfsg-1_i386.deb (496.4 KiB)