search

CommonCoreOntology / CommonCoreOntologies

The Common Core Ontology Repository holds the current released version of the Common Core Ontology suite.
BSD 3-Clause "New" or "Revised" License
175 stars 51 forks source link

'has process part' in BFO 2020 #152

Closed ameliakahn closed 1 month ago

ameliakahn commented 2 years ago

'has process part' may be redundant in BFO 2020. BFO 2020 includes 'has occurent part', which is not coextential with 'has process part', but covers most of the same cases. 'has occurrent part' is more general than 'has process part' in that it can have any occurrents as relata, not only processes.

The primary role that 'has process part' plays seems to be specifying the a process' process profiles. 'has occurrent part' is more general than 'has process part', and can have temporal regions or spatiotemporal regions as relata. If 'has process part' were deprecated, we would need to make sure that only processes, not other occurrents, have process profiles as parts. We could do this pretty straightforwardly by making Process Profile SubclassOf 'occurent part of' some Process.

Another option is to model process profiles differently, without 'has process part'. The BFO 2020 Reference Document (though not its releases) includes a 'process profile of' object property, which could be used to connect processes to their process profiles.

jonathanvajda commented 1 year ago

I don't think it is redundant if there is an important use case for has-process-part as a subclass of has-occurrent-part. Absent that, it seems like it could be deprecated

As for the stuff on 'process profile', this class is deprecated in BFO ISO

johnbeve commented 7 months ago

@ameliakahn @jonathanvajda What exactly is the issue being raised here?

neilotte commented 1 month ago

Closing this issue.