Re: Even more Fuzzy about FunctionalProperty!

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 UTC