- 贝贝
-
我的翻译内容为:
物业等级正如层次班可以界定,才能使物业。 RDF and RDFS Layers Consider the RDF statement “Nuclear Physics is taught by Professor Smith.” The schema for this contains classes and properties shown in Figure 5-5, which separates the layers of RDF from RDFS. RDF和rdfs层考虑RDF的声明" ,核物理,是老师史密斯教授"的模式,这包含了班级和性能表现在图5-5 ,隔开层RDF的,由rdfs 。 Let us consider the following classes: “academic staff” and “courses.” If a course “c” is taught by academic staff “a” then “c” also involves “a.” We can consider the class “academic staff” having subclasses: professor, associate professor, and assistant professor designated by subClassOf (see Fig. 5-5).让我们考虑下列几类: "学术工作人员"和"课程" ,如果一门课的" C "是老师的教学人员的" A " ,然后在" C " ,也涉及"答: "我们可以考虑"级学术人员"子类:教授,副教授,助理教授指定subclassof (见图5-5 ) 。 In addition, property hierarchies consider, “its taught by” is a subproperty of “involves” (see Fig. 5-5).此外,物业层次考虑" ,它的老师"是一个subproperty "涉及" (见图5-5 ) 。 Figure 5-5 shows that the blocks are properties, ellipses in the RDFS layer represent classes, while ellipses in the RDF layer are instances.图5-5表明,该座物业,椭圆在rdfs层所代表的阶级,而椭圆在RDF的层的事例。 The RDFS is therefore able to express the ingredients: subClassOf, Class, Property, sub- PropertyOf, Resource, and so on.该rdfs因此能够表达配料: subclassof ,阶级,财产,分propertyof ,资源,等等。 Constraints on Properties The constraints on properties are introduced through “rdfs:domain” and “rdfs:range.” The property “rdfs:domain” restricts the set of resources that may have a given property (ie, its domain).制约性能的限制,对性能的介绍,通过" rdfs :域名"和" rdfs :射程"财产" rdfs :域名"限制了一套资源,可以有鉴于知识产权(即其域) 。 The “rdfs:range” property restricts the set of values for a given property (ie, its range). " rdfs :射程"财产限制的一套价值观,为某一特定财产(即后,其射程) 。 The domain and range force subjects and objects of a property to be a certain type.网域名称及各种力量的主体和客体的财产被某一类型。 Figure 5-6 shows some relationships between modeling primitives in RDFS.图5-6显示了一些关系建模原语在rdfs 。 RDF and RDFS Semantics In order to make the semantics of RDF and RDFS unambiguous and machine accessible, the formal language of predicate logic can be used to axiomatically represent RDF and RDFS. RDF和rdfs语义为了使语义RDF和rdfs歧义和机械进出的正式语言的谓词逻辑,可以用来axiomatically代表RDF和rdfs 。 Then, automatic reasoning with RDF and RDFS becomes possible, even though a first-order logic proof system is required.然后,自动推理与RDF和rdfs成为可能,即使一阶逻辑证明系统的需要。 The inference system supporting the semantic of RDF and RDFS directly uses the RDF triplets.该推理系统支持语义的RDF和rdfs直接使用RDF的三胞胎。 This inference system consists of rules of the form这个推理系统的规则形式
- snjk
-
属性层次结构
类的层次结构可进行定义,属性的层次结构同样也可以。
RDF 和 RDFS 层
请注意下面的 RDF 语句
“Nuclear Physics is taught by Professor Smith.”
该语句的架构中包含类和属性(如图表 5-5 中所示),从而将 RDF 的层与 RDFS 的层区别开来。
让我们看看下面这两个类:“academic staff”和“courses”。如果 course “c” 由 academic staff “a” 讲授,且“c”同样包含“a”,我们就认为类“academic staff”包含以下子类:由 subClassOf 指定的 professor、associate professor 以及 assistant professor(请参见图表 5-5)。此外,在属性层次结构中,“its taught by”是“involves”的子属性。
在图表 5-5 中,块为属性,RDFS 层中的椭圆形表示类,而 RDF 层中的椭圆形表示实例。因此,RDFS 可表示以下成分:subClassOf、Class、Property、sub- PropertyOf、Resource 等等。
属性约束
属性约束通过“rdfs:domain”和“rdfs:range”引入。属性“rdfs:domain”限制可能具有指定属性(即,该属性的域)的资源集。“rdfs:range” 属性限制指定属性(即,该属性的范围)的值集。域和范围是使属性的主题和对象成为特定类型的重要因素。图表5-6 显示了 RDFS 中建模基元之间的某些关联。
RDF 和 RDFS 语义
为了使 RDF 和 RDFS 的语义更加明确并可由计算机处理,可使用谓词逻辑的正式语言来表示 RDF 和 RDFS。这样,便可以自动对 RDF 和 RDFS 进行推导,即使要求一级逻辑证明系统也是如此。支持 RDF 和RDFS 语义的推理系统直接使用RDF 三联。此推理系统由以下窗体规则组成:
- nicehost
-
财产阶级组织
正如如阶级组织为班级能被定义,财产也能。
RDF 和 RDFS 层
考虑 RDF 陈述
"核子物理被史密斯教授教。”
给这的轮廓包含在图 5-5 被显示的班级和财产,
区隔数层的 RDF 和 RDFS 。
让我们考虑下列的班级: " 学院的职员 " 和 "课程。" 如果一
" c" 被学院职员教的课程 " 一 " 然后 " c" 也包括 "一。" 我们能考虑班级 " 学者设置职员 " 有亚纲: 教授,副教授,
而且被 subClassOf 指定的助理教授.(见到图 5-5)
除此之外,财产阶级组织考虑," 它的教被 " 是次财产
" 包括 " 。 (见到图 5-5)区段在 RDFS 层中是财产, 椭圆的图 5-5 表演
表现班级而在那 RDF 层的椭圆是例证。 RDFS 是
因此能够表达成分: subClassOf 、班级、财产, 子
PropertyOf ,资源, 等等。
在财产上拘束
在财产上的限制被介绍过 " rdfs: 领域 " 和
"rdfs:排列。" 财产 " rdfs:领域" 限制资源的组哪一
可能有给定的财产。 (也就是, 它的领域) " rdfs: 排列 " 特性限制
给定的财产价值的组.(也就是, 它的范围) 领域和范围
力量使和服从财产物体是一个特定的类型。
在 RDFS 仿制原始人之间的图 5-6 表演一些关系。
RDF 和 RDFS 语意学
为了要制造 RDF 的语意学和 RDFS 不含糊的而且以机器制造
可接近的, 述语逻辑的正式语言能照公理习惯于
表现 RDF 和 RDFS 。然后, 以 RDF 和 RDFS 说服的自动机械
变成可能,即使一个第一-次序逻辑证明制度被需要。
直接地支援 RDF 和 RDFS 的与语意有关者的推论制度使用
RDF 三个一组。 这一个推论制度有形式的规则:
- LocCloud
-
如下:
物产阶层 作为阶层的Just类的可以被定义,如此能物产。
RDF和RDFS层数
Consider RDF声明
“Nuclear物理是由Smith.”教授教的 此的The图解包含在图和物产显示的类5-5上,
separates RDF层数从RDFS的。
Let我们考虑以下类: “academic staff”和“courses.”,如果a
course “c”是由“a” “c”也然后介入“a.”我们可以考虑的教学人员教的 有the的类“academic staff”子类: 副教授教授, subClassOf选定的and助理教授(参见图5-5)。 另外,物产阶层考虑, “its教了by”是subproperty
“involves” (参见图5-5)。
Figure 5-5在RDFS层数表示,块是物产,椭圆 而在RDF层数的椭圆是事例, represent分类。 RDFS是 能的therefore表达成份: subClassOf,类,物产,副
PropertyOf,资源,等等。 在物产的Constraints 在物产的The限制通过“rdfs被介绍:domain”和
“rdfs :range.”物产“rdfs :domain”制约套资源那
may有特定物产(即,它的领域)。 “rdfs :range”物产制约
the套特定物产的(即,它的范围)价值。 领域和范围
force是的物产的主语和宾语有些类型。
Figure 5-6在RDFS显示塑造原始之间的有些关系。
RDF和RDFS语义学
为了做毫不含糊语义学的RDF和的RDFS和机器
accessible,谓词逻辑规范语言可以用于公理
represent RDF和RDFS。 然后,与RDF的自动推理和RDFS 可能的becomes,即使需要一个优先处理的逻辑证明系统。
The直接地支持语义RDF和RDFS用途的推理系统
the RDF三胞胎。 这个推理系统包括形式的规则:
- 蓓蓓
-
物产阶层 作为阶层的Just类的可以被定义,如此能物产。
RDF和RDFS层数
Consider RDF声明
“Nuclear物理是由Smith.”教授教的 此的The图解包含在图和物产显示的类5-5上,
separates RDF层数从RDFS的。
Let我们考虑以下类: “academic staff”和“courses.”,如果a
course “c”是由“a” “c”也然后介入“a.”我们可以考虑的教学人员教的 有the的类“academic staff”子类: 副教授教授, subClassOf选定的and助理教授(参见图5-5)。 另外,物产阶层考虑, “its教了by”是subproperty
“involves” (参见图5-5)。
Figure 5-5在RDFS层数表示,块是物产,椭圆 而在RDF层数的椭圆是事例, represent分类。 RDFS是 能的therefore表达成份: subClassOf,类,物产,副
PropertyOf,资源,等等。 在物产的Constraints 在物产的The限制通过“rdfs被介绍:domain”和
“rdfs :range.”物产“rdfs :domain”制约套资源那
may有特定物产(即,它的领域)。 “rdfs :range”物产制约
the套特定物产的(即,它的范围)价值。 领域和范围
force是的物产的主语和宾语有些类型。
Figure 5-6在RDFS显示塑造原始之间的有些关系。
RDF和RDFS语义学
为了做毫不含糊语义学的RDF和的RDFS和机器
accessible,谓词逻辑规范语言可以用于公理
represent RDF和RDFS。 然后,与RDF的自动推理和RDFS 可能的becomes,即使需要一个优先处理的逻辑证明系统。
The直接地支持语义RDF和RDFS用途的推理系统
the RDF三胞胎。 这个推理系统包括形式的规则
我可不是用机器``
- 瑞瑞爱吃桃
-
物业等级
正如层次班可以界定,才能使物业。
RDF和rdfs层
考虑到RDF的声明
"核物理老师史密斯教授" 。
该模式为这包含班和性能表现在图5-5 ,其中
分隔层的RDF的,由rdfs 。
让我们考虑下列几类: "学术工作人员"和"课程" ,如果一个
当然,对" C " ,是老师教学人员的" A " ,然后在" C " ,也涉及"答: "我们可以考虑
该班"的教学人员, "有子类:教授,副教授,
和助理教授指定subclassof (见图5-5 ) 。
此外,物业层次考虑" ,它的老师"是一个subproperty的
"涉及" (见图5-5 ) 。
图5-5表明,该座物业,椭圆在rdfs层
所代表的阶级,而椭圆在RDF的层的事例。该rdfs是
因此,能够反映材料: subclassof ,阶级,财产,分
propertyof ,资源,等等。
制约性能
制约性能介绍,通过" rdfs :域名"
" rdfs :射程"财产" rdfs :域名"限制了一套资源
可能有一个特定的财产(即,其域) 。 " rdfs :射程"物业限制
一套价值观,为某一特定财产(即后,其射程) 。域和范围
部队的主体和客体的财产被某一类型。
图5-6显示了一些关系建模原语在rdfs 。
RDF和rdfs语义学
为了使语义RDF和rdfs歧义和机
方便,形式语言的谓词逻辑,可以用来axiomatically
代表RDF和rdfs 。然后,自动推理与RDF和rdfs
才成为可能,即使一阶逻辑证明系统的需要。
该推理系统支持语义的RDF和rdfs直接利用
该RDF的三胞胎。这个推理系统的规则形式:
- 里论外几
-
财产阶级组织
正如如阶级组织为班级能被定义,财产也能。
RDF 和 RDFS 层
考虑 RDF 陈述
"核子物理被史密斯教授教。”
给这的轮廓包含在图 5-5 被显示的班级和财产,
区隔数层的 RDF 和 RDFS 。
让我们考虑下列的班级: " 学院的职员 " 和 "课程。" 如果一
" c" 然后被学院职员 " 一 " 教的课程 " c" 也包括 "一。" 我们能考虑
班级 "学者