> 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". David- 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 -JH -- Prof. James Hendler Program Manager DARPA/ISO 703-696-2238 (phone) 3701 N. Fairfax Dr. 703-696-2201 (Fax) Arlington, VA 22203 jhendler@darpa.milReceived on Friday, 15 June 2001 08:11:43 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 October 2009 08:34:46 GMT