Поддерживает ли jena Derivations рассуждение RDFS?

Question

Я вижу документ, в котором говорится, что Джена поддерживает деривации. Но мой код не может быть выведен. Это мой код:

import org.apache.jena.rdf.model.*;
import org.apache.jena.reasoner.Derivation;
import org.apache.jena.reasoner.ValidityReport;
import org.apache.jena.reasoner.rulesys.RuleDerivation;
import org.apache.jena.util.FileManager;
import org.apache.jena.vocabulary.*;

import java.io.*;
import java.util.Iterator;


public class Qi2 extends Object {

  private static String fnameschema = "./data/Qischeme.rdf";
  private static String fnameinstance = "./data/QiData.rdf";
  public static void main (String args[]) {
    // create an empty model
    Model schema = FileManager.get().loadModel(fnameschema);
    Model data = FileManager.get().loadModel(fnameinstance);
    InfModel infmodel = ModelFactory.createRDFSModel(schema, data);


    int k = 0;
    final PrintWriter out = new PrintWriter(System.out);

    Resource wilson = infmodel.getResource("http://www.example.org/ustb#Wilson_Harvey");
    Resource person = infmodel.getResource("http://www.example.org/ustb#Person");
    for (StmtIterator i = infmodel.listStatements(wilson, (Property) null, person); i.hasNext(); ) {
        Statement s = i.nextStatement();
        System.out.println(s);
        final Iterator<Derivation> derivations = infmodel.getDerivation(s);
        assert( null != derivations );
        if (derivations.hasNext())
            System.out.println("have vaule");


        k++;
     } 

   System.out.println(k);

   }
}

Код навсегда не может быть введен, если (Derivations.hasNext()) часть. Я хочу знать, поддерживает ли jena RDFS-аргумент getDerivation?

Answer 1

Вы должны установить PROPderivationLogging параметр мыслителя true, что можно сделать следующим образом:

  Model schema = FileManager.get().loadModel(dataFile);
  Model data = FileManager.get().loadModel(schemaFile);

  Resource config = ModelFactory.createDefaultModel()
      .createResource()
      .addProperty(ReasonerVocabulary.PROPderivationLogging, "true");
  Reasoner reasoner = RDFSRuleReasonerFactory.theInstance().create(config);

  InfModel infModel = ModelFactory.createInfModel(reasoner, schema, data);