OBO-Edit:Link Pile Reasoner

From GO Wiki
Revision as of 14: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 Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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: