[Test] Classification-inheritance_2

Stella, all,

The BLD test case Classification-inheritance [1] could be adapted for PRD 
in two ways: either by removing the initial facts from the RIF document 
(and leaving it to the implementation to initialize the WM as needed), or 
by replacing the initial facts by a Do, and adding a rule to check that 
the inherited fact is verified:

 Document(
 Prefix(tax <http://example.org/scientific-classification#>)
 Prefix(ppl <http://example.org/people#>)
 Prefix(cpt <http://example.org/concepts#>)
 Group (
    Forall ?C ?I ?P ?V ( ?I[?P -> ?V] :- And (?C[?P -> ?V] ?I#?C ) )

    Do((?john New()) (?Person New()))
         ?john#?Person
         ?Person[tax:phylum -> tax:Chordata] ) 

   Forall ?X, ?Y such that ?X#?Y, If ?X[tax:phylum -> tax:Chordata] Then 
act:print("PASSED") ) )

I will provide the RIF/XML for that test case as soon as I find the time 
to try the JRules implementation on it.

[1] http://www.w3.org/2005/rules/wiki/Classification-inheritance

Cheers,

Christian

IBM
9 rue de Verdun
94253 - Gentilly cedex - FRANCE
Tel. +33 1 49 08 35 00
Fax +33 1 49 08 35 10


Sauf indication contraire ci-dessus:/ Unless stated otherwise above:
Compagnie IBM France
Siege Social : 17 avenue de l'Europe, 92275 Bois-Colombes Cedex
RCS Nanterre 552 118 465
Forme Sociale : S.A.S.
Capital Social : 611.451.766,20 ?
SIREN/SIRET : 552 118 465 03644