- From: Ruben Verborgh <ruben.verborgh@ugent.be>
- Date: Wed, 28 Sep 2016 16:54:57 +0200
- To: Tim Finin <finin@umbc.edu>
- Cc: Semantic Web <semantic-web@w3.org>
Hi Tim, EYE [1,2] is an excellent command-line Notation3 reasoner with high performance. We use it for all our reasoning work, and I use it to teach students [3]. Best, Ruben [1] http://eulersharp.sourceforge.net/ [2] http://online.qmags.com/ISW0515?cid=3244717&eid=19361&pg=25 [3] http://n3.restdesc.org/rules/executing-rules/
Received on Wednesday, 28 September 2016 14:55:30 UTC