- From: Sheila McIlraith <sam@ksl.Stanford.EDU>
- Date: Wed, 18 Jun 2003 11:57:19 -0700 (PDT)
- To: Michele Puccio <puccio@eng.it>
- cc: www-ws@w3.org
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