Define and implement deductive inference rules #23
Description
Looks like we have inverseOf (#21)
What about
- owl:symmetric
- owl:transitive
- subClassOf-someValues chains
In particular, queries for phenotypes of Xeroderma Pigmentosa should return phenotypes annotated to subclass descendants of XD
(I can provide full proof later, using owlstar, but for now doing the standard closure trick implemented in monarch and elsewhere is good)