| « | November 2025 | » | | 日 | 一 | 二 | 三 | 四 | 五 | 六 | | | | | | | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | | | | | | | |
|
公告 |
| 暂无公告... |
| Blog信息 |
|
blog名称:语义Web step-up
日志总数:22
评论数量:81
留言数量:5
访问次数:217460
建立时间:2004年10月29日 |
| |
|
 [语义Web理论]对rdfs:domain的理解以及问题
文章收藏
orangebench 发表于 2004/11/18 22:36:58 |
|
在RDF Schema规范中说：
rdfs:domain is used to state that any resource that has a given property is an instance of one or more classes.
A triple of the form: P rdfs:domain Cstates that the resources denoted by the subjects of triples whose predicate is P are instances of the class C.
意思是说：如果一个个体有属性P，则它是类C的实例。这和RDF语义文档说的一致：
If is in IEXT(I(rdfs:domain)) and is in IEXT(x) then u is in ICEXT(y).
要注意的是： 是if…then…而不是if and Only if。下面讨论它的含义。
1）和数学上函数的定义域的区别：我们知道数学上的函数的定义域中的元素，都有一个映射（把函数看成属性的话，即定义域中的元素都有这个属性）。一个属性P的rdfs:domain（定义域）是类C，那么C的实例都有这个属性吗？答案是否定的。Web是开放的世界，说一个属性的定义域是某个类，并不是说这个类中的所有元素都有这个属性。而是说，如果某个个体有这个属性，那它必然属于这个类。
2）RDFS是用来推理的，不是用来验证的。例如，:x rdf:type :Person:carType rdfs:domain :Car .:x :carType :Saloon .
如果我们知道个体:x的类型是Person， carType这个属性的定义域是Car，:x有个carType属性，验证程序能说这个RDF文档有错误吗？不能，因为我们只能推出:x还有个类型是Car。在没有说明类Car和类Person是disjoint以前，这个RDF文档是OK的。 |
|
|