search

BFO-ontology / BFO-2020

A repository for BFO 2020 artifacts specified in ISO 21838-2:2020
68 stars 27 forks source link

Range of exists at #63

Closed johnbeve closed 8 months ago

johnbeve commented 1 year ago

The textual definition indicates the range of 'exists at' should be 'temporal region' but there is currently no range constraint.

Was this overlooked (in which case I can open a PR to fix) or was this by design?

alanruttenberg commented 1 year ago

Not intention, just didn't have a heuristic at the time that generated that. We need a mechanism for contributed axioms, since the main files are generated. At a new release I would incorporated thus-far submitted axioms as part of the release process.

johnbeve commented 8 months ago

Updated in merge: https://github.com/BFO-ontology/BFO-2020/pull/73