PROACTIVE is a intelligent reasoning framework enabling the prediction and response to terroristic actions in an urban environment