Re: Some testcases for numeric operations...

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.