fact++ 1.6.5~dfsg-1 (ppc64el 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
ppc64el build of fact++ 1.6.5~dfsg-1 in ubuntu zesty PROPOSED produced
these files:
- fact++_1.6.5~dfsg-1_ppc64el.deb (335.3 KiB)
Package relationships
- Depends on: