Rule Technologies: Foundations Tools and Applications