Useing DAML-S Profile with JTP.

Hi.
Daniel.


Thanks, your commemnt  about JTP.

I want use JTP, in DAML-S service searching and matching.
When I use JTP in  plain DAML+OIL search and inference, There are no problems.

But, DAML-S has some problems. 

Below I show some of them..


Target1: http://www.daml.org/services/daml-s/0.9/BravoAirProfile.daml
-- java.lang.NullPointerException.

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


Target2's error is like http://www.damlsmm.ri.cmu.edu/data/QuotingServiceCar.daml's problems, but I have mostly  this errors.
(I have this DAML-S example in http://www.damlsmm.ri.cmu.edu/samples.html).


In my case, what is the problem?
Please help.