Situation Calculus and Event Calculus examples demonstrating the use of Semantic Profiles for the axiomantized semantics of these logical calculi.