Dan Brickley wrote: > > > A little question re DAML+OIL semantics. If a property is an unambigous > property, does the equality specified by DAML+OIL below hold only at a > particular point in time or does it hold across time and change? > > Eg. if I say some resource X has a foo:contact property > whose value is some other resource Y, where Y is "the resource whose > personalMailbox is mailto:lighthouse-keeper@stonyisland.example.com", what > does this mean? Might Y differ over time, so long as at any one time there > was only a single resource with that property/value pair. What inferences > does daml:UnambiguousProperty license in this respect? > Doesn't this depend entirely on the model? Either this mailBox is or isn't unambiguously associated with a single person err resource. If arcs are present between two URIs representing two people and this URI then this URI is not a good value for this resource. Alternatively when such a value is defined, perhaps it should flag an error to enter a second arc. This sort of problem comes up in the real world all the time. For example in the U.S. a social security number ought be an unambiguous identifier for a person, except that they are reused ... it turns out that creating a truly time invariant unambiguous property is often a difficult and expensive proposition but does prove good fodder for heated arguments. Jonathan Borden http://www.openhealth.orgReceived on Tuesday, 23 January 2001 19:48:50 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 October 2009 08:34:44 GMT