Hi Hilmar,
I agree with this, but this must surely be a generic issue within the whole OBO/organismal annotation world - often a phenotype must be recorded for c, which is part_of c', without having considered every instance of C.
In the EQ model, the phenotype is recorded as some quality Q that inheres in some entity E. E may be a composition (OWL intersection), for example E that is part_of some E' (e.g., the process that is part_of the urohyal bone): some quality Q that inheres in some (E and part_of some E'). There is no need to consider every E: the statement asserts that there is some instance of E that is also part_of some instance of E' and in which some instance of Q inheres.
Could you suggest how to specify in RDF, using EQ terms, how I'd say ``the subset that represents a majority of instances of all fruits that are part_of Individual X'' I'm having trouble with this one! Thanks.
Cam