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

FW: DAML-S profile document and JTP

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>
Message-ID: <000001c334e0$6c11a440$83bd0280@naveen>

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.

Naveen Srinivasan

-----Original Message-----
From: www-ws-request@w3.org [mailto:www-ws-request@w3.org] On Behalf Of
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
I tested JTP various DAML-S document, especially DAML-S profile

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

In my case, what is the problem?
Please help.
Received on Tuesday, 17 June 2003 11:18:52 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:37:09 UTC