General-Purpose Computing on a Semantic Network Substrate

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.

[1]  Raymond A. Lorie,et al.  Long term preservation of digital information , 2001, JCDL '01.

[2]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[3]  David A. Patterson,et al.  Computer Architecture: A Quantitative Approach , 1969 .

[4]  Eric Miller,et al.  An Introduction to the Resource Description Framework , 1998, D Lib Mag..

[5]  Ryan Lee,et al.  Scalability Report on Triple Store Applications , 2004 .

[6]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[7]  Marko A. Rodriguez,et al.  Grammar-based random walkers in semantic networks , 2008, Knowl. Based Syst..

[8]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.

[9]  Rich Salz,et al.  A Universally Unique IDentifier (UUID) URN Namespace , 2005, RFC.

[10]  John F. Sowa,et al.  Principles of semantic networks , 1991 .

[11]  Iain D. Craig,et al.  Virtual machines , 2005 .

[12]  Dieter Fensel,et al.  Triple-Space Computing: Semantic Web Services Based on Persistent Publication of Information , 2004, INTELLCOMM.

[13]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[14]  Michael L. Nelson,et al.  Using the web infrastructure to preserve web pages , 2007, International Journal on Digital Libraries.

[15]  John C. Mitchell,et al.  Concepts in programming languages , 2002 .

[16]  Dieter Fensel,et al.  Towards the Semantic Web: Ontology-driven Knowledge Management , 2002 .

[17]  Andy Seaborne,et al.  SPARQL/Update: A language for updating RDF graphs , 2007 .

[18]  Armin Haller,et al.  ActiveRDF: object-oriented semantic web programming , 2007, WWW '07.

[19]  Lee W. Lacy.  OWL: Representing Information Using the Web Ontology Language , 2006 .

[20]  Roy T. Fielding,et al.  Uniform Resource Identifiers (URI): Generic Syntax , 1998, RFC.

[21]  Johan Bollen,et al.  Using RDF to Model the Structure and Process of Systems , 2007, ArXiv.

[22]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[23]  Johan Bollen,et al.  A practical ontology for the large-scale modeling of scholarly artifacts and their usage , 2007, JCDL '07.

[24]  Jeremy J. Carroll,et al.  RDF triples in XML , 2004, WWW Alt. '04.

[25]  Robert Britton.  MIPS Assembly Language Programming , 2003 .

[26]  Alfredo Goñi Sarriguren.  Thinking in java , 2009 .

[27]  Johan Bollen,et al.  MESUR: usage-based metrics of scholarly impact , 2007, JCDL '07.

[28]  Atanas Kiryakov,et al.  OWLIM - A Pragmatic Semantic Repository for OWL , 2005, WISE Workshops.

[29]  Patricia Adams,et al.  Programming Languages: Principles and Practice , 1993 .

[30]  John F. Sowa,et al.  Knowledge representation: logical, philosophical, and computational foundations , 2000 .

[31]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[32]  Mahadev Satyanarayanan,et al.  Pervasive Personal Computing in an Internet Suspend/Resume System , 2007, IEEE Internet Computing.

[33]  Gobinda G. Chowdhury,et al.  Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential , 2004 .

[34]  Peter H. Alesso,et al.  Developing semantic web services , 2004 .

[35]  Roy T. Fielding,et al.  Uniform Resource Identifier (URI): Generic Syntax , 2005, RFC.

[36]  Dieter Fensel,et al.  Conclusions: Ontology‐driven Knowledge Management – Towards the Semantic Web? , 2003 .

[37]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[38]  Joshua Shinavier.  Functional Programs as Linked Data , 2007, SFSW.

[39]  Herman H. Goldstine,et al.  Preliminary discussion of the logical design of an electronic computing instrument (1946) , 1989 .

[40]  Richard M. Fujimoto,et al.  The virtual machine , 1991, CARN.

[41]  Alec G. Stanculescu,et al.  A state-of-the-art VHDL simulator , 1988, Digest of Papers. COMPCON Spring 88 Thirty-Third IEEE Computer Society International Conference.

[42]  Alan L. Rector,et al.  Frames and OWL Side by Side , 2006 .

[43]  Frank Yellin,et al.  The Java Virtual Machine Specification , 1996 .

[44]  Arvind Malhotra,et al.  XML Schema Part 2: Datatypes Second Edition , 2004 .