RE: DAML-S profile document and JTP from Charlie Abela on 2003-06-18 (www-ws@w3.org from June 2003)

If you want to download the binaries + source file use this link:
ftp://ksl.stanford.edu/pub/jtp/jtp-daml-src.tar.gz
And on http://www.ksl.stanford.edu/software/JTP/ there is also a link for
joining the mailing-listRegards,

Charlie

-------------------------------------------------
Charlie Abela
Research Student,
Dept. of Computer Science and AI
University of Malta,
MSD06. Malta
Web: http://alphatech.mainpage.net
Email: abcharl@keyworld.net

-----Original Message-----



All email is scanned by Keyworld against known Viruses. This service is offered to all Keyworld subscribers and hosted domains and does not carry any warranty. You are advised to protect your PC with updated antivirus software at all times.

Forwarded message 1

From: www-ws-request@w3.org <www-ws-request@w3.org>

Sent: 18 June 2003 10:41

Forwarded message 2

Subject: Re: DAML-S profile document and JTP
To: www-ws@w3.org

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