NR: add simple subproperty of has participant

[wdduncan]

In ENVO, a number of axioms use a cardinality restriction with has participant. But, this violated the DL profile b/c has participantis a non-simple property. For background, see ENVO tickets 1072 and 1182.

One way to address this issue is the create a "fake" simple OP that is a subproperty of has participant in a manner similar to the has component OP.

Not sure what label should be. Some suggestions:

• has simple participant
• has direct participant
• has immediate participant

cc @cmungall @pbuttigieg @matentzn @balhoff

[cmungall]

Thanks @wdduncan. The precedent is to add these, we have the analogs for process part of process and continuant part of continuant, so let's go ahead and add, despite the many problems with these OPs.

An interesting aside: I think this is a rare case of an OP where it makes no sense to name an inverse

[wdduncan]

@cmungall Ok. I'll make a PR.

Any preference for the label?

Another suggestion - has component participant ... follows the "component" naming convention.

[cmungall]

I guess 'has component participant' is best

[balhoff]

Have you tried using has primary input or output or even has primary input? I think it depends how loosely you interpret "the goal of process is to modify, consume, or transform c."

[wdduncan]

Nice suggestion @balhoff !!!
I wasn't aware of those properties.

I'll update the envo ticket, and hold of on doing a PR for now.