HealthyLife: An Activity Recognition System with Smartphone Using Logic-Based Stream Reasoning Conference Paper uri icon