OBO-Edit:Forward Chaining Reasoner

From GO Wiki
Jump to: navigation, search

John wrote this first in OE1, and then abandoned it. Can still be used for so-xp, and is suitable for certain purposes such as finding trivial redundancies by transitivity, but not recommended in general.

Largely superseded by: