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

To my knowledge the documentation on the site itself and that packaged with
jtp is the only one available. I am trying to build up more information as I
progress in my work with jtp and will create a tutorial in the futureRegards,

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: 19 June 2003 9:29

Forwarded message 2

Subject: R: DAML-S profile document and JTP
To: Sheila McIlraith
Cc: www-ws@w3.org

hi all
many tanks for your attention. now i have a copy of jtp! it was my mistake
in download the file.... i'm sorry for the confusion.....
anyway, someone know if they are more documentation about jtp?
regards

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
>Sheila McIlraith
>Inviato: mercoledi 18 giugno 2003 20.57
>A: Michele Puccio
>Cc: www-ws@w3.org
>Oggetto: 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