- From: Jonathan Borden <jonathan@openhealth.org>
- Date: Wed, 5 Mar 2003 09:01:29 -0500
- 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 UTC