-
Hans-Ulrich Krieger (HUK) authored
new TupleStore, RuleStore and ForwardChainer files (subjectPosition, predicatePosition, objectPosition instance fields; new constructors) & extended polarity+transaction time axiomatic tuples and entailment rule files
0c150892