Pourabdollah, Amir, Brailsford, Tim, "On the Turing Completeness of the Semantic Web", Theory of Computing Systems, 2014