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

Re: Even more Fuzzy about FunctionalProperty!

From: Jonathan Borden <jonathan@openhealth.org>
Date: Wed, 5 Mar 2003 09:01:29 -0500
Message-ID: <016c01c2e31f$bb61b7f0$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:

>
> Since "hasFather" has been declared to be a FunctionalProperty can we
> infer that this:
>
>         <Person rdf:ID="Joe">
>             <age>56</age>
>         </Person>
>
> is equivalent to this:
>
>         <Person rdf:ID="Joseph">
>             <address>101 Curl Drive, Columbus, OH</address>
>         </Person>
>
> Thus, when inferencing do we treat the values of "hasFather" as a "black
> box", or must we "reconcile" the values?  /Roger
>

The above would entail:

:Joe owl:sameIndividualAs :Joseph .

Now you'd have a graph that has :age attached to one node and :address to
another. When told "owl:sameIndivualAs" you can "merge" the nodes.

Jonathan
Received on Wednesday, 5 March 2003 09:01:47 GMT

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