Install fact++ by entering the following commands in the terminal:
sudo apt update sudo apt install fact++
Description:
description logic reasoner for the semantic web
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.
Homepage: http://owl.man.ac.uk/factplusplus/
Version: 1.6.5~dfsg-1
Section: universe/x11