Formalization and implementation of BFO 2 with a focus on the OWL implementation With an introduction to some of the underlying technologies Alan Ruttenberg,
Formalization and implementation of BFO 2 with a focus on the OWL implementation