An abstract reasoning architecture for privacy policies monitoring