PopulationAndCommunityOntology / pco

An ontology about groups of interacting organisms such as populations and communities
Creative Commons Zero v1.0 Universal
16 stars 4 forks source link

incorrect logical def for single-species collection of organisms #102

Open cmungall opened 3 years ago

cmungall commented 3 years ago

A material entity that has as parts two or more organisms, viruses, or viroids of the same species and no members of any other species.

EquivalentTo 'collection of organisms' and ('has member' min 2 'organism or virus or viroid')

The text and logical defs don't match, which is a bad sign. See https://douroucouli.wordpress.com/2019/07/08/ontotip-write-simple-concise-clear-operational-textual-definitions/

In this case the text has a crucial clause missing from the logical - all members must be the same species. You can't express this in OWL without putting species in the domain of discourse.

This leads to the following presumably unintended inference:

image

image

I recommend using robot plus hermit with the option to fail on new entailed equivalence between named classes