R-CoRe: A Rule-based Contextual Reasoning Platform for AmI ⋆