Vitro uses the JFact open source reasoner, from the University of Manchester, a pure Java port of FACT++, an OWL DL (Description Language) reasoner.

  • No labels