QTL2.
Migration to OWL API v4. Added JFact as reasoner option.