中文XML论坛 - 专业的XML技术讨论区--显示贴子

以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  关于owl中allValuesFrom的问题  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=23181)

--  作者：erickong
--  发布时间：10/17/2005 12:23:00 PM

--  关于owl中allValuesFrom的问题
在OWL Web Ontology Language Guide中介绍allValuesFrom时有这样一个例子：

<owl:Class rdf:ID="Wine">
  <rdfs:subClassOf rdf:resource="&food;PotableLiquid" />
  ...
  <rdfs:subClassOf>
    <owl:Restriction>
      <owl:onProperty rdf:resource="#hasMaker" />
      <owl:allValuesFrom rdf:resource="#Winery" />
    </owl:Restriction>
  </rdfs:subClassOf>
  ...
</owl:Class>

随后的解释中有这样一句话：
The first（指的是allValuesFrom） does not require a wine to have a maker.

我不明白的是：既然"Wine"类中的每种酒它的"hasMaker"属性值已经指定为"Winery"类中的个体，为什么可以有一些酒没有制造者呢？

--  作者：jiexincao
--  发布时间：10/17/2005 12:57:00 PM

--
我觉得这个问题并不复杂，一种酒可以没有制造者，而AllValuesFrom只是强调当酒的制造者不为空，也就是有制造者时，这个制造者一定是"Winery"类中的个体。我想这句话也体现了空集是所有集合的子集这种思想。
如果想要同时约束酒的制造者不为空则需要另外的约束方法。

--  作者：admin
--  发布时间：10/17/2005 1:57:00 PM

--
就好比Person的hasChild property的range为Person
但并不是每个Person都有hasChild一样

W 3 C h i n a ( since 2003 ) 旗下站点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》

1,515.625ms