- From: naveen <naveen@cs.cmu.edu>
- Date: Tue, 17 Jun 2003 10:54:57 -0400
- To: www-ws@w3.org
- Cc: "'MinGoo'" <happytest@ailab.ssu.ac.kr>
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 Tuesday, 17 June 2003 11:18:52 UTC