1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
<title>EYE</title>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<style type="text/css">a:hover {background:#ffa;}</style>
</head>
<body xml:lang="en" lang="en">
<h1 id="euler-yet-another-proof-engine-eye">Euler Yet another proof Engine - EYE</h1>
<p><a href="http://josd.github.io/images/eye.png">[EYE]</a>
EYE is a reasoning engine supporting the <a href="http://www.w3.org/DesignIssues/diagrams/sweb-stack/2006a">Semantic Web layers</a>.<br>
It performs controlled chaining and it supports Euler paths.<br>
Via <a href="http://www.w3.org/TeamSubmission/n3/">N3</a> it is interoperable with <a href="http://www.w3.org/2000/10/swap/doc/cwm">Cwm</a>.</p>
<p><strong>Controlled chaining</strong> is backward chaining for rules using <code><=</code> in <a href="http://www.w3.org/TeamSubmission/n3/">N3</a><br>
and forward chaining for rules using <code>=></code> in <a href="http://www.w3.org/TeamSubmission/n3/">N3</a>.<br>
This can be seen at work in <a href="http://josd.github.io/eye/reasoning">EYE reasoning</a>.</p>
<p><strong>Euler paths</strong> are roughly <em>"don't step in your own steps"</em> which is inspired by<br>
what <a href="http://en.wikipedia.org/wiki/Leonhard_Euler">Leonhard Euler</a> discovered in 1736 for the <a href="http://mathworld.wolfram.com/KoenigsbergBridgeProblem.html">Königsberg Bridge Problem</a>.<br>
EYE sees the rule <code>P => C</code> as <code>P & NOT(C) => C</code>.</p>
<p>EYE can be <a href="http://josd.github.io/eye/INSTALL">installed manually</a> on Linux, Windows and MacOSX.<br>
EYE is also available in a <a href="http://hub.docker.com/r/bdevloed/eye/">Docker container for command line use</a><br>
and in a <a href="http://hub.docker.com/r/bdevloed/eyeserver/">Docker container for HTTP client use</a>.</p>
<h3 id="architecture-and-design">Architecture and design</h3>
<p>The <strong>EYE stack</strong> comprises the following Software and Machines:<br>
<a href="http://josd.github.io/images/EYE-stack.png">[EYE-stack]</a></p>
<p>This is what the basic <strong>EAM (Euler Abstract Machine)</strong> does in a nutshell:</p>
<ol>
<li>Select rule P => C</li>
<li>Prove P & NOT(C) (backward chaining) and if it fails backtrack to 1.</li>
<li>If P & NOT(C) assert C (forward chaining) and remove brake</li>
<li>If C = answer(A) and tactic limited-answer stop, else backtrack to 2.</li>
<li>If brake or tactic linear-select stop, else start again at 1.</li>
</ol>
<h3 id="see-also">See also</h3>
<ul>
<li>EYE paper: <a href="http://josd.github.io/Papers/EYE.pdf"> Drawing Conclusions from Linked Data on the Web: The EYE Reasoner</a></li>
<li>EYE tutorial: <a href="http://n3.restdesc.org/">Semantic Web Reasoning With EYE</a></li>
<li>EYE talk: <a href="http://josd.github.io/Talks/2012/04swig/index.html">EYE looking through N3 glasses</a></li>
</ul>
</body>
</html>
|
