- From: Axel Polleres <axel.polleres@deri.org>
- Date: Tue, 19 Aug 2008 17:10:43 +0100
- 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 UTC