W3C home > Mailing lists > Public > public-rif-wg@w3.org > August 2008

Re: Some testcases for numeric operations...

From: Stella Mitchell <cleo@us.ibm.com>
Date: Thu, 21 Aug 2008 22:14:49 -0400
To: Axel Polleres <axel.polleres@deri.org>
Cc: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>, public-rif-wg-request@w3.org
Message-ID: <OFE09476C0.C40D3332-ON852574AD.000C0270-852574AD.000C57A0@us.ibm.com>
Axel,

Thanks a lot for these. They're up on 
http://www.w3.org/2005/rules/wiki/Category:Test_Case  under "C."
you can review/edit.

Stella



Axel Polleres <axel.polleres@deri.org> 
Sent by: public-rif-wg-request@w3.org
08/19/2008 12:10 PM

To
"Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
cc

Subject
Some testcases for numeric operations...







... that should stress the different behavior of fwd-chaining, 
bwd-chaining engines. not yet in proper syntax.

Axel

====================================
Testcase numeric-minus 1:

   Ruleset:

   a(X) :- a ( External ( func:numeric-minus(X 1 ) ) ) .
   a(1).

Entailment test:   a(3) ?

====================================

Testcase numeric-minus 2:

   Ruleset:

   a( External ( func:numeric-minus(X 1 ) )) :-
          a ( X ),
          External ( pred:numeric-greater-than-or-equal ( X 0 ) ).
   a(10).

Entailment test:   a(3) ?

====================================
Testcase numeric-add 1:

Ruleset:

a( External ( func:numeric-add(X 1 ) ) :- a ( X ) .
a( 1 ).

Entailment test:   a(3) ?
====================================

Testcase numeric-add 2:

   Ruleset:

   a( X )  :- a (   a( External ( func:numeric-add( X 1 ) )) ),
              External ( pred:numeric-greater-than ( X 0 ) ).
   a(10).

Entailment test:   a(3) ?

====================================

-- 
Dr. Axel Polleres, Digital Enterprise Research Institute (DERI)
email: axel.polleres@deri.org  url: http://www.polleres.net/

Everything is possible:
rdfs:subClassOf rdfs:subPropertyOf rdfs:Resource.
rdfs:subClassOf rdfs:subPropertyOf rdfs:subPropertyOf.
rdf:type rdfs:subPropertyOf rdfs:subClassOf.
rdfs:subClassOf rdf:type owl:SymmetricProperty.
Received on Friday, 22 August 2008 02:15:30 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:53 GMT