Vitro uses the JFact open source reasoner, from the University of Manchester, a pure Java port of FACT++, an OWL DL (Description Language) reasoner.
- JFact Home Page http://jfact.sourceforge.net/
- JFact at GitHub https://github.com/owlcs/jfact
- FACT++ Hom 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