Model emptyModel = ModelFactory.createDefaultModel();
  InfModel inf = ModelFactory.createInfModel(reasoner, emptyModel);
  String file = "file:owl/customer_en.owl";
  inf.read(file);// print("namespace:"+inf.getNsPrefixURI(""));

//to print reasoning track
  PrintWriter out = new PrintWriter(System.out
  for (StmtIterator i = inf.listStatements(); i.hasNext();) {
   Statement s = i.nextStatement();
   // System.out.println("Statement is " + s);
   for (Iterator id = inf.getDerivation(s); id.hasNext();) {
    System.out.println("Statement is " + s);
    Derivation deriv = (Derivation) id.next();
    deriv.printTrace(out, true);
   }
  }
  out.flush();
  // Model inf = FileManager.get().loadModel(file);

  /* 查询语句 ,此时查询能查出加入规则后推出来的隐含关系*/
  String queryString = "PREFIX ns:<http://www.tseg.owl#> "
    + "SELECT ?user ?account "
    + "WHERE {?user ns:hasAccount ?account} ";
  query(queryString, inf);
 }

 public static void query(String queryString, Model model) {
  Query query = QueryFactory.create(queryString);
  QueryExecution qe = QueryExecutionFactory.create(query, model);
  ResultSet results = qe.execSelect();
  /* 打印结果 */
  ResultSetFormatter.out(System.out, results, query);
  qe.close();
 }