You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
extensions/go_bridge.owl contains BFO classes. We need a standard BFO import file pulling relevant classes and axioms (APs, disjointness) using these classes a seed.
The text was updated successfully, but these errors were encountered:
Now we have Arachne running in Noctua, this is causing distracting high level inferences to show up in Noctua as well as in inferences. Would be good to get this fixed before Corvallis meeting.
includes the submodule of BFO that lives inside RO.
This appears to work and satisfy #12946 but overall, import module
constructing is more fragile than we would like
extensions/go_bridge.owl contains BFO classes. We need a standard BFO import file pulling relevant classes and axioms (APs, disjointness) using these classes a seed.
The text was updated successfully, but these errors were encountered: