search

zhengj2007 / bfo-export

Automatically exported from code.google.com/p/bfo
0 stars 0 forks source link

has-participant subProperty of s-depends? #110

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
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 reported on code.google.com by alanruttenberg@gmail.com on 14 Jul 2012 at 6:05

GoogleCodeExporter commented 9 years ago 
Barry concurs. 
I am mixed, disliking the idea, but wanting to expose everything so that we can 
all peer at it.

Original comment by alanruttenberg@gmail.com on 19 Jul 2012 at 2:06

GoogleCodeExporter commented 9 years ago 
Asserted in the OWL file - needs to be made an axiom in the reference.

Original comment by alanruttenberg@gmail.com on 24 Jul 2012 at 8:15