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