Re: DAML-S profile document and JTP

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

Received on Wednesday, 18 June 2003 04:38:58 UTC