FaCT++
description logic reasoner for the semantic web
Install
- All systems
-
curl cmd.cat/FaCT++.sh
- Debian
-
apt-get install fact++
- Ubuntu
-
apt-get install fact++
- Kali Linux
-
apt-get install fact++
- Windows (WSL2)
-
sudo apt-get update
sudo apt-get install fact++
- Raspbian
-
apt-get install fact++
- Dockerfile
- dockerfile.run/FaCT++
fact++
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.