Add unique class assumption feature to detect unintended equivalencies

Liebe Kollegen,

ich habe folgenden, mMn sehr interessanten + relevanten, feature request:

• generic (automatically specified) category test cases
  • e.g. all class equivalences (that state equivalences between named classes) are negative TCs
    • see Chris Mungall's Debugging Blog Part 2
    • enable the generic definition of a “negative category TC”, e.g. as
      • X EquivalentTo Y where X,Y named classes in onto
    • dont explicitly show all these single TCs in the Saved TCs window (at least not by default, maybe expandable), but just a "category TC" with adaptable textual description XYZ (e.g. “no equivalences between named classes”) selectable by user
    • if category TC is satisfied, show XYZ in green; if violated, show XYZ in red and enable user to expand view to see violated single TCs that are part of the category TC
    • enable to specify category TC with certain exceptions/special cases
      • e.g. include only inferred equivalences (hypothesis = all stated ones are wanted, all non-stated and inferred ones are unwanted)

Insbes. wäre es interessant, dieses Feature (evtl. auch nur prototypisch, z.B. für oben geschilderten Fall mit den Equivalences) zu realisieren, bevor wir den Blog Entry verfassen. Denn: Chris Mungall beschreibt in seinem Blog-Part2 exakt diesen Fall und dass dieser immer wieder bei deren biological ontos auftritt. Zudem beschreibt er einen recht mühsamen Workaround, um das Ganze ohne negative TCs aufzulösen.

Das wäre eine super Chance, um den Leuten in der Domäne zu zeigen, dass unser Tool für sie wirklich einen Mehrwert bedeutet!!

LG Patrick