Hi Jack,
We don't have formal benchmarks.
Paul
On Wednesday, March 28, 2018 at 3:40:17 PM UTC+2, Jack Hodges wrote:
>
> In this business speed is a 'really' important consideration. Do either of
> you have benchmark results for speed comparisons for these (and other)
> reasoners on the TQ plat
In this business speed is a 'really' important consideration. Do either of
you have benchmark results for speed comparisons for these (and other)
reasoners on the TQ platform, or even for other platforms? Thanks.
Jack
On Tuesday, March 27, 2018 at 11:50:00 PM UTC-7, Paul Hermans wrote:
>
> Unde
Understand the rationale.
The only reason I prefered owlim over the spin implementation was speed.
And of course in some cases: seeing a 'second' opinion on the inferences
made :-).
P.S. There are still some mentions of owlim in the online documentation
coming with the product.
On Wednesday, Ma
Hi Paul,
the SwiftOWLIM version that was integrated into TBC was very old - long
before OWL 2. Not only did it become outdated, it furthermore covered
very similar features that are now covered by SPIN OWL-RL (only that
SPIN is more extensible). So in order to focus the tool to the areas
that