Hi Jos:
I have begun some experiments with the Java version (Euler4) but it appears the nefq option isn't implemented or working correctly?
Below is my example with which I wanted to axiomatize a relation related_y between two entities A and B if for all entities an with A related_x to an it implies that at least one bm exists such that B related_x to bm and an related_x to bm.
@prefix xyz: <http://www.example.com/somedomain#>.
xyz:A xyz:related_x xyz:a1.
xyz:A xyz:related_x xyz:a2.
xyz:B xyz:related_x xyz:b1.
xyz:a1 xyz:related_y xyz:b1.
xyz:a2 xyz:related_y xyz:b1.
{
{?A xyz:related_x ?an} => {?B xyz:related_x _bm. ?an xyz:related_y _bm}.
}
=>
{ ?A xyz:related_y ?B }.
When I query for
@prefix xyz <http://www.example.com/somedomain#>.
xyz:A xyz:related_y xyz:B.
I get the following proof (prefixes omitted for brevity):
# Generated with http://eulersharp.sourceforge.net/ version 1.5.64 on 27 Jul 2007 20:28:45 GMT
(<file:/workspace/Euler/test/simple_inheritance/inheritance.n3>!log:semantics)!log:conjunction =>
{
{
# No proof found in 3 steps (300000 steps/sec) using 1 engine (6 triples)} => {
{xyz:A xyz:related_y xyz:B} e:evidence <file:/workspace/Euler/test/simple_inheritance/inheritance.n3#_15>}.
# Proof found in 6 steps (600000 steps/sec) using 1 engine (6 triples)
}.
This proof is obviously based on EFQ although I submitted the --nefq option as an argument.
Thanks for your help.
Cheerio, Harry.
Harry Weppner
2007-07-27
inheritance.n3
Harry Weppner
2007-07-27