Group of Persons

[nklsbckmnn]

The current definition of Group of Persons reads:

"A Group of Agents that has only Persons as parts."

I would like to propose to change the definition to the following to allow for subgroups of Groups of Persons (the definition of Organization already works like this):

"A Group of Agents that has only Group of Persons or Persons as parts."

or (even better im my opinion, see discussion in the other issue)

"Object Aggregate that has only Group of Persons or Persons as parts."

What do you think?

[swartik]

@eliasweatherfield You are relying on has-part being a transitive property, right? In the version of CCO that conforms to BFO 2.0, has-continuant-part-at-all-times is transitive, but has-continuant-part-at-some-time is not. How would this affect your definition?

[nklsbckmnn]

@swartik Good question.

This problem arises for all continuants with temporary continuant parts (and also those temporarily located_in some continuant), doesn‘t it? (Including Organization)

There are four interpretations of has_part that I can see:

1. Permanent generic. Part does not need to be the same instance at all times. (Some working on RO seem(ed) to find this useful.)
2. Permanent specific/at all times. Part needs to be the same instance at all times. Transitive.
3. Temporary specific/at some time. Not transitive.
4. Temporary specific/at a specific time (e. g. phase). Transitive. (BFO 2020 temporalized)

What is the interpretation of the has_part relation in CCO? My current understanding is this: The interpretation changes from permanent specific/at all times to temporary specific/at a specific time as soon as there is a Stasis of Part Role. Transitivity always holds.

@swartik What do you think about that solution?

@mark-jensen @rorudn Does this sound about right to you?

[nklsbckmnn]

https://www.youtube.com/watch?v=fkkWkTIxrNQ

Barry's slide at 06:37 classifies at-a-specific-time relations as „hidden“ at-all-times relations.

[alanruttenberg]

Regarding permanent generic: It is not representable as a property in OWL. A permanent generic relation would need to be able to handle the following, where x and y are continuants and R is some relation.

• x R y at t1
• not (x R y) at t2
• x R z at t2
• not(x R z) at t1

But there's no place for the "at t" in OWL. But if we drop the time then the above is inconsistent because you have.

• x R y
• not (x R Y)

In other words, there's no way to have a generic relation because there's no time, which means there's no time that something can be different. (x R y) is necessarily specific.

There is a way to express the permanent generic relation using histories, but it's somewhat involved.

It's interesting that some working on RO seem to find this useful. I'm curious how they can think it is useful given that they can't representing it in their OWL. They must be ascribing the usefulness to something different, perhaps unknowingly.

[nklsbckmnn]

Agreed.

[alanruttenberg]

The BFO relation you want is one of the member part relations rather than part. member part is not transitive. None of the offered definitions actually work:

• "A Group of Agents that has only Persons as parts."
• "A Group of Agents that has only Group of Persons or Persons as parts."
• "Object Aggregate that has only Group of Persons or Persons as parts."

These don't work because they rule out the persons having parts, which they do. They are trying to express something like: For the purpose of representing groups of people, the only parts we are interested in are the person parts.

In some cases you can get around this sort of situation by saying something like: the only parts there are are X things or parts of those X things. The problem with that, in this situation, is that it would allow a group of persons to be just the legs, say, of some set of persons.

The last definition is the closest. Changing "as parts" to "as member parts" or just "members" and adding an axiom
has-member-part-at-some-time only 'group of persons' or 'person'

It also has the advantage of removing the term "agent" from the definition, which is superfluous. if "agent" was a good term then all persons would be agents, and so it adds nothing. I don't think it is a good term but will post another issue at some time with my objections to it.

But I'm also concerned with the disconnect between the common understanding of "group of persons" is something like a set of persons, and a set of persons would only have members that are persons. I think defining organization in this way makes perfect sense, but not this term. So if I had my druthers the definition I'd choose is:

Group of persons: an Object Aggregate that has only has Persons as member parts.
with a restriction has-member-part-at-some-time only 'person'

[alanruttenberg]

On reflection I think using agent, given the current definition in common core, is problematic. It would mean that, say, all the patients in a vegetative state in a hospital do not form a group of persons because they aren't capable of performing intentional acts.

[nklsbckmnn]

Thanks for the helpful reply. I agree on the needed relation as well as on your point regarding the desirability of empirical adequacy of the definition.

[nklsbckmnn]

But I'm also concerned with the disconnect between the common understanding of "group of persons" is something like a set of persons, and a set of persons would only have members that are persons. I think defining organization in this way makes perfect sense, but not this term.

I thought some more about this... is the empirical everyday folk "concept" of a group of persons really incompatible with subgrouping?

