Abstraction of Agents Executing Online and their Abilities in the Situation Calculus