W3C home > Mailing lists > Public > www-rdf-logic@w3.org > June 2001

Re: DAML-S expressiveness challenge #1

From: Jim Hendler <jhendler@darpa.mil>
Date: Fri, 15 Jun 2001 08:13:20 -0400
Message-Id: <p04330104b74fabc4f1df@[]>
To: David Martin <martin@AI.SRI.COM>
Cc: www-rdf-logic@w3.org
>          DAML-S expressiveness challenge #1 -
>Is it possible (or is it likely to be possible in some future release of
>DAML+OIL or DAML-L) to express the following constraint/restriction:
>    "The value of an instance of property P1, in some particular
>context/scope/situation, must be the same as the value of an instance
>of property P2 in that same context/scope/situation."
>What do I mean by context/scope/situation?  Well, that's up for
>discussion, but to get us started, let's just say I mean "namespace".

  I'm confused - seems to me you are confusing language and processing 
of the language.  DAML-S seems to me to be a model of declarative 
specification - prescribing how something "binds" seems to me to be a 
specification as to how you process that knowledge.  Seems to me that 
if DAML-S wants to add this sort of processing semantics (which I 
don't object to in principle), it is separate from the DAML language 
per se -- I.e. you need a DAML-S processing spec -- see the XML 
Process spec work at W3 for an example
Prof. James Hendler		Program Manager
DARPA/ISO			703-696-2238 (phone)
3701 N. Fairfax Dr.		703-696-2201 (Fax)
Arlington, VA 22203		jhendler@darpa.mil
Received on Friday, 15 June 2001 08:11:43 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:35 UTC