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

Some testcases for numeric operations...

From: Axel Polleres <axel.polleres@deri.org>
Date: Tue, 19 Aug 2008 17:10:43 +0100
Message-ID: <48AAF083.60900@deri.org>
To: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>

... 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 Tuesday, 19 August 2008 16:11:44 GMT

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