On the Turing completeness of the semantic web

DOI10.1007/S00224-014-9536-XMaRDI QIDQ2345982zbMATHOpenAlexFDO

Authors Amir Pourabdollah, Tim Brailsford

Publication date 29 May 2015

Published in Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL http://irep.ntu.ac.uk/id/eprint/33088/1/PubSub10619_Pourabdollah.pdf

zbMATH Keywords

relationsRDFsemantic webhypertext

Mathematics Subject Classification ID

Internet topics (68M11)

Recommendations

• A semantic approach for web reasoning
• The semantic web
• scientific article; zbMATH DE number 2088349
• scientific article; zbMATH DE number 2088339
• Well-founded semantics for description logic programs in the semantic web

Cites work

• A relational approach to the design of deterministic programs
• On the Expressiveness of Links in Hypertext Systems
• Queries and computation on the web

Cited in

(2)

• The navigational power of web browsers
• Algorithmic statistics: normal objects and universal models

Describes a project that uses

Uses Software

• Turtle

This page was built for publication: On the Turing completeness of the semantic web

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2345982)