Re: [DIG-users] Dig 1.1 problem (TELLS)

[Daniele T. <dt...@cs...>]

LECUE FREDDY RD-TECH-REN wrote:

> Dear all,
>
>    I have a problem to implement a Knowledge base for a reasoner. 
> Actually I would like to load a Knowledge base with an empty 
> "tells.xml" document.
>
> So how load the following concept:
>
> <impliesc>
>         <catom name="Ticket"/>
>         <and>
>             <all>
>                 <ratom name="from"/>
>                 <catom name="Location"/>
>             </all>
>             <all>
>                 <ratom name="when"/>
>                 <catom name="Date"/>
>             </all>
>             <all>
>                 <ratom name="with"/>
>                 <catom name="TransportationMean"/>
>             </all>
>             <all>
>                 <ratom name="cost"/>
>                 <catom name="Price"/>
>             </all>
>         </and>
>  </impliesc>
>
> According to the TellsDocument class. I tried :
>
>        /****/
>         Concepts a = Concepts.Factory.newInstance();
>         Named a1 = c.addNewCatom();
>         a1.setName("Ticket");
>
>         Concepts b = Concepts.Factory.newInstance();
>         Named b1 = c.addNewCatom();
>         b1.setName("Ticket");
>         b.addNewAll().addNewRatom().setName("from");
>         b.addNewAll().addNewCatom().setName("Location");
>        
>         Concepts d = Concepts.Factory.newInstance();
>         Named d2 = d.addNewCatom();
>         d2.setName("B");
>         d.addNewSome().addNewRatom().setName("R");
>         d.addNewSome().addNewCatom().setName("F");
>        
>          Concepts[] cx = {e,c,d};
>        
>        tells.getTells().addNewImpliesc().setAndArray(cx);
>        /*****/
>
> But it doesn't work.
> Do you have an idea how to implement the example I propose with  
> "tells.getTells()"
>
> Thank you
> Waiting to hear from you.
> Freddy
>

You need to use addNewTells() instead of getTells():

        TellsDocument tells = TellsDocument.Factory.newInstance();
        Concepts a = Concepts.Factory.newInstance();
        Named a1 = a.addNewCatom();
        a1.setName("Ticket");

        Concepts b = Concepts.Factory.newInstance();
        Named b1 = b.addNewCatom();
        b1.setName("Ticket");
        b.addNewAll().addNewRatom().setName("from");
        b.addNewAll().addNewCatom().setName("Location");

        Concepts d = Concepts.Factory.newInstance();
        Named d2 = d.addNewCatom();
        d2.setName("B");
        d.addNewSome().addNewRatom().setName("R");
        d.addNewSome().addNewCatom().setName("F");

        Concepts[] cx = { a, b, d };
        tells.addNewTells().addNewImpliesc().setAndArray(cx);
        System.out.println(tells);

-- 
Dr Daniele Turi
School of Computer Science
The University of Manchester
ESNW 1.17 Kilburn Building, Oxford Road
Manchester, M13 9PL, UK.
Tel +44 (0) 161 275 0675
Fax                 6204
http://www.cs.man.ac.uk/~dturi