[TEST] simple SPARQL condition and SNAF condition

• From: <jos.deroo@agfa.com>
• Date: Sat, 16 Sep 2006 01:44:38 +0200
• To: public-rif-wg@w3.org
• Message-ID: <OF92C5B4B5.BE868215-ONC12571EA.008054C8-C12571EA.0082621B@agfa.com>

In writing Prolog I make a lot of use of findall
and in N3 I found it useful as

e:findall
  rdfs:comment
"""?SCOPE e:findall (?SELECT ?WHERE ?ANSWER).
unifies ?ANSWER with a list that contains all the
instantiations of ?SELECT satisfying the ?WHERE
clause in the ?SCOPE of all asserted n3 formulae
and their log:conclusion""";
  a rdf:Property;
  rdfs:domain log:Formula;
  rdfs:range rdf:List.

I mean useful for 2 reasons
1/ it is a way to have a simple SPARQL condition
2/ it is a way to have a SNAF condition when used as
   ?SCOPE e:findall (?SELECT ?WHERE rdf:nil).

There is a test case result at
http://eulersharp.sourceforge.net/2006/02swap/medicE.n3

-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Friday, 15 September 2006 23:46:25 UTC