> http://phenoscape.org/wiki/OBD_Reasoner
Very impressive docs!
Looking at this:
https://www.phenoscape.org/wiki/OBD_Reasoner#Relation_Chains
Yes, you are absolutely correct, there is a hardcoded relation chain
in there (inheres_in . part_of --> inheres_in_part_of) - but this will
go soon.
At the moment you can also pass in arbitrary horn rules by (a) writing
a view and (b) passing this in on the command line using the --view
option. Relation chains are a subset of horn rules.
This isn't the easiest way of doing this, so at some point I will
allow for both:
- directly using the relation chain as encoded in the obo or owl file
- a friendlier way of passing in more complex rules directly from the
ontology
I can easily up the priority of this if you folks would find it useful.