search

BFO-ontology / BFO

BFO repository including source code and latest documents
Creative Commons Attribution 4.0 International
257 stars 44 forks source link

Issues with Generic Dependence in BFO 2.0 #220

Open msinclair2 opened 6 years ago

msinclair2 commented 6 years ago

I have noticed some peculiarities with the way generic dependence is implemented in the BFO 2.0 specification that I would just like to note here.

On p. 25 of the BFO specification it says that generically dependent continuants are part of the domain of s-depends_on, which doesn't seem correct to me:

The entities that s-depends_on something include
specifically and generically dependent continuants, which s-depends_on in every case on one or
more independent continuants which are their bearers, and which may in addition stand in s-depends_on
relations among themselves;

There is also no equivalent, for g-depends_on, to the "inerehes_in" and "bearer_of" sub-relations of s-depends_on that exclude spatial regions from the range (3.7.1 in the spec). I have encountered a use case (@balhoff) where a generic analog to "bearer_of" (e.g. "generic_bearer_of"?) would be useful.

Thanks.

phismith commented 6 years ago

These issues have been addressed in the recent work on updating BFO for the purposes of validating BFO as an ISO standard. More details will be released soon.