gdc as participant inconsistent with has participant subproperty of s-depends on
Closed this issue · 5 comments
From alanruttenberg@gmail.com on August 08, 2012 23:17:05
From Snezana Nikolic
See report at: https://groups.google.com/forum/#!topic/bfo-owl-devel/4xhYYD4rT_4%5B1-25%5D
Original issue: http://code.google.com/p/bfo/issues/detail?id=119
From alanruttenberg@gmail.com on August 13, 2012 21:54:50
For the moment we will drop the subproperty relations between has participant and has has s-dependent. Later we will add back an axiom that says that participation of independent continuants implies s-dependence of the process on those independent continuants.
Status: Accepted
Owner: alanruttenberg@gmail.com
From zhengj2...@gmail.com on August 15, 2012 11:22:57
Sorry. Found this issue after create a new same issue #123 .
When drop the subproperty relations between has participant and has has s-dependent will happen? Thanks!
From alanruttenberg@gmail.com on September 07, 2012 12:36:50
Issue 123 has been merged into this issue.
From mcour...@gmail.com on November 07, 2012 09:15:39
Any chance we could address this rather soon? Removing the subproperty relation is quick, low impact fix. It prevents IAO to switch, and as a consequence projects which import IAO are stuck as well.
Labels: Priority-Critical
From zhengj2...@gmail.com on November 27, 2012 13:28:17
Drop the subproperty relations between has participant and has s-dependent and their inverse properties including:
has participant at some time
has participant at all times
participates in at some time
participates in at all times
The reasoning inconsistency shown in IAO-BFO2 version was fixed with this change.
The bfo purl will redirect to this new version if no objection in a week.