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

EYE [1]是支持语义Web层[2]的推理引擎。 它执行受控链接,并支持Euler路径[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