N3logic: A logical framework for the world wide web

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Berners-Lee, T. en
dc.contributor.author Connolly, D. en
dc.contributor.author Kagal, I. en
dc.contributor.author Scharf, Y. en
dc.contributor.author Hendler, J. en
dc.date.accessioned 2012-08-14T13:09:01Z
dc.date.available 2012-08-14T13:09:01Z
dc.date.issued 2008-05
dc.identifier.citation Berners-Lee, T., Connolly, D., Kagal, l., Scharf, Y. and Hendler, J. (2008) N3logic: A logical framework for the world wide web. Theory and Practice of Logic Programming, 8, (3), pp. 249-269 en
dc.identifier.issn 1471-0684
dc.identifier.uri http://hdl.handle.net/2086/6829
dc.description.abstract The Semantic Web drives towards the use of the Web for interacting with logically interconnected data. Through knowledge models such as Resource Description Framework (RDF), the Semantic Web provides a unifying representation of richly structured data. Adding logic to the Web implies the use of rules to make inferences, choose courses of action, and answer questions. This logic must be powerful enough to describe complex properties of objects but not so powerful that agents can be tricked by being asked to consider a paradox. The Web has several characteristics that can lead to problems when existing logics are used, in particular, the inconsistencies that inevitably arise due to the openness of the Web, where anyone can assert anything. N3Logic is a logic that allows rules to be expressed in a Web environment. It extends RDF with syntax for nested graphs and quantified variables and with predicates for implication and accessing resources on the Web, and functions including cryptographic, string, math. The main goal of N3Logic is to be a minimal extension to the RDF data model such that the same language can be used for logic and data. In this paper, we describe N3Logic and illustrate through examples why it is an appropriate logic for the Web. en
dc.language.iso en en
dc.publisher Cambridge University Press en
dc.subject logic en
dc.subject web en
dc.subject Semantic Web en
dc.subject scoped negation en
dc.subject quoting en
dc.subject RDF en
dc.subject N3 en
dc.title N3logic: A logical framework for the world wide web en
dc.type Article en
dc.identifier.doi http://dx.doi.org/10.1017/S1471068407003213
dc.researchgroup Software Technology Research Laboratory (STRL) en
dc.peerreviewed Yes en


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record