W3C home > Mailing lists > Public > public-rif-wg@w3.org > March 2010

[Test] Classification-inheritance_2

From: Christian De Sainte Marie <csma@fr.ibm.com>
Date: Mon, 22 Mar 2010 17:25:32 -0500
To: Stella Mitchell <stellamit@gmail.com>
Cc: public-rif-wg@w3.org
Message-ID: <OF65B46AD6.B1D573D5-ON852576EE.007936EF-852576EE.007B3165@fr.ibm.com>
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
Received on Monday, 22 March 2010 22:26:07 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 22 March 2010 22:26:08 GMT