Executing rules

When we dispose of lots of data and rules, we wouldn't want to execute them by hand.
We now explore how EYE does this job automatically.

How to run EYE

From this website

The simplest way to execute the “Cindy knows” rule is to use the online EYE interface.
You can access it from any modern browser with JavaScript support enabled.

It's easy and you'll like it. Try it now.

From your computer

However, if you do want to run EYE from your computer, then:

download and install the EYE software
download the example files (optional, but convenient)

Executing a rule

We will give EYE three inputs:

situational facts ("Cindy knows John")
background knowledge ("if Cindy knows John, then John knows Cindy")
a query (what EYE should do for us)

Don't worry about that query for now, we'll revise that later.

You can find these three inputs in the corresponding tabs of the online interface.
Click the Execute EYE button to start processing.

Example: the “Cindy knows” rule

Execute this command if you have downloaded the example files:

eye cindy.n3 cindy-rule.n3 --query query-all.n3 --nope

Alternatively, execute this command to use the online example files:

eye http://n3.restdesc.org/n3/cindy.n3 http://n3.restdesc.org/n3/cindy-rule.n3 --query http://n3.restdesc.org/n3/query-all.n3 --nope

Interpreting the results

EYE tries to find all possible facts. These are:

Cindy knows John (comes straight from the situational facts)
John knows Cindy (found by executing the rule on the situational facts)

So EYE actually deduced a new fact here. Exciting!

We learn to express knowledge on a higher level.

References

The homepage of EYE, the Euler Yap Engine.
Deductive reasoning on Wikipedia.