Title: Relational Calculus for Actionable Knowledge