Ontologies in Isabelle/HOL? logicalhacking.com: blog, 26 Jul 2018 Posted on 26 July 2018 by Achim D. Brucker, licensed under CC BY-ND 4.0. test