dan_fornika

"Clojure for the Brave and True" is free online: https://www.braveclojure.com/clojure-for-the-brave-and-true/

Would it be more appropriate to call 2πi "tau dot"?

I think the various OBOFoundry ontologies are at different stages of maturity. One of their design principles is interoperability, but I'm not sure how often one is able to reason effectively across ontologies unless great care is taken to ensure that logical axioms are sound.

I'm involved in a project[0] that has an aim to provide better data integration by using OBOFoundry ontologies, but it's been a challenge in practice to merge the software with the ontologies in a coherent way.

[0] https://www.irida.ca/data-integration/

There's an interesting clojure library called 'Tawny-OWL'[0] that is designed for building ontologies like this. It allows one to define a set of entities that follow patterns and logical axioms.

[0] https://github.com/phillord/tawny-owl

The OBOFoundry has a set of principles[0] that not all ontologies conform to. An ontology project can register with the OBOFoundry through their GitHub site [1] if they follow the principles.

[0] http://obofoundry.org/principles/fp-001-open.html

[1] https://github.com/OBOFoundry/OBOFoundry.github.io