OBO-Edit:Link Pile Reasoner
OBO-Edit:Link Pile Reasoner (LPR).
- Propagation over/under is_a
- transitive_over and arbitrary Relation_composition
- Relation intersections
BUGS: there are certain edge cases involving sub-relations and transitivity that do not work. This bug was discovered after John left. The code is difficult to maintain so this reasoner will eventually be abandoned in favour of the RBR (Developer notes: this appears to be due to the fact that sub-relations are computed on the fly rather than cached)