Looking through NOMEN I saw a few cases where a class 'foo' is SubClassOf (not 'bar'). I think it would be more typical to instead just say 'foo' DisjointWith 'bar'. Besides being more common, this construct has meaning in OWL EL, while the negations do not.
Looking through NOMEN I saw a few cases where a class 'foo' is SubClassOf (not 'bar'). I think it would be more typical to instead just say 'foo' DisjointWith 'bar'. Besides being more common, this construct has meaning in OWL EL, while the negations do not.
Example: ICZN Based on Fossil Genus Formula http://purl.obolibrary.org/obo/NOMEN_0000206
I think negations are more useful when they are employed in EquivalentClass axioms.