...
- JFact Home Page http://jfact.sourceforge.net/
- JFact at GitHub https://github.com/owlcs/jfact
- FACT++ Hom Home page https://code.google.com/archive/p/factplusplus/
- List of Reasoners http://owl.cs.manchester.ac.uk/tools/list-of-reasoners/
- Semantic Reasoner at Wikipedia https://en.wikipedia.org/wiki/Semantic_reasoner