W3C home > Mailing lists > Public > www-ws@w3.org > June 2003

DAML-S profile document and JTP

From: MinGoo <happytest@ailab.ssu.ac.kr>
Date: Wed, 11 Jun 2003 17:10:54 +0900
Message-ID: <001b01c32ff0$fafc4880$c616fdcb@happytest>
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..

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

Target: http://www.damlsmm.ri.cmu.edu/data/QuotingServiceCar.daml
-- Modus Pones Inference Step:
    <<=<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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:05:11 UTC