以文本方式查看主题

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

--  作者：orangebench
--  发布时间：6/2/2004 4:31:00 PM

--  OWL allValuesFrom 的小trick
假设有下面这个OWL 本体定义：

<owl:Class rdf:ID="BlueThing">
  <owl:equivalentClass>
    <owl:Restriction>
      <owl:onProperty rdf:resource="#color" />
      <owl:allValuesFrom rdf:resource="#ShadeOfBlue" />
    </owl:Restriction>
  </owl:equivalentClass>
</owl:Class>

<owl:ObjectProperty rdf:ID="color">
  <rdfs:domain rdf:resource="#VisibleThing"/> </owl:ObjectProperty>

我们能推出类BlueThing 是类 VisibleThing 的子类吗？

来点好玩的，答案以后公布 ；－）

--  作者：orangebench
--  发布时间：6/2/2004 4:35:00 PM

--  
类似的问题:
An example:

：Quote1
     a owl:Class ;
     rdfs:subClassOf
 [ a owl:Restriction ;
   owl:onProperty :effectivePeriod ;
   owl:allValuesFrom :Duration
 ] .

：Quote2
     a owl:Class ;
     rdfs:subClassOf
 [ a owl:Restriction ;
   owl:onProperty :effectivePeriod ;
   owl:allValuesFrom :Duration
 ] ;
     rdfs:subClassOf
 [ a owl:Restriction ;
   owl:onProperty :effectivePeriod ;
   owl:someValuesFrom :Duration
 ] .

Quote1 和Quote2 定义等价吗？

--  作者：admin
--  发布时间：6/2/2004 8:43:00 PM

--  不能把


。。。。。￥￥。。。。
。。。。。￥￥。。。。
。。。。。￥￥。。。。
。。。。。￥￥。。。。
+++++++++ @@@ +++++
+++++++++ @@@ +++++
。。。。。￥￥。。。。
。。。。。￥￥。。。。
。。。。。￥￥。。。。
。。。。。￥￥。。。。

图解：
++
++ 为
<owl:ObjectProperty rdf:ID="color">
<rdfs:domain rdf:resource="#VisibleThing"/> </owl:ObjectProperty>所对应的解释

￥￥
￥￥为
<owl:Class rdf:ID="BlueThing">
   <owl:equivalentClass>
     <owl:Restriction>
       <owl:onProperty rdf:resource="#color" />
       <owl:allValuesFrom rdf:resource="#ShadeOfBlue" />
     </owl:Restriction>
   </owl:equivalentClass>
</owl:Class>
所对应的解释

@@
@@ 为 上述两者重叠的部分。


以下是引用orangebench在2004-6-2 16:31:42的发言：
假设有下面这个OWL 本体定义：

<owl:Class rdf:ID="BlueThing">
   <owl:equivalentClass>
     <owl:Restriction>
       <owl:onProperty rdf:resource="#color" />
       <owl:allValuesFrom rdf:resource="#ShadeOfBlue" />
     </owl:Restriction>
   </owl:equivalentClass>
</owl:Class>

<owl:ObjectProperty rdf:ID="color">
   <rdfs:domain rdf:resource="#VisibleThing"/> </owl:ObjectProperty>

我们能推出类BlueThing 是类 VisibleThing 的子类吗？

来点好玩的，答案以后公布 ；－）



--  作者：admin
--  发布时间：6/2/2004 8:48:00 PM

--  
OWL Overview里说： allValuesFrom指的是，如果该属性有值，则必须来自指定的类。
--  作者：orangebench
--  发布时间：6/2/2004 10:38:00 PM

--  
haha,看来这个太简单了。第一个问题是不能的，第二个是不等同的。
原因就是大牛"admin"说的，“allvaluesFrom指的是，如果该属性有值，则必须来自指定的类”，如果该属性没值，则恒成立。没学过数理逻辑的人会觉得不符合直观，但这是没办法的。 例如，如果你没有孩子，别人问你，“你的孩子都在哈佛吗”，我们当然会觉得这个问题很傻瓜，但逻辑必须给一个“是“或“否”的答案。大部分逻辑学家觉得答案为“是”更有道理，因为答案为“否”的话，言外之意，我至少有个孩子，但事实上，你没有孩子。

大家都不发文，无聊，就算是灌水吧。

--  作者：chris
--  发布时间：4/19/2006 4:54:00 PM

--  
<owl:onProperty rdf:resource="#color" />
这句话是什么意思啊
不懂
解释一下吧
--  作者：iamwym
--  发布时间：4/19/2006 5:55:00 PM

--  
是的，dl对于世界的描述，有时候非常愚蠢
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 1,218.750ms