public override void Expand(XrefExpander expander, Frame sf, string id, string xRef) { Clause c = new Clause(OboFormatTag.TAG_RELATIONSHIP, rel); c.AddValue(xRef); GetTargetFrame(expander, id).AddClause(c); }
public override void Expand(XrefExpander expander, Frame sf, string id, string xRef) { Clause gc = new Clause(OboFormatTag.TAG_INTERSECTION_OF, id); Clause dc = new Clause(OboFormatTag.TAG_INTERSECTION_OF); dc.SetValue(rel); dc.AddValue(tgt); GetTargetFrame(expander, xRef).AddClause(gc); GetTargetFrame(expander, xRef).AddClause(dc); }
protected Frame GetTargetFrame(XrefExpander expander, string id) { OBODoc targetDoc = expander.GetTargetDoc(OWLAPIPreconditions.VerifyNotNull(IdSpace, "idSpace not set yet")); Frame? f = targetDoc.GetTermFrame(id); if (f == null) { f = new Frame { Id = id }; try { targetDoc.AddTermFrame(f); } catch (FrameMergeException e) { // this should be impossible LOGGER.Error("Frame merge exceptions should not be possible", e); } } return(f); }
public override void Expand(XrefExpander expander, Frame sf, string id, string xRef) { Clause c = new Clause(OboFormatTag.TAG_IS_A, xRef); GetTargetFrame(expander, id).AddClause(c); }
public override void Expand(XrefExpander expander, Frame sf, string id, string xRef) { Clause c = new Clause(OboFormatTag.TAG_EQUIVALENT_TO, xRef); sf.AddClause(c); }
public abstract void Expand(XrefExpander expander, Frame sf, string id, string xRef);