On Monday, November 26, 2012 04:46:32 PM Reto Bachmann-Gmür wrote:
> On Sun, Nov 25, 2012 at 3:19 PM, Andy Seaborne <a...@apache.org> wrote:
> 
> > Slight confusion between identity and equivalence.  Two graph are
> > equivalent by bNode-isomorphism; they are still different.
> >
> 
> Object.equals should implement an equivalence relation. As two graphs are
> equivalent by rdf semantics iff they are isomorphic equals should return
> true for isomorphic graphs. 

.equals() is tossed around fairly casually in Java programs (perhaps that's
just me); it's not clear to me that having a modelorgraph's .equals() being
graph isomorphism -- potentially muchly expensive if bnodes are in play --
is the most effective choice.

Chris

["equals should implement equivalence" doesn't entail "equals is
 isomorphism". Identity is an equivalence relation too.]

-- 
"The wizard seemed quite willing when I talked to him."  /Howl's Moving Castle/

Epimorphics Ltd, http://www.epimorphics.com
Registered address: Court Lodge, 105 High Street, Portishead, Bristol BS20 6PT
Epimorphics Ltd. is a limited company registered in England (number 7016688)

Reply via email to