General-Purpose Computing on a Semantic Network Substrate

  • Marko A. RodriguezEmail author
Part of the Advanced Information and Knowledge Processing book series (AI&KP)


This article presents a model of general-purpose computing on a semantic network substrate. The concepts presented are applicable to any semantic network representation. However, due to the standards and technological infrastructure devoted to the Semantic Web effort, this article is presented from this point of view. In the proposed model of computing, the application programming interface, the run-time program, and the state of the computing virtual machine are all represented in the Resource Description Framework (RDF). The implementation of the concepts presented provides a computing paradigm that leverages the distributed and standardized representational-layer of the Semantic Web.


Virtual Machine Resource Description Framework Application Programming Interface Central Processing Unit Semantic Network 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.



This research was made possible by a generous grant from the Andrew W. Mellon Foundation. Herbert Van de Sompel, Ryan Chute, and Johan Bollen all provided much insight during the development of these ideas. Neno/Fhat was originally designed in the fall of 2006. At the completion of this article, the author was introduced to the Ripple RDF programming language being developed by Joshua Shinavier [40]. The similarity in ideas has fostered a close collaboration.


  1. 1.
    Aasman, J.: Allegro graph. Technical Report 1, Franz Incorporated (2006).
  2. 2.
    Aho, A.W., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading (1986) Google Scholar
  3. 3.
    Alesso, H.P., Smith, C.F.: Developing Semantic Web Services. A.K. Peters Ltd, Wellesley (2005) Google Scholar
  4. 4.
    Baader, F., Calvanese, D., Mcguinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003) zbMATHGoogle Scholar
  5. 5.
    Beckett, D.: N-Triples. Technical Report, University of Bristol (2001).
  6. 6.
    Berners-Lee, T.: Notation 3. Technical Report, World Wide Web Consortium (1998).
  7. 7.
    Berners-Lee, T.: Linked data. Technical Report, World Wide Web Consortium (2006).
  8. 8.
    Berners-Lee, T., Fielding, R., Software, D., Masinter, L., Systems, A.: Uniform Resource Identifier (URI): Generic Syntax (2005).
  9. 9.
    Biron, P.V., Malhotra, A.: XML schema part 2: Datatypes second edition. Technical Report, World Wide Web Consortium (2004).
  10. 10.
    Bray, T., Hollander, D., Layman, A., Tobin, R.: Namespaces in XML 1.0. Technical Report, World Wide Web Consortium (2006).
  11. 11.
    Britton, R.: MIPS Assembly Language Programming. Prentice-Hall, Englewood Cliffs (2003) Google Scholar
  12. 12.
    Carroll, J.J., Stickler, P.: RDF triples in XML. In: Extreme Markup Languages. IDEAlliance, Montréal, Québec (2004) Google Scholar
  13. 13.
    Coelho, D., Stanculescu, A.: A state-of-the-art VHDL simulator. In: Thirty-Third IEEE Computer Society International Conference, pp. 320–323. San Francisco, CA (1988) Google Scholar
  14. 14.
    Craig, I.D.: Virtual Machines. Springer, Berlin (2005) Google Scholar
  15. 15.
    Davies, J., Fensel, D., van Harmelen, F.: Towards the Semantic Web: Ontology-Driven Knowledge Management. Wiley, New York (2003) Google Scholar
  16. 16.
    Eckel, B.: Thinking in Java. Prentice-Hall, Englewood Cliffs (2002). Google Scholar
  17. 17.
    Fensel, D.: Triple-space computing: Semantic web services based on persistent publication of information. In: Proceedings of the International Conference on Intelligence in Communication Systems, pp. 43–53. Bangkok, Thailand (2004) Google Scholar
  18. 18.
    Fensel, D., Hendler, J.A., Lieberman, H., Wahlster, W. (eds.): Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential. MIT Press, Cambridge (2003) Google Scholar
  19. 19.
    Hennessy, J.L., Patterson, D.A.: Computer Architecture: A Quantitative Approach. Morgan Kaufmann, San Mateo (2002) zbMATHGoogle Scholar
  20. 20.
    Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web rule language combining OWL and RuleML. Technical Report, World Wide Web Consortium (2004).
  21. 21.
    Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of the ACM 42(4), 741–843 (1995) MathSciNetzbMATHCrossRefGoogle Scholar
  22. 22.
    Kiryakov, A., Ognyanov, D., Manov, D.: OWLIM—a pragmatic semantic repository for OWL. In: International Workshop on Scalable Semantic Web Knowledge Base Systems. Lecture Notes in Computer Science, vol. 3807, pp. 182–192. Springer, New York (2005) Google Scholar
  23. 23.
    Koide, S., Kawamura, M.: SWCLOS: A Semantic Web processor on Common Lisp object system. In: Proceedings of the International Semantic Web Conference, Hiroshima, Japan (2004) Google Scholar
  24. 24.
    Lacy, L.W.: OWL: Representing Information Using the Web Ontology Language. Trafford Publishing, Victoria (2005) Google Scholar
  25. 25.
    Leach, P.: A Universally Unique IDentifier (UUID) URN Namespace. Technical Report, Network Working Group (2005).
  26. 26.
    Lee, R.: Scalability report on triple store applications. Technical Report, Massachusetts Institute of Technology (2004) Google Scholar
  27. 27.
    Lindholm, T., Yellin, F.: The Java Virtual Machine Specification. Addison-Wesley, Reading (1999) Google Scholar
  28. 28.
    Lorie, R.A.: Long term preservation of digital information. In: Proceedings of the 1st ACM/IEEE-CS Joint Conference on Digital Libraries, pp. 346–352. ACM, New York (2001). doi: 10.1145/379437.379726 CrossRefGoogle Scholar
  29. 29.
    Louden, K.C.: Programming Languages: Principles and Practice. Brooks/Cole–Thomson Learning (2003) Google Scholar
  30. 30.
    Manola, F., Miller, E.: RDF primer: W3C recommendation (2004).
  31. 31.
    Martin, D., Burstein, M., Hobbs, J., Lassila, O., McDermott, D., McIlraith, S., Narayanan, S., Paolucci, M., Parsia, B., Payne, T., Sirin, E., Srinivasan, N., Sycara, K.: OWL-S: Semantic markup for web services. Technical Report, World Wide Web Consortium (2004).
  32. 32.
    McGuinness, D.L., van Harmelen, F.: OWL web ontology language overview (2004) Google Scholar
  33. 33.
    Miller, E.: An introduction to the Resource Description Framework. D-Lib Magazine (1998).
  34. 34.
    Nelson, M.L., McCown, F., Smith, J., Klein, M.: Using the web infrastructure to preserve web pages. International Journal on Digital Libraries (2007). doi: 10.1007/s00799-007-0012-y Google Scholar
  35. 35.
    Oren, E., Delbru, R., Gerke, S., Haller, A., Decker, S.: ActiveRDF: Object-oriented semantic web programming. In: Proceedings of the International World Wide Web Conference WWW07, Banff, Canada (2007) Google Scholar
  36. 36.
    Prud’hommeaux, E., Seaborne, A.: SPARQL query language for RDF. Technical Report, World Wide Web Consortium (2004).
  37. 37.
    Satyanarayanan, M., Gilbert, B., Toups, M., Tolia, N., Surie, A., O’Hallaron, D.R., Wolbach, A., Harkes, J., Perrig, A., Farber, D.J., Kozuch, M.A., Helfrich, C.J., Nath, P., Lagar-Cavilla, H.A.: Pervasive personal computing in an Internet suspend/resume system. IEEE Internet Computing 11(2), 16–25 (2007) CrossRefGoogle Scholar
  38. 38.
    Seaborne, A., Manjunath, G.: SPARQL/Update: A language for updating RDF graphs. Technical Report, Hewlett-Packard (2007).
  39. 39.
    Sebesta, R.W.: Concepts of Programming Languages. Addison-Wesley, Reading (2005) Google Scholar
  40. 40.
    Shinavier, J.: Functional programs as linked data. In: 3rd Workshop on Scripting for the Semantic Web, Innsbruck, Austria (2007) Google Scholar
  41. 41.
    Sowa, J.F.: Principles of Semantic Networks: Explorations in the Representation of Knowledge. Morgan Kaufmann, San Mateo (1991) zbMATHGoogle Scholar
  42. 42.
    Sowa, J.F.: Knowledge Representation: Logical, Philosophical, and Computational Foundations. Course Technology (1999) Google Scholar
  43. 43.
    Turing, A.M.: On computable numbers with an application to the entscheidungsproblem. Proceedings of the London Mathematical Society 42(2), 230–265 (1937) MathSciNetCrossRefGoogle Scholar
  44. 44.
    Wang, H.H., Noy, N., Rector, A., Musen, M., Redmond, T., Rubin, D., Tu, S., Tudorache, T., Drummond, N., Horridge, M., Sedenberg, J.: Frames and OWL side by side. In: 10th International Protégé Conference, Budapest, Hungary (2007) Google Scholar

Copyright information

© Springer-Verlag London 2010

Authors and Affiliations

  1. 1.T-5, Center for Nonlinear StudiesLos Alamos National LaboratoryLos AlamosUSA

Personalised recommendations