A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints