另一个有趣且相关的想法是使用RDFas作为各种计算设备之间通信的媒介，从而利用这些Web作为分布式计算的基础设施(Fensel，2004)。在RDF的上下文中还提出了其他客观化的概念。例如，SWCLOS(Koide&Kawamura，2004)和ActiveRDF(Oren et al.，2007)利用RDF作为媒介来确保对象的长期持久性。这两个框架都允许它们的respectivelanguages（CLOS和Ruby）填充它们的对象的代码，以便在它们的语言环境中使用。一旦填充了对象的参数，就可以在它们各自的编程环境中调用对象的方法。1.4本文的贡献本文将迄今为止提出的所有概念统一到RDF网络上的计算框架中。在该框架中，计算虚拟机的状态、API和底层指令都用RDF表示。此外，与当前的编程范式不同，没有表示的堆栈。最低级别的计算和最高级别的计算在同一个基础上表示:URI、文字和三元组。本文提出了OWL API、RDF三元代码和RDF虚拟机(RVM)的概念。人类可读/可写的源代码被编译来创建一个OWLontology，它抽象地表示如何将指令结合起来形成指令序列。当对象及其方法从OWL API实例化时，尽管OWL具有许多对RDF数据推理有用的特性，但OWLMarko A.Rodriguez-2007 7Triple-Code的主要目的是创建OWLMarko A.Rodriguez-2007 7Triple-Code。RDF三元码类似于虚拟机字节码，但它不是用比特、字节和字表示，而是用URI和三元码表示。换句话说，一个可执行的软件被表示为一个可遍历的RDF网络。RVM是一个状态用RDF表示的虚拟机。RVM的堆栈、程序计数器、帧等被建模为RDF网络。RVMT的角色是“遍历”可遍历的RDF三重代码和计算。总之，软件是用人类可读/可写的源代码编写的，编译为OWL API，实例化为RDF三重代码，并由状态用RDF表示的计算机处理。但是，总有一个小人。总是有一些外部过程驱动表征基底的进化。对于JVM，那个小人就是硬件CPU。对于硬件CPU来说，小人就是自然法则。对于RVM，homunculus是某个主机CPU，无论该CPU是另一个虚拟机（如JVM）还是硬件CPU。表2给出了计算中抽象的不同层次，以及它们是如何用物理机器、虚拟机和建议的RDF计算范式来表示的。级机器范式虚拟机范式RDF范式高级代码源代码源代码源代码源代码代码原生指令字节码三码指令单元比特位URI和文字状态硬件软件RDF机器执行物理硬件软件2：当前和建议的计算范式中抽象的不同层次。2一个高级远景假设存在一个RDF三存储。三元组存储的内部是一个RDF网络，该RDF网络由三元组组成。三元组是由三个URI和/或文字组成的集合。这些URI可以用作指向任何东西的指针。本文提出了一个由URI和文字及其相互关系（三元组）表示的计算模型。因此，计算被表示为一个RDF网络。图3给出了一个高层次的视角，在本文的其余部分将讨论什么。图3中所示的是计算组件的一个非常划分的模型。该模型符合计算机科学和工程的共同范式。

然而，这种范例的不太传统的实现可以消除表示的离散性，以支持各种计算组件之间的多级交互，因为所有组件都在同一个RDF基底中表示：URI、文字和三元组。图3显示了6个主要组件。其中两个组件位于RDF网络的本体层，两个位于RDF网络的实例层，两个位于RDF网络外部的机器层。虽然从这个计算模型中出现了许多目前已经看到和尚未看到的优点，但下面列举了一些有趣的方面。RVM的总地址空间是所有URI和文字的空间。在theRVM计算模型中，由于指令和数据是用RDF表示的，所以RVM状态没有底层HardwareCPU地址空间的概念。这一想法在§3.1.2中讨论过。语义Web不再是一个信息收集基础设施，而是一个分布式信息处理基础设施（过程可以移动到数据，数据不必移动到过程）。RVM可以作为RDF/XML文档从webserver中“编入”，也可以从RDF三元存储中“选择”。RDFprograms和RVM状态是“fifrst-class”Web实体。其特点是RVM可以在三存储环境之间移动，并且可以在本地进行计算。本文介绍的概念是利用OWL创建高度受限的数据模型的能力。这些受限制的模型形成API，并确保实例RDF三重代码可以由RVM明确地生成。Marko A.Rodriguez-2007 8APIProgrammachine ArchitectureVirtual Machine StateontologyinstanceVirtual Machine ProcessSphysical Machine...Read/WriteRead/WritePhysics图3：语义Web计算环境的高级透视图。不需要将数据移动到处理器的数据集。这一思想在§4.1.3中讨论。该模型维护JVM的“写一次，在任何地方运行”范例。TheRVM模型确保人类可读/可写的源代码被编译成一种中间语言，该语言独立于执行RVM进程的底层硬件CPU4。构建在语义网络基础上的语言可以具有其他语言无法找到的独特结构（例如，反向引用、多实例引用、查询等）。虽然理论上可以将这些构造添加到其他语言中，但它们并不在这些语言的核心中提供，因为这些语言没有底层的语义网络数据模型。这些新颖的语言结构在§3.2.5中进行了讨论。目前，已经存在一个支持范例的基础设施（三存储、本体建模语言、查询语言等），因此，社区只需要很少的投资。主要投资是开发sourceto-OWL API编译器、RVM，以及RDF三重代码和RVMDistributation/Security协议的标准化。RVM可以在任何复杂程度上进行设计。可以将这一复杂性转移到实现RVM过程的软件中，以简化机器架构的重新开发并加快计算时间。这一思想在§4.3.7中进行了讨论。在这个模型中，语言重构存在于API、软件和RVM级别（一切都用RDF表示）。在§4.2.2.1中讨论了这一思想。图3中所示的RDF网络的本体级别在OWL中表示。本小节将讨论两个主要的本体组件：API和theRVM体系结构。Marko A.Rodriguez-2007 92.1.1 APIOWL支持类交互的特定性。但是，类交互是根据属性关系而不是方法调用来指定的。OWL没有正式的方法来指定类行为（即方法）。

然而，在OWL中，可以定义方法和指令类，并正式指定限制，这些限制规定指令在方法中应该如何相互关联。本文提出的方法和指令本体使RDF成为一个编程框架，而不仅仅是一个数据建模框架。2.1.2机器体系结构RDF机器体系结构是用OWL建模的。机器体系结构本体是对特定RVM实例的抽象描述。根据所需的抽象级别，机器体系结构可以在不同的细节级别上实现。2.2实例级别RDF网络的实例级别受到RDF网络本体级别中规定的需求的约束。本小节将展示图3.2.2.1中的图表实例层的两个组件，编程API抽象地定义了一个软件应用程序。实例化API时，将创建instanceRDF三重代码。3.2.2机器体系结构的虚拟机器实例是RDF虚拟机(RVM)。RVM的目的是在与三码指令相同的RDF网络中表示它的状态（堆栈、程序计数器等）。然而，基于RDF的RVM并不是一台“真正的”计算机，RVM只是用RDF表示它的状态。RVM需要在三元存储器之外的软件实现来计算它的指令。这需要讨论机器级next.2.3机器级机器级是执行实际计算的地方。RDF网络是一种数据结构。RDF不是一般意义上的处理器--它无法自我进化。为了处理RDF数据，外部进程必须对RDF网络进行读写操作，而RDF网络的读写操作演化了RVM及其计算对象。本节讨论如图3.2.3.1所示的机器级别虚拟机进程虚拟机进程在特定主机上用软件表示。TheRVM处理器必须与三存储接口（如SPARQL/UPDATE）和底层主机兼容。RVM的主机可以是physicalmachine（硬件CPU）或其他虚拟机。例如，如果RVM的machineprocess是用Java语言实现的，那么machine process在JVM中运行。这在图3中由虚拟machineprocess和物理machine之间的...组件描述。2.3.2物理machine物理machine是实际的硬件CPU。RVM实现将RDF三重代码转换为主机的指令集。例如，如果RVM进程运行在Intel Core Duo上，那么RVM进程的作用是将theRDF三重代码转换为Intel Core Duo指令集指定的代码。因此，这个体系结构模型的portabilityMarko a.Rodriguez-2007 10依赖于RVM的每个主机实现。最后，根据物理定律对硬件CPU进行计算，完成计算堆栈。就像RVM的RDF表示是计算的“快照”表示一样，硬件CPU是计算的硅/电子“快照”表示。3 Neno语言本节介绍旨在利用纯RDF计算环境的编程语言的特性。这种语言叫做尼诺语。Neno是一种高级面向对象语言，其语法类似于Java和C++等其他对象化语言。然而，Neno提供了一些其他语言不可能提供的功能（例如，在其他对象化语言的构造中不显式）。这种功能不是由于Neno语言的复杂性，而是由于它是为RDF基板编写的，因此可以利用RDF及其读/写接口的可选性。

