Requesting Clarification on the BFO Participation Relation

14 views
Skip to first unread message

Anthony Petosa

unread,
Mar 8, 2022, 4:21:12 PM3/8/22
to BFO Discuss
"Building Ontologies with Basic Formal Ontology" (Arp, Robert; Smith, Barry; Spear, Andrew D., The MIT Press, 2015) offers the following on BFO participation.

Participation: The relation between a material entity and a process that obtains in virtue of the fact that the former participates in the latter. (p.182)

The relation has_participant holds between a process and a continuant entity when the latter participates in or is involved in the former. (p.142)

Latest BFO 2020 OWL file:

has_participant_at_some_time
p has participant c at some time = (Def.) for some time t (p is a process, c is a continuant, and c participates in some way at t)
Domain: 'Specifically Dependent Continuant' or 'Generically Dependent Continuant' or ('Independent Continuant' and (not('Spatial Region')))

Can we assume the p.182 excerpt has a typographical error, where material entity should be replaced with continuant?

Thank you for your feedback.
Reply all
Reply to author
Forward
0 new messages