KAVA-Time: Knowledge-Assisted Visual Analytics Methods for Time-Oriented Data