OBO-Edit:Link Pile Reasoner

From GO Wiki
Revision as of 10:04, 2 December 2008 by Cjm (talk | contribs) (New page: OBO-Edit:Link Pile Reasoner (LPR). Rules: * Transitivity * Propagation over/under is_a * Intersection_of * Subrelations * transitive_over and arbitrary [[Relation_compositio...)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

OBO-Edit:Link Pile Reasoner (LPR).

Rules:

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)

Succeeded by: