- improved a bit behaviour of memoization: ‘undecided’ reasoning
results are not memoized anymore; ‘clear’ also clear memoized results
- use only the default model (previously all) when no model is
specified
- ‘lookup’ request has been significantly improved, in particular by
taking into account labels.
- ‘check’ has a first partial implementation (by just checking if
checked statement are already asserted)
- fix a bad bug leading to models being ignored in an ‘about’ request
- fix a race with the reasoner when clearing the database