The clause "if c migrates from bearer d to another bearer e than [sic!] a copy of b will be created in e" rules out the possibility of any generically dependent continuants that can migrate from one IC to another, but can only inhere in one IC at a time. The word ‘copy’ is too specific to concretizations of ICEs. But there are other GDCs that are not ICEs.
Claims and obligations are GDCs (they are obviously depending on a bearer, but they can migrate) that are concretized as roles (a subtype of specifically dependent continuant, which is allowed here). If transfer ownership of my car to another person, I do not copy that role where the copy now inheres in the other person. Rather, my role is destroyed and a new ownership role is created that inheres in the other person.
So ownership can only be concretized in one role at a time. There are no copies.
Barry already put in a change in the sentence "Generically dependent continuants, in contrast, can in a sense migrate, for example [previously "namely", MB] through the process of exact copying which allows..."
From MBrochhausen@gmail.com on February 08, 2013 16:15:01
The clause "if c migrates from bearer d to another bearer e than [sic!] a copy of b will be created in e" rules out the possibility of any generically dependent continuants that can migrate from one IC to another, but can only inhere in one IC at a time. The word ‘copy’ is too specific to concretizations of ICEs. But there are other GDCs that are not ICEs.
Claims and obligations are GDCs (they are obviously depending on a bearer, but they can migrate) that are concretized as roles (a subtype of specifically dependent continuant, which is allowed here). If transfer ownership of my car to another person, I do not copy that role where the copy now inheres in the other person. Rather, my role is destroyed and a new ownership role is created that inheres in the other person.
So ownership can only be concretized in one role at a time. There are no copies.
Barry already put in a change in the sentence "Generically dependent continuants, in contrast, can in a sense migrate, for example [previously "namely", MB] through the process of exact copying which allows..."
Original issue: http://code.google.com/p/bfo/issues/detail?id=152