AsTeRICS model including implemented Reasoner

Summary
AsTeRICS model including implemented reasoner used for user tracking.