search

aszool / oarcs

Ontology of Arthropod Circulatory Systems
Other
1 stars 2 forks source link

Incorrect use of existential axioms #2

Open cmungall opened 8 years ago

cmungall commented 8 years ago

ostium is a subclass of:

part_of some 'cercus heart'
part_of some 'leg heart'
part_of some 'tubular heart'
part_of some 'wing heart'
part_of some heart

this means that given an instance i, if i is an instance of an ostium, then i is in all of these places, which is spatially impossible.

The standard way to do this in a logically coherent way is to make new classes:

teleaslamellatus commented 8 years ago

I think ostia are part of all hearts so we don't even need the first four subclasses, part_of some heart might be enough.

cwirkner commented 8 years ago

We agree with 'teleaslamellatus' but it needs to be part_of some pulsatile organ