TrOWL v1.4 is now available for download. This version implements an updated ABox realisation algorithm to improve performance. It also offers better efficiency for retrieving super-classes, sub-classes and equivalent-classes. Several minor bugs have also been fixed.
In this year’s OWL Reasoner Evaluation competition, this TrOWL participated the classification and realisation tracks of OWL 2 DL and OWL 2 EL ontologies. It obtained the 2nd place in OWL 2 EL realisation, the 3rd place in OWL 2 DL realisation and 4th places in OWL 2 DL/EL classifications. Congratulations!