Logical Foundations of Linked Data Anonymisation