N3Logic: A logical framework for the World Wide Web

Theory and Practice of Logic Programming

Volumn 8, Issue 3, 2008, Pages 249-269

  Berners Lee, Tim ^a   Connolly, Dan ^a   Kagal, Lalana ^a   Scharf, Yosi ^a   Hendler, Jim ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b RENSSELAER POLYTECHNIC INSTITUTE   (United States)

Author keywords

Logic; N3; Quoting; RDF; Scoped negation; Semantic Web; Web

Indexed keywords

DATA STRUCTURES; DATA TRANSFER; ELECTRONIC DATA INTERCHANGE; MATHEMATICAL MODELS; SEMANTIC WEB; WORLD WIDE WEB;

QUOTING; SCOPED NEGATION;

FORMAL LOGIC;

EID: 42949172365     PISSN: 14710684     EISSN: 14753081     Source Type: Journal    
DOI: 10.1017/S1471068407003213     Document Type: Article

References (27)

1. The Official Python Programming Language Web site: http://www.python.org/ .
2. 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/.
3. 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.
4. 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.
5. BAADER, F., CALVANESE, D., MCGUINNESS, D., NARDI, D., AND PATEL-SCHNEIDER, P., Eds. 2003. The Description Logic Handbook. Cambridge University Press, Cambridge, UK.
6. BECKETT, D. 2006. Turtle - Terse RDF triple language, http://www.dajobe.org/2004/01/turtle/.
7. BERNERS-LEE, T. 1980. ENQUIRE V 1.1 manual. http://www.w3.org/History/1980/Enquire/.
8. BERNERS-LEE, T. 1998. Notation 3 (N3) A readable RDF syntax. http://www.w3.org/DesignIssues/Notation3.html.
9. BERNERS-LEE, T. 2000. Cwm: General-purpose data processor for the Semantic Web. http://www.w3.org/2000/10/swap/doc/cwm.
10. BERNERS-LEE, T. 2005. Primer: Getting into RDF and Semantic Web using N3. http://www.w3.org/2000/10/swap/Primer.
11. BERNERS-LEE, T. 2006. N3 BNF. http://www.w3.org/2000/ 10/swap/grammar/n3-report.html.
12. BERNERS-LEE, T. AND CONNOLLY, D. 2004. Delta: An ontology for the distribution of differences between RDF graphs. http://www.w3.org/DesignIssues/Diff.
13. BRICKLEY, D. AND MILLER, L. 1999. Friend of a friend (foaf) project. http://www.foaf-project.org/.
14. 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.
15. DUMBILL, E. 2002. Finding friends with XML and RDF. http://www-128.ibm.com/developerworks/xml/library/x-foaf.html.
16. FOUNDATION, O. OpenID 2007. http://openid.net/.
17. GALLAIRE, H. AND MINKER, J., Eds. 1.978. Logic and Data Bases. Perseus Publishing, Boulder, CO, USA.
18. GENESERETH, M. R. 1998. Knowledge interchange format. Draft proposed American National Standard (dpANS). NCITS.T2/98-004. http://logic.stanford.edu/kif/dpans.html.
19. 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/.
20. JACOBS, I. AND WALSH, N. 2004. The Architecture of the World Wide Web. W3C recommendation, http://www.w3.org/TR/ webarch/.
21. 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.
22. 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), 144-153.
23. 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.
24. PARSIA, B., KATZ, Y., AND CLARK, K. 2005. Pychinko : Rete-based RDF friendly rule engine. http://www.mindswap.org/ katz/pychinko/.
25. ROO, J. D. 2005. Euler proof mechanism. http://www.agfa.com/w3c/ euler/.
26. SHAPIRO, S. Fall 2005. Classical logic. In The Stanford Encyclopedia of Philosophy, E. N. Zalta, Ed.
27. STEELE, G. L. AND SUSSMAN, G. J. Scheme 1975. http://www.swiss.ai.mit.edu/projects/scheme/.