{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,26]],"date-time":"2026-10-26T14:53:19Z","timestamp":1793026399371,"version":"4.5.0"},"reference-count":27,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2008,5,1]],"date-time":"2008-05-01T00:00:00Z","timestamp":1209600000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2008,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The Semantic Web drives toward 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.<\/jats:p>","DOI":"10.1017\/s1471068407003213","type":"journal-article","created":{"date-parts":[[2008,4,28]],"date-time":"2008-04-28T10:24:59Z","timestamp":1209378299000},"page":"249-269","source":"Crossref","is-referenced-by-count":136,"title":["N3Logic: A logical framework for the World Wide Web"],"prefix":"10.1017","volume":"8","author":[{"given":"TIM","family":"BERNERS-LEE","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"DAN","family":"CONNOLLY","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"LALANA","family":"KAGAL","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"YOSI","family":"SCHARF","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"JIM","family":"HENDLER","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2008,5,1]]},"reference":[{"key":"S1471068407003213_ref11","unstructured":"Berners-Lee T. 2006. N3 BNF. http:\/\/www.w3.org\/2000\/10\/swap\/grammar\/n3-report.html."},{"key":"S1471068407003213_ref7","unstructured":"Berners-Lee T. 1980. ENQUIRE V 1.1 manual. http:\/\/www.w3.org\/History\/1980\/Enquire\/."},{"key":"S1471068407003213_ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-3384-5"},{"key":"S1471068407003213_ref19","unstructured":"Haza\u00ebl-Massieux D. and Connolly D. 2005. Gleaning Resource Descriptions from Dialects of Languages (GRDDL), W3C team submission. http:\/\/www.w3.org\/TeamSubmission\/grddl\/."},{"key":"S1471068407003213_ref14","unstructured":"Carroll J. J. and Klyne G. 2004. Resource Description Framework (RDF): Concepts and Abstract Syntax. Tech. Rep. http:\/\/www.w3.org\/TR\/2004\/REC-rdf-concepts-20040210\/, W3C. February."},{"key":"S1471068407003213_ref23","unstructured":"Kolovski V. , Katz Y. , Hendler J. , Weitzner D. , and Berners-Lee T. 2005. Towards a policy-aware Web. In Semantic Web and Policy Workshop at the 4th International Semantic Web Conference. Boston, MA."},{"key":"S1471068407003213_ref2","unstructured":"Adida B. and Birbeck M. 2006. RDF\/A Primer 1.0. Embedding RDF in XHTML. W3C Working Draft. http:\/\/www.w3.org\/TR\/xhtml-rdfa-primer\/."},{"key":"S1471068407003213_ref10","unstructured":"Berners-Lee T. 2005. Primer: Getting into RDF and Semantic Web using N3. http:\/\/www.w3.org\/2000\/10\/swap\/Primer."},{"key":"S1471068407003213_ref24","unstructured":"Parsia B. , Katz Y. , and Clark K. 2005. Pychinko: Rete-based RDF friendly rule engine. http:\/\/www.mindswap.org\/katz\/pychinko\/."},{"key":"S1471068407003213_ref6","unstructured":"Beckett D. 2006. Turtle\u2014Terse RDF triple language. http:\/\/www.dajobe.org\/2004\/01\/turtle\/."},{"key":"S1471068407003213_ref9","unstructured":"Berners-Lee T. 2000. Cwm: General-purpose data processor for the Semantic Web. http:\/\/www.w3.org\/2000\/10\/swap\/doc\/cwm."},{"key":"S1471068407003213_ref27","unstructured":"Steele G. L. and Sussman G. J. Scheme 1975. http:\/\/www.swiss.ai.mit.edu\/projects\/scheme\/."},{"key":"S1471068407003213_ref12","unstructured":"Berners-Lee T. and Connolly D. 2004. Delta: An ontology for the distribution of differences between RDF graphs. http:\/\/www.w3.org\/DesignIssues\/Diff."},{"key":"S1471068407003213_ref26","unstructured":"Shapiro S. Fall 2005. Classical logic. In The Stanford Encyclopedia of Philosophy, Zalta E. N. , Ed."},{"key":"S1471068407003213_ref4","doi-asserted-by":"crossref","unstructured":"Appel A. W. and Felten E. W. 1999. Proof-carrying authentication. In 6th ACM Conference on Computer and Communications Security. Kent Ridge Digital Labs, Singapore.","DOI":"10.1145\/319709.319718"},{"key":"S1471068407003213_ref1","unstructured":"The Official Python Programming Language Web site: http:\/\/www.python.org\/."},{"key":"S1471068407003213_ref3","unstructured":"Altheim M. , Anderson B. , Hayes P. , Menzel C. , Sowa J. F. , and Tammet T. 2005. SCL: Simple Common Logic. http:\/\/www.ihmc.us\/users\/phayes\/CL\/SCL2004.html."},{"key":"S1471068407003213_ref5","volume-title":"The Description Logic Handbook","author":"Baader","year":"2003"},{"key":"S1471068407003213_ref8","unstructured":"Berners-Lee T. 1998. Notation 3 (N3) A readable RDF syntax. http:\/\/www.w3.org\/DesignIssues\/Notation3.html."},{"key":"S1471068407003213_ref13","unstructured":"Brickley D. and Miller L. 1999. Friend of a friend (foaf) project. http:\/\/www.foaf-project.org\/."},{"key":"S1471068407003213_ref15","unstructured":"Dumbill E. 2002. Finding friends with XML and RDF. http:\/\/www-128.ibm.com\/developerworks\/xml\/library\/x-foaf.html."},{"key":"S1471068407003213_ref16","unstructured":"Foundation O. OpenID 2007. http:\/\/openid.net\/."},{"key":"S1471068407003213_ref18","unstructured":"Genesereth M. R. 1998. Knowledge interchange format. Draft proposed American National Standard (dpANS). NCITS.T2\/98-004. http:\/\/logic.stanford.edu\/kif\/dpans.html."},{"key":"S1471068407003213_ref20","unstructured":"Jacobs I. and Walsh N. 2004. The Architecture of the World Wide Web. W3C recommendation. http:\/\/www.w3.org\/TR\/webarch\/."},{"key":"S1471068407003213_ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.10.001"},{"key":"S1471068407003213_ref25","unstructured":"Roo J. D. 2005. Euler proof mechanism. http:\/\/www.agfa.com\/w3c\/euler\/."},{"key":"S1471068407003213_ref21","unstructured":"Kagal L. , Berners-Lee T. , Connolly D. , and Weitzner D. 2006. Using Semantic Web technologies for open policy management on the Web. In 21st National Conference on Artificial Intelligence. Boston, MA."}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068407003213","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,30]],"date-time":"2019-03-30T18:57:25Z","timestamp":1553972245000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068407003213\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,5]]}},"alternative-id":["S1471068407003213"],"URL":"https:\/\/doi.org\/10.1017\/s1471068407003213","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,5]]}}}