望各位高手指点下，现有下面以段本体文件：
<owl:Class rdf:ID="Leaf">
<rdfs:subClassOf>
<owl:Restriction>
<owl:allValuesFrom>
<owl:Class rdf:ID="Branch"/>
</owl:allValuesFrom>
<owl:onProperty>
<owl:ObjectProperty rdf:ID="is_part_of"/>
</owl:onProperty>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
现在利用下面的JAVA程序输出处理，输出结果如下：
import com.hp.hpl.jena.rdf.model.*;
import com.hp.hpl.jena.util.FileManager;
import com.hp.hpl.jena.util.iterator.ExtendedIterator;
import com.hp.hpl.jena.reasoner.rulesys.Rule;
import com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner;
import java.util.List;
import java.io.InputStream;
public class reasoner {
public static void main(String[] args) {
String filename="animal_01.owl";
String spacename="http://www.owl-ontologies.com/Ontology1242798960.owl#";
String name="Leaf";
InputStream in=FileManager.get().open(filename);
Model model=ModelFactory.createDefaultModel();
model.read(in,"");
List rules=Rule.rulesFromURL("file:E:\\Code\\owl1.rules");
GenericRuleReasoner reasoner = new GenericRuleReasoner(rules);
reasoner.setOWLTranslation(true);
reasoner.setTransitiveClosureCaching(true);
InfModel infmodel = ModelFactory.createInfModel(reasoner, model);
infmodel.write(System.out, "N-TRIPLE");
Resource resource_2=infmodel.getResource(spacename+name);
ExtendedIterator iter_2=infmodel.listStatements(resource_2 ,null, (RDFNode)null);
while(iter_2.hasNext()){
System.out.println(iter_2.next());
}
}
}
E:\\Code\\owl1.rules中的规则为：
[restriction:(?a rdf:type rdfs:Class),(?b rdf:type owl:Restriction),(?b owl:onProperty ?c), (?b owl:allValuesFrom ?c),(?a rdfs:subClassOf ?b)->(?a owl:onProperty ?c), (?a owl:allValuesFrom ?c)]
程序输出的结果中只有（部分结果）：
<http://www.owl-ontologies.com/Ontology1242798960.owl#Leaf> <http://www.w3.org/2000/01/rdf-schema#subClassOf> _:AX2dX768119b4X3aX1218a0fa44dX3aXX2dX8000 .
_:AX2dX768119b4X3aX1218a0fa44dX3aXX2dX8000 <http://www.w3.org/2002/07/owl#onProperty> <http://www.owl-ontologies.com/Ontology1242798960.owl#is_part_of> .
_:AX2dX768119b4X3aX1218a0fa44dX3aXX2dX8000 <http://www.w3.org/2002/07/owl#allValuesFrom> <http://www.owl-ontologies.com/Ontology1242798960.owl#Branch> .
_:AX2dX768119b4X3aX1218a0fa44dX3aXX2dX8000 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Restriction> .
我想直接得到输出结果三元组：
<http://www.owl-ontologies.com/Ontology1242798960.owl#Leaf> <http://www.w3.org/2002/07/owl#onProperty> <http://www.owl-ontologies.com/Ontology1242798960.owl#is_part_of> .
<http://www.owl-ontologies.com/Ontology1242798960.owl#Leaf> <http://www.w3.org/2002/07/owl#allValuesFrom> <http://www.owl-ontologies.com/Ontology1242798960.owl#Branch> .
可是没有输出，难道是我的推理规则写错了吗？望指点下，谢谢了，我是刚开始弄推理这部分，不太熟悉。先谢谢了！
[返回] W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL →
W3CHINA.ORG讨论区 - Web新技术讨论 → 『 Semantic Web(语义Web)/描述逻辑/本体 』 → 利用Jena推理，其推理的规则写法？
(订阅本版)
2009/5/29 9:59:00
新浪微博
利用Jena推理，其推理的规则写法？
