- From: Drew McDermott <drew.mcdermott@yale.edu>
- Date: Tue, 5 Apr 2005 10:45:32 -0400
- To: public-sws-ig@w3.org
> [Norberto Carnelli] > ... > If we have another service, that does the same job, but returns more > infos about the person (name, surname, address and so on), how can we > differentiate between the two services? I dont think creating two > different concept for "person" would be the right way to go (they're > semantically the same) so we should need some mechanism to specify the > real usage of concepts. Is there a way to specify this or it's not > possible? Some kind of way to express "requirements" of properties for > inputs and "resulting" properties for outputs One service would have as effects: (known_value (name ?person)) etc. The other would have the same effects, plus some more (known_value (address ?person)) In these examples, the predicate known_value(term) means that the client knows the value of the term. I.e., (exists (v) (know client (value_of (address ?person) v))) [The type of (address w), (name w), etc. is a little tricky. I would think they have type (Learnable String); they can't be used in contexts where a String is needed, but must always be filtered through value_of. Sorry, this is a ridiculously unimportant detail.] -- -- Drew McDermott Professor, Computer Science Department Yale University Getting George W. Bush involved in the Terri Schiavo case was a sad example of the exploitation of the brain-dead for political purposes. It wasn't very nice to Terri Schiavo either.
Received on Tuesday, 5 April 2005 14:45:33 UTC