由于这个原因，Nenois在一类语言中被称为语义网络编程语言。TheRipple编程语言是另一种语义网络编程语言(Shinavier，2007)。Neno和Ripple都是图灵完全的，因此可以执行任何经典（非量子）计算。Neno源代码是用人类可读/可写的纯文本编写的，就像许多其他高级编程语言的源码一样。Neno源代码由aNenoFhat编译器编译。NenoFhat编译器将Neno源代码编译为Fhat OWLAPI。Fhat OWL API类似于Java的jar。Fhat RVM将API的各个方面实例化（加载）到RDF网络的实例层。API的这个实例化方面是可执行的RDF三重代码。一个Fhat RVM处理三码并由此计算。Neno和Java组件之间的类比如表3所示。工件Neno Javasource代码aclass.Neno aclass.javacompiler nenofhat javacAPI aclass.owl aclass.classvirtual machine fhat javaprogram RDF network JVM MemoryTable3:Neno和Java组件之间的映射。因此，默认的名称空间是http://neno.lanl.gov（预置为neno）。Neno编程语言被设计成符合OWL和XML Schema definition(XSD)命名空间。OWL提供了类、继承、datatype和类属性以及属性限制的概念。然而，Neno将其编译的Fhat OWL API严格限制为单亲类（即不支持多重继承），并持有封闭世界假设（即只有在本体中状态的属性才能在Neno对象中计算）。这类似于assumedin Java。XSD为文字数据类型（例如，string、integer、Lovioat、double、date和time等）提供了规定。XSD URI命名空间prefirex是XSD，用于表示以下概念的词典来自对象化编程，而不是OWL。OWL的说法只有在完全描述语言的某个特定方面的“后端”时才会使用。表4说明了OWL术语和面向对象编程术语之间的关系。3.1通用唯一的IDENTI fireer地址在本文的其余部分中，通用唯一的IDENTI fireers(UUID)将被经常使用(Leach，2005)。所有UUID的集合是所有URI集合的子集。UUID是一个128位（16字节）的字符串，可以在不同的环境中创建，并且几乎没有重现的可能性。为了理解128位可能存在的UUID的数量，每个人需要创建1万亿个唯一的UUID。Rodriguez-2007 11OWL object-oriented LanguageSowl：class classneno：method methodrdf：property Fieldsubject：type ObjectTable 4：OWL中的术语和面向对象编程之间的映射。纳秒100亿年才能耗尽所有可能的UUID的空间。一个UUID可以表示为36个字符的十六进制字符串。例如，6C3F8AFE-EC3D-11DB-83140800200C9A66，就是一个UUID。十六进制表示将在以下所有示例中使用。但是，为了简洁起见，由于36个字符对于示例和图表来说太长了，所以只使用8个字符。因此，6C3F8AFE-EC3D-11DB8314-0800200C9A66将被表示为6C3F8AFE。此外，UUID，当使用ASURI时，命名空间为ASURN:UUID:6C3F8AFE-EC3D-11DB-8314-0800200C9A66，对于图和示例，缩写为URN:UUID:6C3F8AFE。当Neno源代码编译为Fhat三重代码时，几乎为所有内容创建一个UUID；每个指令类和指令实例都由一个UUID标识。在实例化Fhat时，将为组成该Machine的所有RDFS：资源（即堆栈、框架等）创建一个UUID。

在典型的编程环境中，programminglanguage及其计算机受到RAM（以及大多数现代操作系统中的虚拟内存）大小的限制。对于32位计算机，RAM的最大大小约为4GB。这意味着RAM中只有2个可能的地址和单词。然而，对于Neno来说，不存在这样的限制。allUUIDs的空间是Fhat RVM的地址空间（更一般地，所有URI和文字的空间都是地址空间）。Fhat不使用RAM存储数据和指令，Fhat使用RDF网络。因此，Fhat对它为处理“分配”多少内存没有任何硬约束。3.2类声明中的Neno源代码代码中的语法与其他面向对象语言非常相似。例如，假设下面用Java编程语言编写的简单类：package gov.lanl.neno.demo；import Java.lang.*；import Java.lang.*；public class Human{private String hasName；private arraylist<Human>hasfriend；public Human（String n）{this.hasName=n；}public void makeFriend（Human h）{if（h！=this)this.hasfriend.add(h)；}public void setName（String n）{this.hasName=n；}fiefeld hasName takesa String值（更详细地说是java.lang.String)，而hasFriend则采用了人类的avalue。Human类有一个构造函数和一个方法。构造函数用于创建对象，是方法的一种类型。在Java中，构造函数告诉JVMT为堆（即对象“池”）上的对象分配内存，并根据构造函数主体中的语句设置对象的field值。Human的构造函数接受一个名为n的字符串，并创建一个名为Object的新的Human实例。Human构造函数将该对象的hasName field设置为n。人类的方法被称为Makefriend。此方法将变量名为h的人作为参数。如果h引用的对象不是调用此方法的人，那么调用此方法的对象已将h添加到其hasFriend中。注意，与图2中的示例不同的是，由于使用了ArrayList<Human>，Neno编程语言类似于Java。下面的源代码演示了如何在Neno中声明几乎相同的类。prefix owl:<http://www.w3.org/2002/07/owl>；prefix xsd:<http://www.w3.org/2001/xmlschema>；prefix demo:<http://Neno.lanl.gov/demo>；owl:thing demo:Human{xsd:string hasname[1]；demo:Human hasfriend[0..*]；！Human（xsd：string n）{this.hasname=n；}makeFriend（demo：Human h）{if(h！=在尼诺语中几乎是相同的，有afew结构使两种语言相互联系。首先，在Neno中，不是“导入”包，而是声明名称空间并导入本体。为了简化名称空间声明，使用了prefixes（例如，owl、xsd和demo）。所有构造函数都由类名表示！符号。类似地，尽管不是在上面的例子中，所有的析构函数都是由~符号预填的类名来表示的。请注意，alldatatype原语（例如XSD：string）来自XSD命名空间。Fhat RVM是专门为这些数据类型设计的。Nenolanguage最独特的方面可能是firefeld声明中的基数限制specifireer（例如[0.1])。因为Neno是为语义网络基板设计的，所以没有什么可以阻止相同的属性（即field）指向多个直接URI。为了要求不存在一个以上的field，使用了[0.1]符号。注意demo：humanis是owl：thing的rdfs：子classes，由owl：thing demo：human classDescription指定。

