How to Reason by HeaRT in a Semantic Knowledge-Based Wiki