Re: [Test] Classification-inheritance_2

Christian,

Thank you. Could you put this in a form of a Positive Entailment test
(premise, and a conclusion that is entailed)?

Stella

On Mon, Mar 22, 2010 at 6:25 PM, Christian De Sainte Marie
<csma@fr.ibm.com>wrote:

>
> 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
>
>