Closed goodmami closed 4 years ago
What is the definition of MRS isomorphism? What are applications for it? The structural similarity can be consider a proxy to the meaning equivalence?
I don't think there's a published and authoritative definition for MRS, but you can see section 5.3.2 in my dissertation for some background. But basically graph isomorphism means that two MRSs are exactly equivalent, even if things like the variable forms or EP order on the RELS list differ.
This issue was originally discussed on the matrix-dev mailing list for a failure in the Matrix regression test for neg-mod-mod.
The
mrs.is_isomorphic()
function implements VF2 but only seems to consider connected graphs.Isomorphism should be separate from MRS well-formedness criteria (as much as possible).