Skip to main content
×
×
Home

N3Logic: A logical framework for the World Wide Web

  • TIM BERNERS-LEE (a1), DAN CONNOLLY (a1), LALANA KAGAL (a1), YOSI SCHARF (a1) and JIM HENDLER (a2)...
Abstract

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.

    • Send article to Kindle

      To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

      Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

      Find out more about the Kindle Personal Document Service.

      N3Logic: A logical framework for the World Wide Web
      Available formats
      ×
      Send article to Dropbox

      To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

      N3Logic: A logical framework for the World Wide Web
      Available formats
      ×
      Send article to Google Drive

      To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

      N3Logic: A logical framework for the World Wide Web
      Available formats
      ×
Copyright
References
Hide All
The Official Python Programming Language Web site: http://www.python.org/.
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/.
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.
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.
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., and Patel-Schneider, P., Eds. 2003. The Description Logic Handbook. Cambridge University Press, Cambridge, UK.
Beckett, D. 2006. Turtle—Terse RDF triple language. http://www.dajobe.org/2004/01/turtle/.
Berners-Lee, T. 1980. ENQUIRE V 1.1 manual. http://www.w3.org/History/1980/Enquire/.
Berners-Lee, T. 1998. Notation 3 (N3) A readable RDF syntax. http://www.w3.org/DesignIssues/Notation3.html.
Berners-Lee, T. 2000. Cwm: General-purpose data processor for the Semantic Web. http://www.w3.org/2000/10/swap/doc/cwm.
Berners-Lee, T. 2005. Primer: Getting into RDF and Semantic Web using N3. http://www.w3.org/2000/10/swap/Primer.
Berners-Lee, T. and Connolly, D. 2004. Delta: An ontology for the distribution of differences between RDF graphs. http://www.w3.org/DesignIssues/Diff.
Brickley, D. and Miller, L. 1999. Friend of a friend (foaf) project. http://www.foaf-project.org/.
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.
Dumbill, E. 2002. Finding friends with XML and RDF. http://www-128.ibm.com/developerworks/xml/library/x-foaf.html.
Foundation, O. OpenID 2007. http://openid.net/.
Gallaire, H. and Minker, J., Eds. 1978. Logic and Data Bases. Perseus Publishing, Boulder, CO, USA.
Genesereth, M. R. 1998. Knowledge interchange format. Draft proposed American National Standard (dpANS). NCITS.T2/98-004. http://logic.stanford.edu/kif/dpans.html.
Hazaël-Massieux, D. and Connolly, D. 2005. Gleaning Resource Descriptions from Dialects of Languages (GRDDL), W3C team submission. http://www.w3.org/TeamSubmission/grddl/.
Jacobs, I. and Walsh, N. 2004. The Architecture of the World Wide Web. W3C recommendation. http://www.w3.org/TR/webarch/.
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.
Kalyanpur, A., Parsia, B., Sirin, E., Cuenca-Grau, B., and Hendler, J. 2005. Swoop: A “Web” ontology editing browser. Journal of Web Semantics 4 (2), 144153.
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.
Parsia, B., Katz, Y., and Clark, K. 2005. Pychinko: Rete-based RDF friendly rule engine. http://www.mindswap.org/katz/pychinko/.
Roo, J. D. 2005. Euler proof mechanism. http://www.agfa.com/w3c/euler/.
Shapiro, S. Fall 2005. Classical logic. In The Stanford Encyclopedia of Philosophy, Zalta, E. N., Ed.
Steele, G. L. and Sussman, G. J. Scheme 1975. http://www.swiss.ai.mit.edu/projects/scheme/.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords

Metrics

Altmetric attention score

Full text views

Total number of HTML views: 2
Total number of PDF views: 86 *
Loading metrics...

Abstract views

Total abstract views: 668 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 21st July 2018. This data will be updated every 24 hours.