search

zhengj2007 / bfo-trunk

0 stars 0 forks source link

has-participant subProperty of s-depends? #109

Open zhengj2007 opened 9 years ago

zhengj2007 commented 9 years ago

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 9 years ago

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 9 years ago

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.