以文本方式查看主题

-  计算机科学论坛  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  [求助]新手关于OWL restriction问题  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=14805)

--  作者：Hijack
--  发布时间：2/26/2005 10:36:00 AM

--  [求助]新手关于OWL restriction问题
我刚开始学OWL，问个菜鸟的问题，请问
<owl:Class rdf:about="#Opera">
  <rdfs:subClassOf>
    <owl:Restriction>
      <owl:onProperty rdf:resource="#hasLibrettist" />
      <owl:minCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:minCardinality>
    </owl:Restriction>
  </rdfs:subClassOf>
</owl:Class>

代码中对property "hasLibrettist"作了限制（restriction），但是，是在class Opera的匿名

父类中作的，假如hasLibrettist的域domain，不只有类Opera，那么在这个限制是针对

hasLibrettist属性的，还是仅仅针对class Opera的hasLibrettist属性。也就是说，假如

hasLibrettist属性域中还有一个A,A的属性hasLibrettist，是不是至少有一个。（其

实是owl:onProperty这个代码，让我有点糊涂，不知道限制是不是不管不顾的加在了

property上）

谢谢！

--  作者：admin
--  发布时间：2/26/2005 1:02:00 PM

--  
以下是引用Hijack在2005-2-26 10:36:26的发言：
我刚开始学OWL，问个菜鸟的问题，请问
<owl:Class rdf:about="#Opera">
   <rdfs:subClassOf>
    <owl:Restriction>

       <owl:onProperty rdf:resource="#hasLibrettist" />
       <owl:minCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:minCardinality>
~~~~~~~~~~~~~这是一个匿名类的定义，指的是一个由且仅有一个hasLibrettist Property的Class，而不是 对 hasLibrettist Property的 定义。
     </owl:Restriction>   
~~~~~~~~~~~~~
但是这里的cardinality restrictions （和allValuesFrom, someValuesFrom一样 ），是仅对Opera类起作用的。

</rdfs:subClassOf>
</owl:Class>

代码中对property "hasLibrettist"作了限制（restriction），但是，是在class Opera的匿名

父类中作的，假如hasLibrettist的域domain，不只有类Opera，那么在这个限制是针对

hasLibrettist属性的，还是仅仅针对class Opera的hasLibrettist属性。也就是说，假如

hasLibrettist属性域中还有一个A,A的属性hasLibrettist，是不是至少有一个。（其

实是owl:onProperty这个代码，让我有点糊涂，不知道限制是不是不管不顾的加在了

property上）

谢谢！




[此贴子已经被作者于2005-2-28 14:10:38编辑过]
--  作者：hal9000
--  发布时间：2/27/2005 5:13:00 AM

--  
是相对于class Opera的，在owl guide中相关部分有专门的说明
--  作者：cquzjh
--  发布时间：2/28/2005 9:47:00 AM

--  
这种限制是针对与Opera的，而不是对property的限制！
--  作者：saleemlz
--  发布时间：2/28/2005 10:08:00 AM

--  
不同意楼上的观点，同意admin的观点。
这个限制是针对匿名类的。
即：
<rdfs:subClassOf>
    <owl:Restriction>
      <owl:onProperty rdf:resource="#hasLibrettist" />
      <owl:minCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:minCardinality>
    </owl:Restriction>
  </rdfs:subClassOf>
--  作者：cquzjh
--  发布时间：3/1/2005 9:00:00 AM

--  
谢谢saleemlz的提醒！
    我补充陈述一下我的观点：这个限制直接的是针对于匿名类的，但class opera是该匿名类的subclass，因此，该限制对class opera具有同样的约束力（继承关系）。
    再则由于匿名类是不可见，实际上该限制最终还是要表现在opera上的！
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 93.750ms