Structural Tautologies do not seem to be correctly added

[cogan-shimizu]

When using the Edge Inspector view on a valid edge:

• Check Structural Tautology
• Uncheck Scoped Range, Scoped Domain

The edge disappears from the graphical view.
This should not be the case. In fact, it looks like the code is somehow not working.
Relevant code is here:

CoModIDE/src/main/java/com/comodide/axiomatization/OWLAxAxiomFactory.java

Line 148 in 29c34c7

else if (axiomType == OWLAxAxiomType.STRUCTURAL_TAUTOLOGY)

As well as in the edge inspector view.

[JonIsPatented]

Update: The issue appears to be with Global Domain and Global Range, not Structural Tautology.

Check and then uncheck either Global Domain or Global Range. Then, doing any of the following causes the edge to disappear:

1. Toggling the other Global property on
2. Toggling off one of the two Scoped properties
3. Toggling on Existential
4. Toggling on Functional Role, Qualified Functional Role, or Scoped Functional Role
5. Toggling on and then off any "Inverse" property and then toggling the Global one back on
6. Toggling on Structural Tautology