统表明,机床设备和测量设备是互斥的(即交集为空),接着,计算系统给出63+ 58=121,并且121>100,就能得出这样一个证明:Mike是明星销售员工。在 Semantic Web的开放环境中进行推理是一个困难的任务,因为任何一个推论都 可能涉及到大量信息的处理。研究者由此提出了语义网总线( Semantic Web bus) 的设想。如图3所示,语义网中充斥着各种信息处理器(图中圆形所示 Aaron Swartz,2002],其中一些仅仅提供本体数据( ontology&data)供其它处理器使用 另外一些则根据这些本体数据构建逻辑规则,启发式引擎则负责根据本体、数据 和逻辑规则进行推理,得到“结论( Proof,并把这种结论返回到逻辑规则和本体 数据中去。 ● Trust Layer 在之前所有层次的基础之上,会形成无数对于某一事实的陈述,这些陈述合 理与否依赖于它们所处的上下文环境。因此当人或计算机访问这些陈述时,需要 根据上下文和自己的需求自行判定该陈述是否可信( Trust。采用加密技术和数字 签名技术(渗透到每个层次的规范中去)是实现判定可性的一个重要手段,并可以 由此形成一个信任的 Web(Web of Trust)。例如,John声明:所有一级代理商有 权委托二级代理商,而Jane是我公司的一级代理商之一。Jane的声明是:所有 与我公司有三年以上合作关系的,将获得二级代理商资格,Joe是我公司一个有 4年合作关系老伙伴。同时,所有这些声明都有数字签名保证了是可信的,于是, 可以得出结论:Joe将获得John公司的二级代理商资格 由于后面会用到OWL,所以下面先对OWL做一个简介。 24oWL语法简介 Classes Classes提供了组织具有相似特征的资源的一种抽象方式。每一个OWL Cass联系到一个 individual的集合,这个集合叫做它的外延,集合中的 individual 叫做它的 instance。可以通过指定一个 Class名字或说明 名的 Class的外 延来描述一个Cass。另外,可以使用rdfs:subC| assef将 Classes组成一个层次 化的结构。 <owl: Class rdf ID="Grape">. </owl: Class> <ow: Class rdf: ID="Wine Grape"> <rdfs sub Classof rdf resource="&food; Grape"/> <ow: Class> 在第一个例子中,通过指定名字定义了一个cass,即 Grape,在第二个例统表明，机床设备和测量设备是互斥的(即交集为空)，接着，计算系统给出 63＋ 58= 121，并且 121>100，就能得出这样一个证明：Mike 是明星销售员工。在 Semantic Web 的开放环境中进行推理是一个困难的任务，因为任何一个推论都 可能涉及到大量信息的处理。研究者由此提出了语义网总线(Semantic Web Bus) 的设想。如图 3 所示，语义网中充斥着各种信息处理器(图中圆形所示)[Aaron Swartz,2002]，其中一些仅仅提供本体数据(ontology&data)供其它处理器使用， 另外一些则根据这些本体数据构建逻辑规则，启发式引擎则负责根据本体、数据 和逻辑规则进行推理，得到“结论”(Proof)，并把这种结论返回到逻辑规则和本体 数据中去。 z Trust Layer： 在之前所有层次的基础之上，会形成无数对于某一事实的陈述，这些陈述合 理与否依赖于它们所处的上下文环境。因此当人或计算机访问这些陈述时，需要 根据上下文和自己的需求自行判定该陈述是否可信(Trust)。采用加密技术和数字 签名技术(渗透到每个层次的规范中去)是实现判定可性的一个重要手段，并可以 由此形成一个信任的 Web(Web of Trust)。例如，John 声明：所有一级代理商有 权委托二级代理商，而 Jane 是我公司的一级代理商之一。Jane 的声明是：所有 与我公司有三年以上合作关系的，将获得二级代理商资格，Joe 是我公司一个有 4 年合作关系老伙伴。同时，所有这些声明都有数字签名保证了是可信的，于是， 可以得出结论：Joe 将获得 John 公司的二级代理商资格 由于后面会用到 OWL，所以下面先对 OWL 做一个简介。 2.4 OWL 语法简介 z Classes Classes 提供了组织具有相似特征的资源的一种抽象方式。每一个 OWL Class 联系到一个 individual 的集合，这个集合叫做它的外延，集合中的 individual 叫做它的 instance。可以通过指定一个 Class 名字或说明一个匿名的 Class 的外 延来描述一个 Class。另外，可以使用 rdfs:subClassOf 将 Classes 组成一个层次 化的结构。 <owl:Class rdf:ID="Grape"> ... </owl:Class> <owl:Class rdf:ID="WineGrape"> <rdfs:subClassOf rdf:resource="&food;Grape" /> <owl:Class> 在第一个例子中，通过指定名字定义了一个 class，即 Grape，在第二个例 6