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

Re: Grounding puzzle

From: Mithun Sheshagiri <mits1@csee.umbc.edu>
Date: Fri, 19 Sep 2003 15:42:19 -0400 (EDT)
To: Drew McDermott <drew.mcdermott@yale.edu>
Cc: <www-ws@w3.org>
Message-ID: <Pine.LNX.4.30.0309191541430.31890-100000@linuxserver1.cs.umbc.edu>

On Fri, 19 Sep 2003, Drew McDermott wrote:

> Suppose there is a web service that works like this:
>   For all person, residing in the U.S., if you send
>               social_sec_no(person) [a string of 9 digits]
>   to this service, it will return
>               telephone_num(person) [a string of 10 digits]
> Between WSDL, the DAML-S process, and the grounding, how does this
> fact get represented?
The DAML-S atomic process would be the following (I assume here that the
output is unConditional):

AtomicProcess: TelLookUp
input: sSN
unConditionalOutput: phoneNumber

sSN is a property that points to a concept called Social_sec_no. This
concept is defined in a profile ontology which also defines the datatype
for this concept (string of 9 digits). The property that associates
Social_sec_no to the upper concept Person is hasSSN

Similarly, phoneNumber points to a concept defined in the profile
ontology, Telephone_num. The corresponding property is hasTelNum

The grounding would point a WSDL description that uses the
Request-Response transport primitive. Part of the WSDL description would
look like this.
message definition:
<message name="SSN_Input">
      <part name="sSN" daml-property="profile:#hasSSN"/>

<message name="phoneNum_Output">
      <part name="phoneNum" daml-property="profile:#hasTelNum"/>

port desription:
<portType name="TelLookUp_port">
<operation name="TelLookUp_operation" daml-s-process="BT:#TelLookUp">
        <input message="SSN_Input"/>
        <output message="phoneNum_Output"/>

Now the daml-property in the message description would be used by a
specialized DAML sensitive WSDL processor to pick datatype information
from the profile ontology.

I hope this is what you were looking for.

> I realize there's an issue about representing the quantifier in the
> first place, but that's not my main concern.  My main concern is
> _where_ the various "pieces" of the fact reside.
> --
>                                              -- Drew McDermott
>                                                 Yale University CS Dept.
Received on Friday, 19 September 2003 15:42:21 UTC

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