以文本方式查看主题

-  W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  [求助]jena中推理前后的比较？  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=47372)

--  作者：mcc
--  发布时间：5/23/2007 7:54:00 AM

--  [求助]jena中推理前后的比较？

经过设置spec的推理机什么的，
OntModel inf=ModelFactory.createOntologyModel(spec, base);
inf就是经过推理之后的模型么？

很奇怪的一点是这样的：
<s,p,o>可以在inf.contains(s,p,o)中证明是有的，但inf.liststatements()里却没有
特别是jena给的例子（doc/how-to/dig-reasoner.html）
验证并list出不满足的类
m.listStatements( null, OWL.equivalentClass, OWL.Nothing );
是有结果的，但如果接着把每个statement中的subject的statement列出来，刚才这个
( subject, OWL.equivalentClass, OWL.Nothing )又没有了。
不知道这个是正常的么？

那么，如果我想列出在推理后系统能得到哪些推理前的模型中没有的statement该怎么写呢？Model.difference(Model m)这个我也试了，好像会出错？有什么好的方法么？

初次发贴，如果表述不清，请见谅 ：）

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