Computational Metaphysics is the use of automated reasoning systems to illuminate axiomatic metaphysics.