OBO-Edit:Forward Chaining Reasoner
Jump to navigation
Jump to 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: