ontoneo-project/Ontoneo

'human parturition procedure': subclass does not categorically match axiom

Opened this issue · 2 comments

'human parturition procedure' is the superclass of 'caesearean section' (implying that they are both processes), but 'human parturition procedure' is given the axiom:

realizes some (concretizes some
('caesarean section' or 'human parturition'))

which implies 'caesarean section' is a plan specification.

@johnwjudkins Thanks for letting me know.

This was a misunderstanding. In fact, such an axiom should be:

'obstetric procedure'
and (realizes some (concretizes some
('caesarean section plan' or 'human parturition plan')))

Are you agree with this? Let me know, please.

Then, I'm updating Ontoneo to change this axiom and create two new entities ('caesarean section plan' or 'human parturition plan') as subclass of "plan specification".

Do you need this update soon, urgent? I'm planning to provide a new version of Ontoneo in the next 15-20 days. Can you wait for that?

Thanks. I think the changes you suggested are fine, and I can wait 20 days for the next release.