EYE [1] is a reasoning engine supporting the Semantic Web layers [2].
It performs controlled chaining and it supports Euler paths [3].
Via N3 [4] it is interoperable with Cwm [5].
 [1] http://eulersharp.sourceforge.net/README
 [2] http://www.w3.org/DesignIssues/diagrams/sweb-stack/2006a
 [3] http://mathworld.wolfram.com/KoenigsbergBridgeProblem.html
 [4] http://www.w3.org/TeamSubmission/n3/
 [5] http://www.w3.org/2000/10/swap/doc/cwm