Open cmungall opened 2 weeks ago
These were all converted from existing subClassOf axioms, thus ensuring consistency. (note of course that these subClassOf axioms come back in the release version through reasoning).
See also #1416
These were all converted from existing subClassOf axioms, thus ensuring consistency. (note of course that these subClassOf axioms come back in the release version through reasoning).
See also #1416