EulerSharp:欧拉又一个证明引擎-开源

EYE [1] 是一个支持语义 Web 层 [2] 的推理引擎。 它执行受控链接并支持欧拉路径 [3]。 通过 N3 [4]，它可以与 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