reasoner = new GenericRuleReasoner(rules);
InfModel inf2 = ModelFactory.createInfModel(reasoner,
inf);
it = inf2.getDeductionsModel().listStatements();
while (it.hasNext()) {
Statement stmt = it.nextStatement();
Literal obj = (Literal) stmt.getObject();
docList.append(stmt.getSubject().getLocalName()
+ "\t" + stmt.getPredicate().getLocalName()
+ "\t" + obj.getString() + "����֣�\n");
}