 [求助]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)这个我也试了，好像会出错？有什么好的方法么？ 初次发贴，如果表述不清，请见谅 ：）
|
[返回] W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL →
W3CHINA.ORG讨论区 - Web新技术讨论 → 『 Semantic Web(语义Web)/描述逻辑/本体 』 → [求助]jena中推理前后的比较？
(订阅本版)
2007/5/23 7:54:00
新浪微博
