以文本方式查看主题

-  W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  SWRL中关于differentFrom的用法  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=91503)


--  作者:ruby007
--  发布时间:6/22/2011 6:57:00 PM

--  SWRL中关于differentFrom的用法

最近在写SWRL规则时遇见的问题,当要判断两个实例是不同的时候,使用differentFrom(?x,?y)总是不管用,例如写一条规则,判断当两个产品型图号相同的时候,就互为替换产品:产品(?x)^产品型图号(?x,?y)^产品(?z)^产品型图号(?z,?a)^swrlb:equal(?y,?a)^differentFrom(?x,?z)->具有替换产品(?x,?z),创建两个型图号相同的实例产品1与产品2后,用Jess总是推理不出结果,而当删除differentFrom后,就可推理出产品本身是自己的替换产品及产品1与产品2互为替换产品。请教各位有没有使用differentFrom成功的例子,我建了很多例子,这个都不管用,着急ING。。。多谢各位啦~~~
--  作者:那时年少懵懂
--  发布时间:9/24/2015 5:00:00 PM

--  
楼主您好,我最近也遇到了使用differentfrom的问题,能传授一下解决方法吗
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
8,464.844ms