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