TRILL-7.1-beta.1

Version 7.1-beta.1.
It removes the need for tabling and reduces the number of rule application tests.

Full Changelog: 7.0.1...v7.1-beta.1

TRILL-7.0.1

Version 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.