Let's assume a group of students in a class room is split into two subgroups by the teacher for an exercise. Would we now stop to refer to the group of students in the class room as a "group of persons"? Or would we want to say that the subgroups are not really part of the original group? To me personally, both options prima facie sound odd.

Is a though experiment like this the best way to empirically constrain our definition?

How about this?

Group of Persons =def. An Object Aggregate that has min 2 Persons as member parts and only has (Group of Persons or Persons) as member parts.

The member part relations are transitive, right?

[alanruttenberg]

The member-part relations are not transitive. That's how they are distinguished from part relations.

[nklsbckmnn]

My bad. I have to rethink then.

[nklsbckmnn]

So this is the definition I currently prefer:

Group of Persons =def. An Object Aggregate that only has (Group of Persons or Persons) as member parts.

[nklsbckmnn]

What is the interpretation of the has_part relation in CCO? My current understanding is this: The interpretation changes from permanent specific/at all times to temporary specific/at a specific time as soon as there is a Stasis of Part Role. Transitivity always holds.

I now believe that the correct temporal interpretation is permanent specific/at all times and that this is not changed by the existence of a Stasis.

[alanruttenberg]

@eliasweatherfield group of persons definition is coherent as long as the implications are understood. I think the label isn't quite right but it's only a label. Because of disjointness of members you can't have a person that's a member of some group that's member that's also a direct member. Any member that is a group of persons means that group of persons is an object, by ramge of the member part relation. Finally member part is time indexed so for bfo-2020 you need to decide at-all-time vs at-some-time.

[nklsbckmnn]

@alanruttenberg Thanks for the very helpful reply.

Any member that is a group of persons means that group of persons is an object, by range of the member part relation.

Object wouldn't work though, would it? I just checked BFO-2020 and RO/CCO. The former specifies "material entity" as range, the latter doesn't specify any range. Am I missing something?

Because of disjointness of members you can't have a person that's a member of some group that's member that's also a direct member.

I saw this in the BFO-2020 definition (but not in the RO/CCO definition). It is definitely a big problem for my use case. Do you have any objections against having a variant of the relation without disjointness?

Finally member part is time indexed so for bfo-2020 you need to decide at-all-time vs at-some-time.

I agree with you that at-some-time is needed here.

[alanruttenberg]

Before I give a technical response: Maybe this matters, maybe not. No one has, as an end goal, to have a (poly)hierarchy. They want a (poly)hierarchy that means something. If you can say, what does your hierarchy mean? What's the relationship (in the real world) between child and parent? What problem does it solve?

Same goes for an ontology, FWIW. An ontology isn't (shouldn't be) an end goal. It's a tool towards accomplishing an end goal.

I ask this because it's not infrequent that knowing more about what's meaningful suggests a more natural, equally effective, approach.

[nklsbckmnn]

@alanruttenberg You're right of course. I'm open for any suggestions.

