Create GCIs for classes that have cardinality restrictions

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

Create GCIs for classes that have cardinality restrictions #21

Open ramonawalls opened 9 years ago

ramonawalls commented 9 years ago

We have classes like collection of organisms, which is defined as: 'object aggregate' and ('has member' only 'organism or virus or viroid') and ('has member' min 2 'organism or virus or viroid')

This cannot be reasoned over in EL.

See https://github.com/pato-ontology/pato/blob/master/src/ontology/pato_ext_notes.md