DAML+OIL for Application Developers - slide "daml:UnambiguousProperty"

indicates that a given value for the property uniquely identifies a single instance
- this is something like a primary key in a database
unfortunately, a daml:UnambiguousProperty must currently be an daml:ObjectProperty and cannot be a daml:DatatypeProperty

example: given


<daml:UnambiguousProperty rdf:ID="emailAddress"/>

and

we can infer
unambiguous inference

note the use of mailto: URIs, which are valid values for a daml:ObjectProperty although they don't represent resolvable DAML+OIL instances