类继承由类名声明的prefirex指定。请注意，在Neno中，一个类只能有一个父类，即使OWL支持多重继承。此外，请注意，所有类属性对类或数据类型值都有一个通用限制。例如，在上面的demo：human类中，hasName属性必须有一个xsd：string值，并且所有hasFriend属性都是musthave demo：human values。Java 1.5+支持<>符号表示的Java泛型。当命名中没有歧义时，可以编写类声明而不使用前置代码。请注意，像Java和C++这样的语言确实保留了包名称空间的概念。这个约束不适用于owl：restrictions，因为Neno类利用owl：restrictions来makeexplicit属性限制。因此，排除OWL：Restriction子类，Neno对象类只能是单个类的子类。Marko a.Rodriguez-2007 13为了演示Neno源代码与其compiledOWL API之间的关系，给出了以下简单的类示例。classprefix OWL:<http://www.w3.org/2002/07/OWL>；前缀xsd:<http://www.w3.org/2001/xmlschema>；前缀demo:<http://neno.lanl.gov/demo>；OWL:thing demo:example{xsd:integer t[0.1]；test(xsd:integer n）{for(xsd:integer i=0；i<n；i++){this.t=this.t+1；}}}具有以下OWL RDF/XML表示:<rdf:rdfxmlns:rdf=“http://www.w3.org/1999/02/22-rdf-syntax-ns#”xmlns:rdfs=“http://www.w3.org/2000/01/rdf-schema#”xmlns:OWL=“http://www.w3.org/2002/07/OWL#”><OWL:ontology rdf:about=“http://neno.lanl.gov”/><OWL:ontology rdf:about=“http://neno.lanl.gov”/><OWL:ontology rdf:about=“http://neno.lanl.gov/demo”><OWL:imports rdf:resource=“http://neno.lanl.gov”p：//neno.lanl.gov/demo#2271ea72-877c-4090-9f89-...“><rdfs:subclassof rdf:resource=”http://neno.lanl.gov#PUSHVALUE“/><rdfs:subclassof><OWL:restrication><OWL:onproperty rdf:resource=”http://neno.lanl.gov#hasvalue“/><OWL:onproperty rdf:resource=”http://neno.lanl.gov#hasvalue“llvaluesfrom></owl:restriction></rdfs:subclassof><rdfs:subclassof><owl:restriction><owl:onproperty rdf:resource=“http://neno.lanl.gov#nextinst”/><owl:allvaluesfrom><owl:class rdf:about=“http://neno.lanl.gov#nextinst”/><owl:class rdf:about=“http://neno.lanl.gov/demo#a80ba54c-5344-4df1-.../neno.lanl.gov/demo#9792cc3c-5600-4660-bc1f-...”><rdfs:subclassof rdf:resource=“http://neno.lanl.gov#localdirect”/><rdfs:subclassof><owl:restrication><owl:hasvalue rdf:datatype=“http://www.w3.org/2001/xmlschema#integer”>1</owl:hasvalue><owl:onproperty rdf:resource=“http://neno.lanl.gov#hasuri”！--PUSHVALUE指令之后的下一个指令：ADD指令--><owl:class rdf:about=“http://neno.lanl.gov/demo#a80ba54c-5344-4df1-91a0-...”><rdfs:subclassof rdf:resource=“http://neno.lanl.gov#ADD”/><rdfs:subclassof><owl:restriction><owl:onproperty rdf:resource=“http://neno.lanl.goV#hasleft“/><OWL:allvaluesfrom rdf:resource=”http://neno.lanl.gov/demo#4C715D16-B6e6-...“/></OWL:restriction></rdfs:subclassof><rdfs:subclassof><rdfs:subclassof><OWL:restriction><OWL:onproperty rdf:resource=”http://neno.lanl.gov#hasright“/><OWL:allvaluesfrom rdf:resource=”SubclassOf><rdfs:subclassOf><OWL:restriction><OWL:onproperty rdf:resource=“http://neno.lanl.gov#nextinst”/><OWL:allvaluesfrom rdf:resource=“http://neno.lanl.gov/demo#e3b8a797-849b-...”/></OWL:restriction></rdf:subclassof></OWL:class>...</rdf:rdf>从上面的Fhat OWL API子集中吸取的最重要的思想是编译器的目的是

这些生成的指令类有对它们的OWL：限制，以确保这些类的实例以明确的方式相互连接（例如，OWL：对它们各自nextIntproperty的限制），并确保它们的操作数值是显式的（例如OWL：对它们各自操作数属性的限制）。这个明确的实例化是在Fhat RVM实例化API时创建的RDF三重代码。例如，在上面的Fhat OWL API片段中，任何demo:2271EA72 PushValueinstruction实例都必须有一个且仅有一个hasValue属性。thatproperty的值必须是demo:9792CC3C LocalDirect值，其hasURI属性值为“1”:/<xsd:integer>。Demo:2271EA72的实例还必须具有RDF:A80BA54C类型的nextInstproperty，其中Demo:A80BA54C是RDFS:SubclassOfAdd。这个演示的一个实例:80BA54C Add指令指示Fhat RVM将hasLeft操作数和hasRight操作数加在一起。此demo:a80ba54c Add还具有一个nextInst属性值，该值必须是demo:e3b8a797的实例。虽然没有显示，但demo:e3b8a797是一个rdfs：子类集。这样，通过strictowl：restrictions，Fhat RVM可以以明确的方式生成三重代码的cunow。本节的其余部分将讨论Neno编程语言的更突出的方面。3.2.1声明名称空间通过确保在直接组织的本体和实例中没有URI名称concicts来促进语义Web的分布式性质（Brayet al.,2006）。Java语言有一个类似的结构，称为打包。Java中的PackageSpeciformation支持组织命名空间。Neno支持预先设置名称空间。例如，demo:human解析为http://neno.lanl.gov/demo#human.3.2.2DatatypesFhat被设计为处理xsd:anysimpleType，并为其任何派生类型提供特定的支持(Biron&Malhotra，2004)。XSD命名空间包括:XSD:string、XSD:double、XSD:integer、XSD:date等。示例操作包括：“neno”XSD:string+“Fhat”XSD:string“2007-11-30”XSD:date<“2007-12-01”XSD:date“1”XSD:integer-“0”XSD:integerneno对高级数据类型操作提供低级支持，如字符串连接、数据和时间比较、日期递增等。具体允许哪些操作使用哪些数据类型将在后面描述Fhat指令集时讨论。3.2.3该变量该变量是在许多面向对象语言中用于指定beaccessed的foungield或要调用的方法。所有方法本质上都有它作为他们可以使用的变量。同样的结构也存在于Neno中，但在意义上没有变化。Marko a.Rodriguez-2007 153.2.4字段基数Neno是一种面向对象的语言，也是一种语义网络编程语言。Neno更符合RDF的概念，而不是Java和C++的概念。Neno中对象的一个主要特征是对象可以有多个实例。这意味着单个firefeld（谓词）可以有多个值（对象）。例如，在JavaHuman中，marko=new Human（“marko Rodriguez”）；marko.setname（“marko Antonio Rodriguez”）；将首先将变量namemarko引用的Human对象的hasName foungield设置为“marko Rodriguez”。调用marko的setName方法将“marko Rodriguez”替换为“marko Antonio Rodriguez”。因此，foungield hasName的基数为1。Java中的所有firefeld都有1的基数，并且对于特定的firefeld类通常都是quantiefilited（尽管支持分类法包含）。在Neno中，firefeld的基数可能大于1。在Neno中，当声明了ena类的fields时，基数指定器用于表示该类的一个实例允许多少个此类型的属性。

因此，在本节开头的Neno代码中，xsd:string hasName[1]；声明任何人类对象必须只有一个名为hasName的field(property)，而hasName field指向某个xsd：string。因此，FhatRVM向类Marko添加新的hasName属性是非法的。在添加新属性之前，必须保留原始属性。foungield restrictionsin Neno的一般语法是[#(...(#*))]，其中#引用一些整数值。Neno不采用任何关于基数和“semanticallydistinct”资源的OWL语义。在挖掘属性的基数时不考虑资源之间的owl：sameas关系，因此NenoFhat编译器和Fhat RVM只确认特定类型（谓词）的显式属性数（显式三元组）。3.2.5处理字段Sneno提供以下firefeld和local变量运算符:=+、=-、=/和=。这些运算符分别称为“set加”、“set减”、“set清除”和“set”。这些运算符的定义通过演示它们的用法的示例变得显而易见。例如，从上面的类声明中，Human类有field hasFriend，对于Java示例，HasFriendfield只能通过使用ArrayList<Human>类间接地具有多个Human值。在Neno中，不需要arraylist<human>，因为firefeld的基数可以大于1。基数指定器[0..*]指出，人类可以拥有的朋友数量没有限制。为了向人类对象添加更多的朋友，使用=+运算符。如果Humaninstance具有URI URN:uuid:2db4a1d2，并且提供的Human参数具有URI URN:uuid:47878dcc，则=+操作符指示Fhat在三元存储上执行INSERT{<urn:uuid:2db4a1d2><demo:hasfriend><urn:uuid:47878dcc>。另一方面，如果使用=运算符，那么Fhat将向三存储区发出以下命令：delete{<urn:uuid:2db4a1d2><demo:hasfriend>？x.}INSERT{<urn:uuid:2db4a1d2><demo:hasfriend><urn:uuid:47878dcc>。}对于多实例文件，=是一个破坏性很强的运算符。对于[0.1]或[1]field，=的行为与任何其他面向对象语言中的行为相同。此外，对于[0.1]或[1]field，=+是不允许的，因为它会导致插入同一个预测的多个属性。为了控制从多实例field中删除field，可以使用=-和=/运算符。例如，假设在NenoMarko A.Rodriguez-200716MakeEngeme（Human h）{this.hasfriends=-h；}中有以下方法声明，MakeEngeme方法将从hasFriend friends中移除变量名henti所定义的人类对象。如果h变量是对URI URN:UUID:4800E2C2的引用，那么在Fhat级别，Fhat将在三元存储区上执行以下命令：delete{<urn:UUID:2db4a1d2><demo:hasfriend><urn:UUID:4800E2c2>。}最后，假设有一个流氓人类希望根本没有朋友。为了让这支单人军队断绝关系，使用=/运算符。假设followingoverloaded方法声明用于human.makeEngree(){this.hasfriends=/；}上述语句将使Fhat在triple-store上执行以下delete命令：delete{<urn:uuid:2db4a1d2><demo:hasfriend>？human}3.2.6字段查询在许多情况下，firefeld（即属性）将有许多实例。在计算机编程术语中，fields可以被认为是数组。然而，这些“数组”不是对象，只是大于一个基数而已。在Java中，数组是对象，像Java.util.ArrayList这样的高级arrayobjects提供搜索数组的函数。在Neno中，没有支持此类行为的方法，因为fireelds不是对象。相反，Neno提供了支持查询的语言结构。

例如，假设下面的methodboolean isFriend（人类未知）{if(this.hasFriend=？unknown）{return true；}else{return false；}}在上面的isFriend方法中，由变量名unknown引用的提供的人类参数将根据所有的hasFriend参数进行检查。同样，owl:SameAsProperty不受尊重，因此，“相同性”是由确切的URI确定的。The=？运算符是一个条件运算符，因此，总是返回“true”:/xsd:boolean或“false”:/xsd:boolean。在Fhat级别，如果这引用了UUID URN:UUID:2D386232和未知引用URN:UUID:75E05C12，那么Fhat RVM在三元存储区上执行followingquery:ask{<URN:UUID:2D386232><Demo:HasFriend><URN:UUID:75E05C12>。}类似地，想象下面的方法，boolean isFriendByName（Human unknown）{if（this.hasfriend.hasname=？unknown.hasname）{return true；}else{return false；}Marko操作将使Fhat在RDF networkASK上执行以下查询{<urn:uuid:2D386232><demo:hasfriend>？x.？x<demo:hasname>？y.<urn:uuid:75E05C12><demo:hasname>？y}同样，这些三存储操作中不涉及推理；仅使用“原始”三元组和URI/Literal匹配。3.2.7循环和条件Looping和conditionals与Java语言几乎相同。在Neno中，存在for、while和if/else构造。例如，For语句是For（xsd：integer i=“0”xsd：integer；i<“10”xsd：integer；i++){/*For block*/}，while语句是while（xsd：integer i<“10”xsd：integer）{/*while block*/}，if/else语句是if（xsd：integer i<“10”xsd：integer）{/*if block*/}。文字类型可以从它的上下文中推断出来，因此编译器会自动添加它。例如，由于i是一个xsd：integer，因此假定10也是。3.2.8字段循环。在许多情况下，为了搜索或操作每个资源，需要循环fireeld的所有资源。例如，假设下面的humanMethod：namelessFaces（）{For（Human h：this.hasfriend）{h.hasname=“...”xsd：string；}For（xsd：integer i=0；i<this.hasfriend*；i++){Human h=this.hasfriend[i]；h.hasname=“.”xsd：string；}}上面的namelessFaces方法演示了两种由neno定义的firefeld循环机制。该特性类似于Java1.5语言特性。使用figurrst for循环，变量h被设置为this的单个hasFriend。第二个for循环使用从索引0到“数组”大小的索引i（this.hasfriend*)。这个上下文中的符号返回this对象的hasFriend属性的个数。在其他单词中，返回this.hasFriend foungield的基数。最后，由于foungield值不存储在向量中，而是作为一个无序集存储，所以Neno中的foungield“数组”不能保证是有序的。因此，This.HasFriend[1]在代码后面可能不是相同的值。排序依赖于三存储区的索引算法，而特定排序的稳定性依赖于三存储区中索引的频繁程度。值得注意的是，可以将高阶类（如专用的rdf：seq和rdf：list类）划分为Arrays的有序支持。Marko a.Rodriguez-2007 183.2.9类型检查typeof操作符可用于确定URI的类类型。例如，下面的语句，xsd:boolean isType=urn:uuid:2db4a1d2如果urn:uuid:2db4a1d2是rdf:type Human或rdf:type of someclass是rdfs:subclassof Human将返回true。此外，xsd:boolean isType=urn:uuid:2db4a1d2typeof rdfs:resourceAlways返回true。

因此，RDFS包含语义得到了尊重，因此NENO尊重现代面向对象语言使用的子类语义。同样的类型？运算符返回资源的类型。例如，xsd:anyuri type=urn:uuid:2db4a1d2 typeof？返回http://neno.lanl.gov/demo#human.3.2.10反向字段引用在面向对象语言中，“点”运算符用于访问对象的方法或Field。例如，在This.HasName中，“点”的左边是object，“点”的右边是foungield。运算符的右手边是否是一个fireeld或method，编译器可以从它的上下文中推断出来。如果解析为uriurn:uuid:2db4a1d2，那么下面的Neno codeHuman h[0..*]=this.hasfriend；将指示Fhat执行以下查询：select？hwhere{<urn:uuid:2db4a1d2><demo:hasfriend>？h.}根据前面的查询，绑定到？h的所有内容都将设置为variableh。上面的查询是“定位此对象的所有人类hasFriends”。然而，Nenoo提供了另一个在其他面向对象语言中没有的概念，称为“dot dot”操作符。“dot dot”运算符支持所谓的反向引用（以及接下来讨论的反向方法调用）。在某些类的某些方法中假设以下行，Human h[0..*]=this...HasFriend；上面的语句说，“定位所有将此对象作为其HasFriend的人。”在Fhat级别，Fhat对三元存储区执行以下查询：select？hwhere{？h<demo:hasFriend><urn:uuid:2db4a1d2>。}此外，如果语句isHuman h[0.3]=this...HasFriend；Fhat将执行：select？hwhere{？h<demo:hasFriend><urn:uuid:2db4a1d2>。}LIMIT 3Marko A.Rodriguez-2007 193.2.11反向方法调用Neno支持反向方法调用。Inversemethod调用将调用满足特定需求的所有方法。例如，this..hasfriend.makeEnfire（this）；将确保所有以this为友的对象不再与this为友。3.2.12变量作用域Neno中的变量作用域与Java等效。例如，inxsd:integer a=“11”xsd：integer；if（a<“10”xsd：integer）{xsd：integer b=“2”xsd：integer；}else{xsd：integer c=“3”xsd：integer；}if语句的true和false块可以读取变量a，但是true块不能读取false块中的c，false块不能读取true块中的b。方法通信的唯一方式是通过参数传递、返回值和对象操作。3.2.13构造函数和析构函数构造函数和析构函数在面向对象的语言中分别用于创建和破坏对象。Neno中构造函数的概念类似于Java和C++。析构函数的概念在Java中不存在，但在C++中存在。在Neno中，为程序员提供执行对象销毁的显式方式是非常重要的。同样，与Java不同，Neno的目的是在持久语义网络基底上使用。因此，当Fhat停止执行或aFhat不再访问某个对象时，该对象不应自动移除。简而言之，Fhat不提供自动垃圾收集(Louden，2003)。程序员的职责是从RDF网络中明确地删除所有不需要的对象。为了创建新对象，使用新操作器调用类的构造函数。例如，Human marko=new Human（“marko”xsd:string)；将在RDF网络中生成一个子网络，该子网络相当于图4。urn:uuid:3d409136urn:uuid:196b1bb4demo:Human“marko”^^xsd:stringurn:uuid:2f32541chasnamerdf:typeurn:uuid:4188fde2 AncehasMethodhasMethodName“Makefriend”^^XSD:StringhasMethodName“Human”^^XSD:StringFigure 4:Fhat实例维护对对象的变量引用。

Rodriguez-200720FHAT创建RDF子网络的算法将在下一节讨论。现在，请理解在Fhat实例的变量环境中存在一个名为marko的变量，它指向新创建的人类实例（例如hmarko、rdf:type、Humani)，析构函数将指示Fhat销毁一个对象。析构函数在eclass声明中指定。例如，假设下面的demo指定：Human：thing Human{string hasname[1]；Human hasfriend[0..*]；！Human（string n）{this.hasname=n；}~Human(){this.hasname=/this.hasfriend=/this.hasfriend=/}}在上面的类声明中！Human（string n）是构造函数，~Human()是adestructor。使用delete运算符调用析构函数。例如，delete marko；调用marko的~human()析构函数。一个类最多只能有一个析构函数，并且析构函数不接受参数。~human()析构函数移除对对象名称的引用，移除对对象朋友的所有引用，并移除对该对象的所有hasFriend引用。因此，如果人工对象具有URI URN:UUID:55B2A3B0，则Fhat将在三元存储区上执行以下命令：删除{<URN:UUID:55B2A3B0><demo:HasName>？name.}删除{<URN:UUID:55B2A3B0><demo:HasFriend>？Human.}删除{？Human<demo:HasFriend><URN:UUID:55B2A3B0.}在幕后，Fhat还将删除URN:UUID:55B2A3B0的所有方法引用、URN:UUID:55B2A3B0的内部变量引用以及相关的rdf:type关系对象到本体层。当一个对象被正确销毁时，只从RDF网络中移除它的sinstance。对象的类指定仍然存在于本体层中。3.2.14一般查询在许多实例中，Fhat不会引用特定的对象。同样，预期的环境是对象在RDF网络中持久存在的环境。因此，在执行代码时，需要定位特定对象的URI以进行处理。为了让程序员更容易做到这一点，一个查询运算符被定义为“网络查询”运算符，并用符号<？表示。例如，xsd:string x=“Marko Antonio Rodriguez”xsd：string；xsd：string query=“select？x WHERE{？x<demo:hasname><”+x+“>}LIMIT 1”xsd：string；human h[0..1]<？查询；将在RDF网络中查询至多一个名为“Marko Antonio Rodriguez”的人。但是，对于demonstratestring连接和变量使用，使用了三种方法。Marko a.Rodriguez-2007 213.3在NenoIn Neno中启动一个程序，没有静态方法。因此，在Java中不存在类似publicstatic void main(string[]args)方法的东西。相反，为Fhat提供了一个classURI和一个不接受参数的类的方法。类由Fhat自动调用实例化，并调用指定的无参数方法。例如，ifFhat被指向以下测试类和main方法，然后main方法创建一个人，更改其名称，然后退出。当main退出时，Fhat halts.OWL：thing demo：test{main（）{demo：Human h=new Human（“marko Rodriguez”）；h.setname（“marko Antonio Rodriguez”）；}}3.4典型使用案例本节描述开发人员通常如何使用Neno/Fhat环境。下面的terminal命令确保NenoFhat编译器将Neno sourcecode转换为Fhat OWL API，将Fhat OWL API加载到triple-store，实例化aFhat RVM，并使用main方法将RVM指向demo：test类。请注意，出于显示目的，第三个命令被分成四行。

不要假设第三条语句的三行末尾有换行字符。>nenofhat human.neno-o ntriple-t http://www.triplestore.net/sparql>nenofhat test.neno-o xml-t http://www.triplestore.net/sparql>fhat-vmc http://neno.lanl.gov/neno#fhat-c http://neno.lanl.gov/neno/demo#test-cm main-t http://www.triplestore.net/sparqlfegrst terminal命令将human.neno源代码编译成以n-triplestore格式表示的fhat human.ntriple三元组包含由“-t”URL指向的三元组存储区。第二个terminal命令编译thetest.neno源代码，并用RDF/XML生成一个名为test.xml的Fhat OWL API，然后将该RDF/xml加载到三元存储中。nenofhat编译器可以生成任何流行的RDF语法。虽然在大多数情况下，选择了一个或另一个，但两个不同的erent语法被显示出来，以演示编译器的可能性。最后启动aFhat处理器。虚拟机进程(fhat)是用一个pointerto来调用的，它是所需机器体系结构的本体模型。机器体系结构被实例化。实例化的Fhat然后实例化一个测试对象并调用它的MainMethod。实例化的测试主要方法是可执行的RDF三码，在某些情况下，三码存储中可能已经存在一个Fhat RVM状态。在这种情况下，可以调用以下命令将Fhat RVM进程指向存储的RVMSATE。在下面的示例中，假设URN:UUID:60AB17C2是RDF：Type fhat。>FHAT-VMI URN:UUID:60AB17C2-T http://www.triplestore.net/sparql，fhat处理由其编程指向的当前指令。以下列表概述了nenofhat编译器的故障，o-O:输出类型(NTRUTLE n3 xml)o-T:三存储接口和fhat RVM进程，o-VMI:virtual machine instance URIo-VMC:virtual machine class URIo-C:start class URIo-CM:start class无参数方法o-T:triple-store Interface.Marko a.Rodriguez-2007 224 fhat虚拟机体系结构是专门为基于RDF的语义网络语言设计的RVM。fhat是计算机的半硬实现。表5给出了虚拟机实现的各个级别的解释。软、半硬和硬实现的概念在这里得到了发展，因此，不是公共词汇的一部分。在JVM中，所有的“硬件”组件都用软件表示，机器的状态不保存在当前运行时环境之外。对于VHSICHardware Description Language(VHDL)机器，硬件组件是在逻辑门(AND、OR、XOR、NOT等）级别上建模的(Coelho&Stanculescu，1988)。硬件组件是用RDF（状态）建模的，而组件的执行是用软件（过程）建模的。实现类型需求示例软硬件方法Java虚拟机，r-Fhatsemi-hard高级组件Fhathard低级组件VHDL designsTable 5：VM实现类型、它们的需求和一个示例。Fhat需要半硬实现的原因有很多，这些原因将在讨论FHATArchitecture的各种组件的章节中阐述。然而，在本节介绍半硬实现的同时，将讨论一种称为reduced Fhat（r-Fhat）的软结构。简而言之，r-Fhat比Fhat虚拟机更快，但不支持运行时的机器可移植性和机器级的重连接。换句话说，r-Fhat不支持那些需要机器状态的RDF表示的函数，可以编写任何高级语言来利用Fhat体系结构。虽然LILENENO和Fhat是协同开发的，因此在它们彼此的需求上紧密相连，但任何编译为Fhat RDF三重代码的语言都可以使用FHATRVM。

在讨论Fhat指令集之前，本节将讨论Fhat RVM。此机器体系结构以OWL表示，并与RDF网络的本体层中的其他资源共存。haltfhatinstruction programlocationframehasframe[0..*][0..1]returntopreturnstackinstructionrdf:firegrstrdf:rest[0.1][0.1]blocktop[0..*]frameVariablerdf:lihasvaluerdf:resourceoperandtoperandstackrdf:rest[0.1][0.1]rvm[0..*]Dreusexsd:Boolean[1][0.1]BlockStackBlockRDF:figurrstrDF:REST[0.1][0.1][0.1]图5:Fhat虚拟机的本体模型。Fhat RVM有8个主要组件。为了便于参考，下面列举了这些问题。以下小节将更详细地讨论每个组件。Marko A.Rodriguez-2007 231。FHAT：解释指令并使用其各种组件处理这些指令的CPU。停止：当false时暂停Fhat处理，当true时允许处理。MethodReuse：确定是否在对象实例中重用方法三重代码。程序位置：指向正在执行的当前指令（即PC机）的指针。5。BlockStack：一个rdf：列表，可以按下和弹出以进入和退出Blocks。OperandStack：一个rdf：列表，可以为算术计算推入和弹出。框架：用于存储局部变量的方法唯一环境。ReturnStack：一个RDF：list,它提供了对calleda方法的指令和该方法的框架的引用。虽然所有这些组件都用RDF表示，但只有Fhat有一个外部软件组件。Fhat的软件实现在图3.4.0.1中称为“虚拟机械过程”FhatFhat是Fhat RVM的主要组成部分。Fhat是整个Fhat体系结构中最复杂的组件。Fhat组件的高级Neno伪代码thing Fhat{execute（）{while（！this.halt&&this.programlocation！=null）{Instruction i=this.programlocation if（i typeof Block）{...}else if（i typeof if）{...}else if（i typeof if）{...}else if（i typeof Expression）{...}else if（i typeof Set）{...}..../*update programlocation*/}}以上伪代码应该用虚拟机进程的语言例如，假设一个名为FHAT1的Neno实现的Fhatinstance。在这种情况下，另一个名为Fhat2的Fhat正在处理FHAT1.Fhat2可以在另一个名为Fhat3的Fhat上运行，或者接地到将代码转换为本机语言的其他语言中。这是可能的，因为Neno/Fhatis图灵完成，因此，可以运行自己的模拟。当运行自身的模拟时，就会创建一个完整的RDF虚拟机。在该仿真环境中，Fhat RVM的状态和过程都用RDF表示。Fhat的当前版本支持xsd：anysimpleType的大多数常见用法，其中一些用法总结如下:oxsd：boolean：Not,equalsoxsd：integer,xsd：float,xsd：double：Arithmetic,compareoxsd：string：Add,compareoxsd：date,xsd：datetime：Add,Subtract,compare.当使用术语Fhat时，它指的是整个虚拟机，当使用电传键入的术语Fhat时，它指的是由URI Fhat定义的虚拟机进程。Marko A.Rodriguez-2007 244.0.2 halta在任何时候，都可以通过将Fhat的halt属性设置为truexsd：boolean来强制Fhat可以设计一个Neno程序来运行amaster Fhat，该Fhat引用其所有从Fhat的halt属性。通过设置halt属性，Fhat主程序可以控制哪个Fhat从程序可以处理任何一次。

在本质上，主Fhat充当一个操作系统。4.0.3 methodReuse当methodReuse设置为true:/xsd:boolean时，Fhat将用每个方法的唯一指令实例化新的对象。当methodReuse设置为false:/xsd:boolean时，Fhat将在di-erent对象的相同方法中重用方法三重代码。这将在§5.2.4.0.4 programLocation中更详细地讨论。programLocation是指向FHAT正在执行的当前指令的指针。FHATA一次执行一条指令，因此，编程必须始终指向一条指令。Fhat的“while”循环只是将编程位置从一条指令移动到下一条指令。在每个指令中，Fhat解释指令是什么（byits rdf：type“opcode”）并适当地使用它的各种组件。当存在nomore指令时（即不再存在programLocation属性时），fhathalts.4.0.5 blockStackblockStack对于变量设置很重要。当一个新变量在一个代码中创建时，有必要将该变量与该块相关联。当执行的线程退出该块时，在该块中创建的所有变量都被解除引用（即解除定位）。4.0.6 OperandStackOperandStack是一个支持任何RDFS：Resource的后进先出堆栈。OperandStack用于本地计算，如x=1+(2*3)。例如，当x=1+(2*3)由Fhat执行时，Fhat将Will1。将值1推送到OperandStack2上。将值2推送到operandstack3上。将值3推送到operandstack4上。pop 2和3o都包含OperandStack，将这两个操作数相乘，并在operandstack5上推入theValue6。在OperandStack6中同时弹出1和6，添加这两个操作数，并将值7推送到OperandStack6上。将当前帧FrameVariable x设置为popped o the operandstack7的值。当编译为Fhat三重代码时，Neno语句x=1+(2*3)实际上是多条指令。NenoFhat编译器会将语句转换为图6所示的三重代码。表示诸如OperandStack ComponentinRDF这样的组件非常重要，而不仅仅是在主机CPU的内存中。假设一个Fhat实例isto移动到另一个物理机器，或者偶然丢失了它的进程“后端”。如果是这两种情况中的任何一种，那么机器的状态总是保存在RDF中，因此只需“冻结”以等待另一个虚拟机进程继续执行。如果操作堆栈在软件中表示，因此在RAM中表示，那么当软件停止时，操作堆栈将丢失，机器的状态将与其编程位置不一致。在RDF状态下，virtualmachine进程的RAM表示形式对机器一致性的影响可以忽略不计。Marko a.Rodriguez-2007 25Seturn:UUID:361604bChassymbol“x”^^XSD:StringNextInst“1”^^XSD:IntegerPushurn:UUID:3CFF4D2eHasValue“2”^^XSD:IntegerPushurn:UUID:403D632ChasValue“3”528enextinstnextinst图6:语句x=1+(2*3)的三代码表示形式。4.0.7 FrameFhat是一个基于帧的处理器。这意味着每个被调用的方法都为其变量（即FrameVariables）提供了一个框架或本地环境。由于变量是如何在面向对象语言中重新处理的，并且由于Neno不支持全局变量，每个方法只能通过参数（即方法参数）传递、返回值传递或对象操作来相互通信。当方法A调用方法B时，方法A传递的参数根据方法描述中的变量名存储在方法B的框架中。

例如，假设followingmethod,xsd：integer methodB（xsd：integer a）{return a+“1”xsd：integer；}如果方法a调用方法B，则使用语句xsd：integer x=marko.methodB（“2”xsd：integer）；值2与关联变量a一起放入方法B的框架中。方法将1 Badds到该值，并将值3推送到OperandStack上。方法A弹出一个valueo保存OperandStack并将局部变量x设置为值3。OperandStack用于放置方法返回值。4.0.8ReturnStackReturnStack是一个LIFO堆栈，它维护指向amethod和方法框架的返回位置的指针。为了支持递归，ReturnStack维护要返回到的speciefic帧的apointer。为了解释ReturnStack是如何使用的，提供了一个示例。当方法A调用方法B时，方法A在方法调用指令之后的下一条指令被推送到ReturnStack中。当方法B完成它的执行（例如，调用了一个return）时，Fhat弹出一条指令，并将它的编程位置设置为该指令。这样，控制返回给Ato方法完成其执行。当在方法B中调用return时，Fhat将删除（即deallocate）与方法B帧相关联的所有三元组。如果return有一个值（例如return2)，则该值被推送到OperandStack中，以便方法a在其计算中使用。Marko a.Rodriguez-2007 264.1跨主机CPS迁移Fhat Fhat有趣的方面是跨不同主机CPU迁移Fhat进程的能力。Fhat实现有两个主要组件：RDF状态表示和软件过程。因为RDF三重代码和aFhat实例的完整状态都在RDF网络中表示，所以哪个Fhat进程正在执行特定的Fhat状态并不重要。Fhat RDF状态表示确保软件过程中没有全局变量。在softwareprocess中创建的唯一变量是正在执行的指令的本地变量。由于软件过程中没有全局变量，任何软件过程都可以执行Fhat RDF状态，而不需要软件过程间的通信。例如，一个主机CPU可以运行Fhatsoftware进程和HALT。然后，另一个CPU可以启动另一个Fhat软件进程，该进程指向最初停止的Fhat RDF状态的URI，并继续其执行。这个概念如图7所示，其中n=1指指令1.FHATSTATECPU-1FHATPROCESSN=1CPU-2FHATPROCESSCPU-3FHATPROCESSN=2n=3图7：跨多个主机CPU迁移Fhat执行。这样，就可以跨主机CPU迁移Fhat RVM。因此，如果特定的计算需要该Web的一部分，最好是让支持RDF子网络的物理计算机托管Fhat RVM。一旦Fhat RVM完成了特定RDF子网络的计算，它就可以停止，另一个CPU可以在语义Web的另一个需要Fhat RVM计算的区域上拾取该进程。在这种计算模型中，数据不移动到进程，进程移动到数据。图8给出了这个想法，其中三存储服务器都将Fhat进程实现。三存储1三存储2Upload Fhat状态和三编码执行Fhatupload Fhat状态和三编码执行Fhat执行Fhat图8：跨两个三存储迁移一个Fhat状态。4.2 Fhat RE值Fhat RVM和它正在执行的三代码在同一个地址空间中，因此可以相互引用。正是Neno/FHAT的UUID地址空间使它成为一个唯一的编程环境，因为Neno不仅是一种完全可重构的语言，而且它还删除了大多数其他编程环境中的表示堆栈。

Rodriguez-200727Language Re Conception意味着程序可以在执行过程中修改自己。许多脚本语言，甚至Java（通过Java.lang.Reflect包）都支持语言重构。然而，NENO/FHAT不仅支持语言重构，还支持机器重构。Fhat可以在执行过程中修改自己。计算的各个组成部分之间没有真实边界。这种想法在Infigure9中得到了体现，其中Fhat RVM的程序计数器（programLocation）指向aPush指令。Push指令指示Fhat将一个引用推送到其操作数堆栈中。通过引用Fhat操作数堆栈中的Fhat实例，Fhat可以操作它自己的组件。因此，Fhat RVM正在执行三重代码来操作它自己。URN:UUID:72159992 URN:UUID:0A1123C2FHATRDF:TypeProgramLocationHasValuePushRDF:TypeFigure9:Fhat处理器可以处理它自己。半hardimplementation用RDF显式编码Fhat实例的状态。虽然这具有诸如虚拟机进程故障导致的容错、支持处理器迁移形式的分布式计算以及支持基于机器的进化算法等优点，但它需要很大的读/写开销。每个指令都要求virtualmachine进程显式更新虚拟机状态。可以设计一个不显式编码theRDF网络中机器状态的更快的Fhat虚拟机。在这种情况下，唯一发生的读/写操作是在对象实例化、销毁或操作属性时。这种更快的Fhat称为reducedFhat（r-Fhat）。在r-Fhat中，操作数堆栈、返回堆栈等是实现语言中的数据结构。r-Fhat没有OWL机器体系结构，也没有RDFSTATE。5对于Neno软件在Fhat机器实例上运行的Fhat指令，它必须编译到符合Fhat指令集的Fhat OWL API（Fhat OWL apioWL：导入Fhat指令集本体）。Fhat RVM使用Fhat OWL APIas作为构造RDF三重代码实例级表示的“蓝图”。当程序执行时，Fhat RVM“遍历”的是实例级三重代码。5.1在Neno中，唯一存在的进程代码是方法块中的进程代码。图10描述了一个方法的OWL本体。一个方法有一个ArgumentDescriptor（rdfs：subclassof rdf：seq）和一个areturn descriptor（rdfs：resource）。ArgumentDescriptorArgument的顺序表示方法参数在方法声明中的位置。例如，xsd:Integer exampleMethod（xsd：string n,Human h）{...}将hasReturnDescriptor属性的对象设置为URI xsd:Integer，而ArgumentDescriptor设置为参数n(RDF:1)和h(RDF:2)。Marko a.Rodriguez-2007 28MethodL:ThinghasMethod[0..*]Hasblock[1]HasArgumentDescriptorHasReturnDescriptorRDFS:ResourcearGumentDescriptorRDF:Seq[0.1][0.1]DFS:Resource[1][1]ConstructorDestructorHasMethodNamexsd:String[1]图10:OWL方法本体。如果需要，可以使用hasHumanCode属性指向描述该类及其方法的原始可读/可写源代码。通过使用HasHumanCode属性，可以对SourceCode进行“网络内”或运行时编译。原则上，Neno编译器可以用Neno编写并由FHATRVM执行。Neno编译器可以编译解析theURI得到的表示，theURI是xsd:anyuri.5.1.1的值。Fhat三元共deA方法的块只有一个块。块是指令的rdfs：子类，由指令序列组成。

指令序列由thenextInst属性表示。指令rdf：type是指令的“操作码”，所有指令的集合就是Fhat体系结构的指令集。图11提供了可以存在于代码块中的超级类指令的集合以及它们彼此之间的关系。以下列出了这些超级类的示例。o算术：Add,Divide,Multiply,Not,subtract。o条件：Equals,GreaterThan,GreaterThanEqual,lessthanequal,lessthanequal。osetter：NetQuery,Set,SetClear,SetMinus,SetPlus,setquery。o调用：Construct,destruct。这些子类分项如下:oDirect:LocalDirect、PopDirect.oVariable:LocalVariable、FieldVariable、ObjectVariable.当Fhat实例进入一个方法时，它会创建一个新的框架。当变量被声明时，该变量将在框架中根据Fhat实例的当前块指定，如Fhat的blockTop属性所示。块用于Vari*******oping。当Fhat离开一个块时，它会销毁currentFrame中所有将该块作为fromBlock属性的FrameVariables（参见图5）。但是，进入新街区并不是退出旧街区。父块FrameVariables可由子块访问。例如，在下面的Neno代码片段中，条件是唯一的，因为它们具有trueInst和falseInst属性。如果条件为istrue，则下一条指令是trueInst属性指向的指令，否则下一条指令是falseInst属性指向的指令。Marko a.Rodriguez-2007 29BlockinStructionSetterInstructionFalseInstrueInstconditionHasleftHasrightValue[0.1]操作[0.1]NextInst[1][0.1][0.1]PushValueHasValueValue[1]InvokeInvokeMethodMethod[1]算术Direct VariableExitBlockReturnBlockEnter[1]If和else块中的两个y变量是两个di-everent框架变量，因为它们来自di-everent块。此外，请注意，if和else块都可以访问x的值，因为它们位于声明variablex的块的子块中。当Fhat离开一个方法（即返回）时，它的框架和FrameVariables通过解列被销毁。5.2方法实例Fhat处理方法实例有两种方式：全局和局部InstanceModels。在全局实例模型中，当一个新对象被实例化时，它的方法也被实例化。但是，如果实例化的方法已经存在于RDF网络中，则新创建的对象将其hasMethod属性指向以前创建的具有相同hasMethodName和UUID的方法。因此，同一类类型的所有对象只存在一个方法实例。虽然有一个唯一的方法实例foreach对象是可能的，但是通过支持对象之间的方法重用，Fhat限制了RDF网络中的增长（以三倍的数量计算）。此外，这提高了theFhat RVM的速度，因为它不需要从该方法的Fhat OWL API创建新方法。全局实例模型如图12所示。为了确保全局实例，Fhat实例的methodReuse属性被设置为“true”:/xsd:boolean（参见图5）。在本地实例模型中，Fhat实例的methodReuse属性被设置为“false”:/xsd:boolean。在这种情况下，使用owl：thing的每个新实例创建一个新的方法实例。该模型的优点是可以在每个对象的基础上进行方法重构。如果一个对象要在运行时操作它的方法三重代码，它可以这样做，而不会破坏它的伙伴Owl：Things的操作。localMarko的缺点。

Rodriguez-2007 30urn:uuid:2fae09f2urn:uuid:19892c0aurn:uuid:155394c2demo:humanrdf:typerdf:typeurn:uuid:1c71c9c2hasmethodhasmethodhoDontologyInstance[1]hasmethodName“Makefriend”^^xsd:string[1]rdf:typeFigure12:相同类型的多个对象将共享相同的方法实例。实例模型是三存储“膨胀”，与全局实例模型相比，实例化一个对象所需的时间增加。本地实例模型的图表为inFigure 13.URN:UUID:2FAE09F2URN:UUID:19892C0AURN:UUID:155394C2Demo:HumanRDF:TyperDF:TypeHasMethodHasMethodHasMethodUN:UUID:4E51F204HasMethodONTologyInstance[1]HasMethodName“Makefriend”方法InstanceSuppose以下代码：OWL：thing demo：human{xsd：int Example（xsd：string a）{if(a==“Marko”xsd：string）{return“1”xsd：int；}else{return“2”xsd：int；}}Marko a.Rodriguez-2007 31编译此代码时，它将编译为Fhat OWL API。当创建demo：human实例时，Fhat RVM将从URI demo：human开始它的旅程，并通过本体为demo：human类的所有组件创建实例UUID URI。这包括，在其硬编码属性中，它的方法、它们的块和它们的指令。当实例化demo:Human类时，一个实例将出现在RDF网络中，如图14所示。URN:UUID:6E400B42HasblockURN:UUID:4E0Bada0URN:UUID:51B8D4A0HaslefTurn:UUID:54E14D4Curn:UUID:6425E5eChasuri“1”^^XSD:Inturn:UUID:67BBD072Hasuri“2”^^XSD:Inturn:UUID:4FA0F752HasMethodDRF:TypeDemo:Human“a”^^XSD:String“NamehasuritrueInsturn:UUID:610eb4b0nextinstnextinsturn:UUID:0748e1c6falseinstnextinsturn:UUID:62e8b8dcnextinsturn:UUID:62e8b8dcnextinsturn:UUID:62e8b8dcnextinsturn:UUID:68e999ablockmethodequalslocaldirectreturnlocaldirectrectrectrectrectblockblockblockblockblockblock图14：示例（xsd：string）方法的RDF三重代码。6结论RVM的主要缺点是计算时间，因为虚拟机不仅必须读取RDF网络来解释程序指令，还必须将RDF网络读/写到manipuRDF网络中的后期数据（即实例对象）。此外，虚拟机必须读写RDF网络的表示虚拟机状态的子网络（例如程序计数器、操作数堆栈等）。在doingso中，为了让虚拟机进行计算，需要进行许多读/写操作。但是，这个问题可以通过使用R-FHAT来解决。想象一下这样一个世界，虚拟机就像HTML文档一样容易分发（例如，虚拟机子网络的RDF/XML编码）。假定虚拟化机器在RDF网络中编码其状态，那么考虑RVM如何在执行过程中在物理机器之间“移动”。因为没有物理机器维护状态表示，所以硬件是完全独立的。物理机器通过读取RVMM的程序位置、操作数堆栈、堆等来计算RVMM并更新这些数据结构。在这种情况下，个人计算机可以在RDF网络中进行编码，并可以在任何地方访问。因此，底层物理机器只是RDF网络中编码的更“个人”机器的硬件外壳。这些想法类似于Marko A.Rodriguez-2007 32中提出的（Satyanarayanan et al.，2007)。

当存档服务如因特网存档、搜索引擎缓存和数字图书馆存档这样的RDF程序和正在执行的RVM的“快照”状态(Lorie，2001；Nelson，McCown，Smith，&Klein，2007)时，会发生什么？理论上，世界范围内的计算状态可以被保存/归档，然后检索以恢复执行。归档计算带来了许多问题和新奇之处，有待于今后在这一领域的工作。语义网的大部分内容都涉及到组织边界之间的知识分布(Davies，Fensel，&Harmelen，2003)。这也许是本体论的首要目的。在这方面，类似领域的组织应该利用已开发的本体，以便使它们的信息在各自的组织之间可用。过程编码不仅支持知识模型的分布，而且支持用于在这些模型上进行计算的算法的分布。以一种非脱节的方式，数据和代码可以在组织边界之间轻松地交换(Rodriguez，Watkins，Bollen，&Gershenson，2007)。假定RDF网络由三元组组成，而三元组由URIsand文字组成，RDF网络中任何虚拟机的地址空间都是URI和文字的集合。鉴于这些资源的大小没有限制，RVM也没有现实的空间限制。换句话说，全球范围内为支持语义Web而提供的磁盘空间数量是该模型的实际内存约束。然而，这种分布式计算范例的成功依赖于链接数据规范（Berners-Lee,2006）等标准的一致性。随着链接数据模型和RVM计算模型的进一步发展，语义网络可以像通用计算机一样运行。Herbert Van de Sompel、Ryan Schute和Johan Bollen在这些思想的发展过程中都提供了许多见解。ReferencesAasman，J.(2006)。快板图（技术。众议员1号）。Franz Incorated.Aho,A.W.,Sethi,R.,&Ullman,J.D.（1986）。编译器：原理、技术和工具。Addison-Wesley.Alesso,H.P.,&Smith,C.F.(2005)。开发语义Web服务。马萨诸塞州韦尔西：A.K.Peters Ltd.Beckett，D.(2001)。N-Triples（技术代表）。布里斯托尔大学。伯纳斯-李，T.(1998)。注释3（技术代表）。万维网联盟。Berners-Lee,T.（2006）。链接数据（Tech.Rep.）。万维网联盟。Berners-Lee,T,Fielding,R.T,Software,D,Masinter,L.,&Systems,A.（2005,1月）。统一资源IDENTIER(URI)：通用语法。Biron,P.V,&Malhotra,A.（2004）。XML模式第2部分：数据类型，第二版（tech.rep.）。万维网联盟。Bray,T.Hollander,D.Layman,A.和Tobin,R.（2006）。XML1.0(tech.rep.)中的名称空间。万维网联盟。Britton,R.（2003）。汇编语言编程。Prentice Hall.Carroll,J.J.和Stickler,P.（2004）。XML中的RDF三元组。《极端标记语言》。Montr eal,Qu eBEC：Idealliance.Coelho,D.和Stanculescu,A.（1988）。一个最先进的VHDL模拟器。在第三十届计算机学会国际会议（第320-323页）。旧金山，加利福尼亚州，Craig,I.D.(2005)。虚拟机。斯普林格。Marko A.Rodriguez-2007 33Davies,J.,Fensel,D.和Harmelen,F.Van。（2003）。面向语义网：本体驱动的知识管理。Wiley.Eckel,B.（2002）。用爪哇思维。Prentice Hall.Fensel,D.（2004）。三空间计算：基于pesistent信息发布的语义web服务。载于通信系统智能化国际会议论文集（第43-53页）。泰国曼谷。Fensel,D.,Hendler,J.A.,Lieberman,H.和Wahlster,W.（编辑）。（2003）。旋转这个散发的网络：使万维网发挥其全部潜力。麻省理工学院出版社，Hennessy,J.L.和Patterson,D.A.(2002)。

《计算机体系结构：定量方法》，M.，M.，Kifer，G.，Lausen，J.&Wu.（1995）。面向对象的逻辑基础和面向对象的逻辑基础。ACM学报，42(4),741-843.Koide,S.和Kawamura,M.（2004）.SWCLOS：一个基于CommonLisp对象系统的语义Web处理器。载于《国际语义网会议论文集》，广岛，日本。Leach，P.J.(2005)。一个普遍唯一的IDENTI(UUID)URN命名空间（tech.rep.).网络工作组.Lee,R.（2004）。关于三存储应用程序的可伸缩性报告（Tech.Rep.）。麻省理工学院，T.Lindholm和F.Yellin(1999)。Java虚拟机特性。Addison-Wesley.Lorie,R.A.(2001)。数字信息的长期保存。载于1STACM/IEEE-CS数字图书馆联合会议论文集（第346-352页）。纽约，纽约，美国：ACM出版社，Louden，K.C.(2003)。语言研究：原理与实践。Brooks/Cole Thomson Learning.Manola,F.和Miller,E.（2004年，2月）。RDF入门:W3C建议。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.（2004）。OWL-S：web服务的语义标记（Tech.Rep.)。万维网联盟。McGuinness,D.L.和Harmelen,F.Van。（2004年2月）。OWL web ontology LanguageOverview.Nelson,M.L.,McCown,F.,Smith,J.,&Klein,M.（2007）。使用web基础结构保存web页面。国际数字图书馆杂志。欧伦，E.Delbru，R.Gerke，S.Haller，A.&Decker，S.(2007)。ActiverDF：面向对象的语义web编程。在国际WWW07世界宽带网络会议的会议记录中。加拿大Ban\'.Prud\'Hommeaux,E.和Seaborne,A.（2004）。用于RDF（tech.rep.）的SPARQL查询语言。万维网联盟。Rodriguez,M.A.,Watkins,J.H.,Bollen,J.和Gershenson,C.（2007）。用RDF描述了系统的结构和过程。复杂系统间刊，2131.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.（2007）.InternetSuspend/Resume系统中的普及个人计算。IEEE网际计算，11(2)，16-25。Seaborne,A.和Manjunath,G.（2007）。SPARQL/UPDATE：一种用于更新RDFgraphs（tech.rep.）的语言。Hewlett-Packard.Sebesta，R.W.(2005)。编程语言的概念。Addison-Wesley.Shinavier，J.(2007)。函数程序作为链接数据。在第三届语义网脚本编写研讨会上。奥地利Innsbruck.Sowa，J.F.(1991)。语义网络原理：知识表示的探索。加利福尼亚州圣马特奥：Morgan Kaufmann.Marko A.Rodriguez-2007 34Sowa，J.F.(1999)。知识表示：逻辑、哲学和计算基础。课程技术。图灵，A.M.(1937)。关于可计算数，并应用于entscheidungsproblem。伦敦数学会学报，42(2)，230-265。王海海，诺伊，李克特，穆森，雷德蒙，鲁宾，杜，杜，杜多拉切，德拉蒙德，霍里吉，梅，塞登伯格，J.（2007）。框架和猫头鹰并排。在第十届国际抗议大会上。匈牙利布达佩斯。