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

semantics of daml:UnambiguousProperty

From: Dan Brickley <danbri@w3.org>
Date: Tue, 23 Jan 2001 15:03:17 -0500 (EST)
To: <www-rdf-logic@w3.org>
Message-ID: <Pine.LNX.4.30.0101231423590.17062-100000@tux.w3.org>

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?



<rdfs:Class rdf:ID="UnambiguousProperty">
  <rdfs:label xml:lang="en">UnambiguousProperty</rdfs:label>
    if P is an UnambiguousProperty, then if P(x, y) and P(z, y) then x=z.
    aka injective. e.g. if nameOfMonth(m, "Feb")
    and nameOfMonth(n, "Feb") then m and n are the same month.


       an UnambigousProperty element.
       This asserts that an instance y can only be the value of P for a
single instance x, i.e: there cannot be two distinct instances x1 and x2
such that both (x1,y) and
       (x2,y) are both instances of P.
Received on Tuesday, 23 January 2001 15:03:17 UTC

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