以文本方式查看主题

-  计算机科学论坛  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  如何在推理的规则中用三元组表示实例与类之间的关系?比如A是B的实例,B是C的之类,从而推出A是C的子类,如何用推理规则表示出来。请大家帮帮忙啊啦  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=79541)


--  作者:mauphyzz
--  发布时间:1/18/2010 11:08:00 PM

--  如何在推理的规则中用三元组表示实例与类之间的关系?比如A是B的实例,B是C的之类,从而推出A是C的子类,如何用推理规则表示出来。请大家帮帮忙啊啦
RT
如何在推理的规则中用三元组表示实例与类之间的关系?比如A是B的实例,B是C的之类,从而推出A是C的子类,如何用推理规则表示出来。
--  作者:laotao
--  发布时间:1/19/2010 2:12:00 PM

--  
估计大小牛们都不屑于回答这种问题了,就让俺这个外行来回一下吧
a rdf:type B, b rdfs:subClassOf C

另外也推不出a是C的子类,而是
a rdf:type C


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