has-participant subProperty of s-depends?
Opened this issue · 2 comments
zhengj2007 commented
From alanruttenberg@gmail.com on July 14, 2012 14:05:18
The reference says: "s-dependence obtains between every process and its participants".
This sounds like a sub property axiom, but is not marked as such in the reference.
Original issue: http://code.google.com/p/bfo/issues/detail?id=110
zhengj2007 commented
From alanruttenberg@gmail.com on July 18, 2012 19:06:47
Barry concurs.
I am mixed, disliking the idea, but wanting to expose everything so that we can all peer at it.
Status: Started
zhengj2007 commented
From alanruttenberg@gmail.com on July 24, 2012 13:15:53
Asserted in the OWL file - needs to be made an axiom in the reference.