Equivalence axioms in 2.0

[delenius]

In BFO 1.1, OWL version, we had things like

entity equivalent to continuant or occurrent

and so on, all the way down. I.e. each class was the disjoint partition of its subclasses.
For BFO 2.0, does this still hold, and if so, are these available in an OWL file somewhere?
The closest thing I found was

https://github.com/information-artifact-ontology/IAO/blob/master/releases/2017-01-06/ro/bfo-axioms.owl

but this only has the disjointness axioms, not the equivalence ones.

[zhengj2007]

Current BFO 2.0 is class-only and no relations. The equivalence axioms removed since there are no available relations to use. Need to be fixed in the future.

[delenius]

The example above does not use relations.

[zhengj2007]

I think the logical axioms you mentioned should still hold true since there no changes in BFO 2.0 specification document although BFO OWL file excludes relations. The axioms are very likely lost due to OWL file generation using script.

Should add back in next release.