- From: Pat Hayes <phayes@ai.uwf.edu>
- Date: Mon, 4 Feb 2002 18:39:11 -0600
- To: jos.deroo.jd@belgium.agfa.com
- Cc: w3c-rdfcore-wg@w3.org
> > We have to decide on Dan Brickley's equality test. Does >> >> _:s1 <rdf:type> <rdf:Statement> . >> _:s1 <rdf:subject> <subject> . >> _:s1 <rdf:predicate> <predicate> . >> _:s1 <rdf:object> <object> . >> >> _:s2 <rdf:type> <rdf:Statement> . >> _:s2 <rdf:subject> <subject> . >> _:s2 <rdf:predicate> <predicate> . >> _:s2 <rdf:object> <object> . >> >> _:s1 <property> "property" . >> >> entail: >> >> _:s2 <property> "property" . >> >> Brian > >Yes >(confirmed with Euler) > >the _:s2 in the entailed graph >could have been any _:label > >actually I see that already > > _:s1 <property> "property" . > >entails > > _:s2 <property> "property" . > >so I don't see the point of reification There's something wrong with Euler, then. It isn't valid to go from <some huge graph with _:s1 in it> <an exactly similar graph with _:s2 substituted for _:s1> _:s1 foo baz to _:s2 foo baz. no matter what is in the huge graph. Pat >-- >Jos -- --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola, FL 32501 (850)202 4440 fax phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes
Received on Monday, 4 February 2002 19:38:38 UTC