W3C home > Mailing lists > Public > www-rdf-logic@w3.org > March 2003

Re: An exciting inference?

From: Jonathan Borden <jonathan@openhealth.org>
Date: Mon, 17 Mar 2003 15:31:32 -0500
Message-ID: <080501c2ecc4$364b12b0$b6f5d3ce@L565>
To: "Roger L. Costello" <costello@mitre.org>, <www-rdf-logic@w3.org>
Cc: "Costello,Roger L." <costello@mitre.org>

Roger L. Costello wrote:
>
> Okay, that's the scenario outline.  Can someone fill in the details?
> Remember, it must be *simple* and it must lead to this inference:
>
>    The Robber and the Speeder are the same person.
>

This inference might be entailed from the use of an _inverse functional
property_. Let's assume for the sake of discussion that there is some type
of biometric property that can undoubtedly identify a person (that is for
each value of "fingerprint" there is at most one individual to which this
belongs)

e.g.

ex:Speeder foo:fingerprint urn:uuid:12345... .
ex:Robber foo:fingerprint urn:uuid:12345... .

foo:fingerprint a owl:InverseFunctionalProperty .

=>

ex:Speeder owl:sameIndividualAs ex:Robber .

-----

In reality things are a bit more complicated because we need to ensure that
the person isn't impersonating someone else i.e. the wrong drivers license,
social security number etc.
Received on Monday, 17 March 2003 15:32:06 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:43 GMT