以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  可否解释这两条rules的意思 ?  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=65898)

--  作者：dasotkb
--  发布时间：8/14/2008 12:13:00 PM

--  可否解释这两条rules的意思 ?
[allID: (?C rdf:type owl:Restriction), (?C owl:onProperty ?P),
     (?C owl:allValuesFrom ?D)  -> (?C owl:equivalentClass all(?P, ?D)) ]

[all2: (?C rdfs:subClassOf all(?P, ?D)) -> print('Rule for ', ?C)
  [all1b: (?Y rdf:type ?D) <- (?X ?P ?Y), (?X rdf:type ?C) ] ]

看不太懂..先谢谢前辈指教

--  作者：baojie
--  发布时间：8/20/2008 11:12:00 AM

--  
[allID: (?C rdf:type owl:Restriction), (?C owl:onProperty ?P),
     (?C owl:allValuesFrom ?D)  -> (?C owl:equivalentClass all(?P, ?D)) ]

根据三个rdf 三元组推论  C=\forall P.D

[all2: (?C rdfs:subClassOf all(?P, ?D)) -> print('Rule for ', ?C)
  [all1b: (?Y rdf:type ?D) <- (?X ?P ?Y), (?X rdf:type ?C) ] ]

根据C<=\forall P.D 推论C的实例的所有P后继类型为D

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