Semantic Reasoning and Verification for Ambient Assisted Living: Invited Presentation at the 2nd French Singaporean Workshop on Formal Methods and Applications