Version 5.0.0 TRILL is now module independent. Many minor/major bug fixing, such as, correction of management of annotations. TRILL when translating RDF does no more create axioms with description placeholder. Complex axioms' annotations now are correctly created.
Version 5.1.0 Improved general performances of TRILL.
Version 5.2.0 BDDEM as a separate pack.
Version 5.2.1-beta Utilities for the analisys and management of the concepts hierarchy of the KB.
Version 5.2.2 Several bugs have been fixed.
Version 6.0.0 TRILL implements now several optimizations making it even faster. It implements an expansion queue similar to that implemented in the well known FaCT++ reasoner. TRILL also expands now only the part of the tableau that is relevant for the query.
Version 6.0.2 Corrections to the documentations and some minor fixes to TRILL, especially for the integration with BUNDLE.