So what I am trying to do is this. I have social (legal) roles. The realization of some of the lower roles is supposed to count as the realization of some of the upper roles. E. g. an act 1a performer role and an act 1b performer role (fundamental level 1) can both realize an act 1 performer role (level 2). I use a version of the mod-part_of relation (suggested here: http://ceur-ws.org/Vol-2050/FOUST_paper_10.pdf) to represent this:

act 1a performer role mod-part_of act 1 performer role
act 1b performer role mod-part_of act 1 performer role

act 1a performer role and act 1b performer role are not exhaustive mod-parts of the act 1 performer role in the sense that the act 1 performer role can be realized in ways additional to the ways the two mod-parts can be realized. act 1a performer role and act 1b performer role do not necessarily need to be part of any act 1 performer role, they can exists separately.

All roles need to realize a top role (level 4):

act 1a performer role mod_part_of general capability to perform an act bearer role
act 1b performer role mod-part_of general capability to perform an act bearer role
act 1 performer role mod-part_of general capability to perform an act bearer role

One of the roles on level 1 might also realize a role on an intermediate level 3:

act 1b performer role mod-part_of special capability to perform an act bearer role
special capability to perform an act bearer role mod-part_of general capability to perform an act bearer role

Graph

A role should only be able to have a role as mod-part that is lower in level than itself.

To be a little more concrete: The general capability to perform an act bearer role could be the legal person role that inheres in an entity in virtue of it legally being regarded as a legal person (and is realized in all existent processes that the entity can participate in because of this status).

[alanruttenberg]

OK. Where does the object aggregate come into this?

BTW, is the ELK graph supposed to scroll? The diagram is cut off at the right and I don't see how to get the rest of it other than shrinking it, in which case it gets too small.

[nklsbckmnn]

OK. Where does the object aggregate come into this?

Sorry, I have two separate use cases: Groups of Persons and the one with the roles.

BTW, is the ELK graph supposed to scroll? The diagram is cut off at the right and I don't see how to get the rest of it other than shrinking it, in which case it gets too small.

It does not scroll for me, but I can drag it.

[nklsbckmnn]

Regarding Group of Persons I need to represent organizations and bodies within organizations that can have overlapping members.

[alanruttenberg]

OK. I've reached out to Barry to ask about this issue. I've made a couple of suggestions on how we could deal with it but haven't heard back. One of the ideas is to have a different relationship between organizations and member organizations.
I'll report back.

Is there are connection between the role stuff and the group of persons issue?

[nklsbckmnn]

Thanks. The connection is that I use member part without disjointness to deal with both cases.

[alanruttenberg]

Sorry to be a bit dense. You aren't using member-part-of for the roles, right? Is it that you are defining organizations in terms of them?

[nklsbckmnn]

You aren't using member-part-of for the roles, right?

I am. I'm using member-mod-part_of as a non-transitive version of mod-part_of to ensure the mereological hierarchy between the levels e. g. level 2 roles can only have level 1 roles as member mode parts (level 1 roles themselves might have mode parts I don't know about and that I don't want to disallow).

[alanruttenberg]

Object aggregate and member-part-of are definitely not appropriate for the roles. Recall the discussion of the domain/range of member-part-of with domain and range being material entity and that being too loose ?

Roles are not material entities. I see the CCO has-member doesn't have a set domain and range. The BFO relations do. I expect that will be fixed as CCO moves towards BFO-2020 compatibility.

So, for roles you will need to define an intransitive part relation. Regarding groups, I still waiting to hear back.

[nklsbckmnn]

Object aggregate and member-part-of are definitely not appropriate for the roles. Recall the discussion of the domain/range of member-part-of with domain and range being material entity and that being too loose ?

Roles are not material entities. I see the CCO has-member doesn't have a set domain and range. The BFO relations do. I expect that will be fixed as CCO moves towards BFO-2020 compatibility.

So, for roles you will need to define an intransitive part relation. Regarding groups, I still waiting to hear back.

Sorry, I should have been a lot more explicit. I am aware that BFO-2020:member-part-of cannot be adapted for my role use case. My member-mod-part-of relation is not a subrelation of member-part-of, but of mod-part-of which in turn is a subrelation of part-of. The reason I presented the role case was that this is another case where I have the problems of multiple parents, overlapping parents, overlapping children, and levels (some or all of which might possibly be avoided somehow?) and where I also use an intransitive part-of relation.

[alanruttenberg]

Got it, thanks. Will ponder.

[nklsbckmnn]

Thanks. Sorry for the confusion.

[nklsbckmnn]

So how about this:

(1) x has member part y (subrelation of has part, intransitive, not assuming exhaustivness or disjointness of parts)
(2) x has collection part y =def. x has collection part y iff x has proper part y and y is some collection (subrelation of has proper part, transitive, collection here not referring to any class)
(3) x has collection member part y (subrelation of (2), intransitive, again not assuming exhaustivness or disjointness of parts)
(4) x has indirect member part y =def. x has indirect member part y iff x has collection part some collection z and z has member part y (chain)
Optional: (5) SWRL/SPARQL: x has indirect member part y -> x has proper member part y

asserted triples:

(A) collection1 has member part member1
(B) collection1 has collection member part collection2
(C) collection2 has member part member2
(D) collection2 has collection member part collection3
(E) collection3 has member part member3

inferrable triples:

(F) collection1 has collection part collection2 (B, 3 subrelation of 2)
(G) collection2 has collection part collection3 (D, 3 subrelation of 2)
(H) collection1 has collection part collection3 (F, G, transitivity of 2)

(I) collection1 has proper part collection2 (F, 2 subrelation of has proper part)
(J) collection2 has proper part collection3 (G, 2 subrelation of has proper part)
(K) collection1 has proper part collection3 (H, 2 subrelation of has proper part or I, J, transitivity of proper part)

(L) collection1 has indirect member part member2 (F, C, 4 chain)
(M) collection2 has indirect member part member3 (G, E, 4 chain)
(N) collection1 has indirect member part member3 (H, E, 4 chain)

(O) collection1 has member part member2 (L, 5)
(P) collection2 has member part member3 (M, 5)
(Q) collection1 has member part member3 (N, 5)

Applied to Group of Persons: (without using 5)

Group of Persons =def. Object Aggregate that (a) only has Persons as member parts or indirect member parts and that (b) only has Group of Persons as collection member parts.

P. S. I guess member parts are always proper.

P. P. S. The case does not seem to present a problem for disjointness or exhaustiveness of member parts. But I guess this additional assertion could (I'm not sure): collection3 has member part member1

[nklsbckmnn]

Edited for readability. Sorry about the previous version.