fact++ 1.6.5~dfsg-1 (amd64 binary) in ubuntu bionic
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.5~dfsg-1
- Status:
- Published
- Component:
- universe
- Priority:
- Optional
Downloadable files
amd64 build of fact++ 1.6.5~dfsg-1 in ubuntu zesty PROPOSED produced
these files:
- fact++_1.6.5~dfsg-1_amd64.deb (357.3 KiB)
Package relationships
- Depends on: