Alan Ruttenberg

See commit 62640d3 The bug is in the macro that generates the dissective axioms. Occurs in 4 axioms across CL, repeated in P9, PDFs. Fixed in source - will close...

see https://github.com/BFO-ontology/BFO-2020/pull/67#issuecomment-1673525684

Bug in [cop-1] and [nui-1]

2

Would allow a model ```code p1 i1 p2 |-------------| | p3 ``` if p1 and p2 (first and last instant) were not part of i1. Fixed by allowing possibility that...

Add an axiom to this effect, per discussion with Barry Smith

e.g. [bfo:evu-1] vs [evu-1] Add a comment to the ontology defining the bfo: prefix.

Identity criteria for temporal parts of processes?

3

In https://github.com/CommonCoreOntology/CommonCoreOntologies/issues/112#issuecomment-795868945 I mention that I think that the following make sense. I don't remember if there's already an axiom to that effect or whether it is entailed, so this...

material basis can't be an immaterial entity, though an immaterial entity bear a disposition.

1

I'm not sure what to do about this. The example given is a hole in a piece of wood that has a disposition to break 'because' of the hole. The...

Domain and range of member part of at all/some time/s aren't specific enough

3

They are currently both material entity. It should be that member part of should have domain object and range object aggregate. Thanks to [email protected] for the questions that surfaced this.

Spec says: b occurs in c =Def. b is a process or a process boundary and c is a material entity or immaterial entity & there exists a spatiotemporal region...

Suggests (at least) going through known theorems and check if any are such, and then manually add those to the OWL. See [discussion](https://groups.google.com/g/bfo-discuss/c/LbIpezRTVG8/m/VyvLLfdlAAAJ) that prompted this realization. In that discussion...