Semantic lifting and reasoning on the personalised activity big data repository for healthcare research. (3rd October 2019)