I think this should be defined by an equivalence class. The current axiom isn't quite right. For instance, if you have a square computer, that would satisfy the axioms for IQE, since square is a shape quality* and it inheres in a IBE.
The definition should be, IMO =def quality and concretizes some Information Content Entity
You can leave the current axiom as well, since it is still true.
The benefit of making it a defined class (i.e defined by equivalentClass) is that you might not want to subclass it directly since doing that might lead to multiple asserted superclasses, if there's a difference way that the particular IQA is classified in the ontology.
There's a time element to this. Whether something is an IQA can be time dependent. The example I've used is a swimming noodle shaped into a logo. While it's that shape its an IQA, but when the shape changes - it goes straight - it stops being an IQE.
I think this should be defined by an equivalence class. The current axiom isn't quite right. For instance, if you have a square computer, that would satisfy the axioms for IQE, since square is a shape quality* and it inheres in a IBE.
The definition should be, IMO =def quality and concretizes some Information Content Entity
You can leave the current axiom as well, since it is still true.
The benefit of making it a defined class (i.e defined by equivalentClass) is that you might not want to subclass it directly since doing that might lead to multiple asserted superclasses, if there's a difference way that the particular IQA is classified in the ontology.
There's a time element to this. Whether something is an IQA can be time dependent. The example I've used is a swimming noodle shaped into a logo. While it's that shape its an IQA, but when the shape changes - it goes straight - it stops being an IQE.