Re: DAML-S profile document and JTP

Michele,
I have forwarded your email to the person at Stanford responsible for
maintaining JTP.

Regards,
Sheila


On Wed, 18 Jun 2003, Michele Puccio wrote:

>
> hi hall
> I'm interested in having more information about jtp. i tried to download
> from http://www.ksl.stanford.edu/software/JTP/ but the file seem to be
> corrupted.
> can someone help me?
> thanks
>
> michele
>
> -----------------------------------------
> Ing. Michele Puccio
> Lab R&D
> Engineering Ingegneria Informatica S.p.A.
> viale Regione Siciliana 7275
> 90100 Palermo
> tel. (+39)0917511711
> fax. (+39)0917511720
> e-mail puccio@eng.it
> -----------------------------------------
>
> >-----Messaggio originale-----
> >Da: www-ws-request@w3.org [mailto:www-ws-request@w3.org]Per conto di
> >naveen
> >Inviato: martedi 17 giugno 2003 16.55
> >A: www-ws@w3.org
> >Cc: 'MinGoo'
> >Oggetto: FW: DAML-S profile document and JTP
> >
> >
> >
> >
> >Hi MinGoo,
> >
> >    The first problem with
> >http://www.daml.org/services/daml-s/0.9/BravoAirProfile.daml is fixed.
> >Please let me know if you still face problems with the BravoAir profile.
> >
> >Thanks,
> >Naveen Srinivasan
> >
> >
> >
> >
> >-----Original Message-----
> >From: www-ws-request@w3.org [mailto:www-ws-request@w3.org] On Behalf Of
> >MinGoo
> >Sent: Wednesday, June 11, 2003 4:11 AM
> >To: www-ws@w3.org
> >Subject: DAML-S profile document and JTP
> >
> >
> >Hi all.
> >
> >
> >I want to use JTP(Java Theorem Prover),DAML-S service searching and
> >matching.
> >I tested JTP various DAML-S document, especially DAML-S profile
> >document.
> >
> >But, I have some problems.
> >When I use JTP in  plain DAML+OIL search and inference, There are no
> >problems, but DAML-S profile is not.
> >
> >
> >This problems are various.
> >
> >Below I show some errors of them..
> >
> >*case1
> >Target: http://www.daml.org/services/daml-s/0.9/BravoAirProfile.daml
> >-- java.lang.NullPointerException.
> >
> >*case2
> >Target: http://www.damlsmm.ri.cmu.edu/data/QuotingServiceCar.daml
> >-- Modus Pones Inference Step:
> >    <false>
> >      :-
> >    <<=<not <rdf:type ?i daml:Restriction>>
> >        <rdf:type ?i rdf:Property>>
> >    .
> >    .
> >    .
> >
> >
> >Case2's error is like
> >http://www.damlsmm.ri.cmu.edu/data/QuotingServiceCar.daml's problem, but
> >I have mostly  this errors.
> >(I have to test the DAML-S example in
> >http://www.damlsmm.ri.cmu.edu/samples.html).
> >
> >
> >In my case, what is the problem?
> >Please help.
> >
> >
> >
> >
> >
> >
> >
> >
> >
>
>

==============================================================================

Sheila McIlraith, PhD                 Phone: 650-723-7932
Senior Research Scientist             Fax:  650-725-5850
Knowledge Systems Lab
Department of Computer Science
Gates Sciences Building, 2A-248       http://www.ksl.stanford.edu/people/sam
Stanford University                   E-mail: sam-at-ksl-dot-stanford-dot-edu
Stanford, CA 94305-9020

Received on Wednesday, 18 June 2003 14:57:28 UTC