on 2011-10-24 16:14
» Viewed 326 times
» Favorited by 0 user(s)
» This resource has public visibility
Holder of Rights:
Euler is an inference engine supporting logic based proofs.
It is a backward-chaining reasoner enhanced with Euler path detection.
Via N3 it is interoperable with W3C Cwm.
use blanks to separate tags