Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#1 NEFQ not working for Euler4

open
nobody
None
7
2007-07-27
2007-07-27
Harry Weppner
No

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.

Discussion

  • Harry Weppner
    Harry Weppner
    2007-07-27

    inheritance.n3

     
    Attachments
  • Harry Weppner
    Harry Weppner
    2007-07-27

    • priority: 5 --> 7
    • summary: NEFQ working for Euler4 --> NEFQ not working for Euler4