fact++ 1.6.2~dfsg-2 (armhf 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.2~dfsg-2
- Status:
- Superseded
- Component:
- universe
- Priority:
- Optional
Downloadable files
armhf build of fact++ 1.6.2~dfsg-2 in ubuntu saucy PROPOSED produced
these files:
- fact++_1.6.2~dfsg-2_armhf.deb (390.2 KiB)
Package relationships
- Suggests: