Ontology meeting 2015-04-23
Please, Please, Please could we propagate from EC to subclass axioms on public release
We still need to redundantly repeat everything we say in Equivalent Class axioms in subclassing axioms in order to get things to appear in GO releases. While editing in Protege, it is almost inevitable that these are missed some times. This is a waste of everyone's time. e.g. see" https://sourceforge.net/p/geneontology/ontology-requests/11646/
If we need to keep some types of relationships out of the release file, can we please control this via a filtering mechanism at release. Relying on editors to police this via what goes in subclassing axioms is incompatible with sensible use of logic for autoclassification (sometimes subclassing axioms are needed for classification, but equivalent class axioms would be wrong).