Syntactic sugar for creating triples
Added button to run entailment rules
Optimized build