Releases: rzese/trill
TRILL-7.0.1
TRILL-7.0.0
Trill Framework with resumable query. With this version it is possible to run a query, collecting some/all justifications, possibly add axioms on the fly, and resume the query computation to continue collecting the justifications also considering the new axioms.
v7.0-beta.1
Trill Framework with resumable query. With this version it is possible to run a query, collecting some/all justifications, possibly add axioms on the fly, and resume the query computation to continue collecting the justifications also considering the new axioms.
v7.0-alpha.1
Trill with resumable query. With this version it is possible to run a query, collecting some justifications, possibly add axioms on the fly, and resume the query computation to continue collecting the justifications also considering the new axioms.
Only TRILL works, TRILLP and TORNADO are not working in this alpha version
TRILL-6.0.5
version 6.0.5
TRILL-6.0.4
Update version to 6.0.4
TRILL-6.0.3
Improved query check
TRILL-6.0.2
minor changes
TRILL-6.0.1
TRILL implements now several optimizations making it even faster. The most relevant are:
- 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.
TRILL-5.2.2
Several fixes. Stable version before TRILL v. 6.0.0