- From: MinGoo <happytest@ailab.ssu.ac.kr>
- Date: Wed, 11 Jun 2003 17:10:54 +0900
- To: <www-ws@w3.org>
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, 11 June 2003 04:12:22 UTC