Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge