Java中的NoHR推理程序给出“ NoSuchMethodError”

如何解决Java中的NoHR推理程序给出“ NoSuchMethodError”

我正在使用NoHR推理程序来推理本体和规则，并一起查询它们。我已经在eclipse中编写了一个代码，该代码应该在NoHR中加载本体和规则文件。但是我在“问题”行上收到“ NoSuchMethodException”。我不确定我在做什么错。为什么我会收到此例外？

import java.io.File;
import java.io.IOException;
import java.util.LinkedList;
import java.util.List;
import java.util.Map;

import org.semanticweb.owlapi.apibinding.OWLManager;
import org.semanticweb.owlapi.model.OWLOntology;
import org.semanticweb.owlapi.model.OWLOntologyCreationException;
import org.semanticweb.owlapi.model.OWLOntologyManager;

import pt.unl.fct.di.novalincs.nohr.deductivedb.PrologEngineCreationException;
import pt.unl.fct.di.novalincs.nohr.hybridkb.NoHRHybridKB;
import pt.unl.fct.di.novalincs.nohr.hybridkb.NoHRHybridKBConfiguration;
import pt.unl.fct.di.novalincs.nohr.hybridkb.OWLProfilesViolationsException;
import pt.unl.fct.di.novalincs.nohr.hybridkb.UnsupportedAxiomsException;
import pt.unl.fct.di.novalincs.nohr.model.Answer;
import pt.unl.fct.di.novalincs.nohr.model.Model;
import pt.unl.fct.di.novalincs.nohr.model.Program;
import pt.unl.fct.di.novalincs.nohr.model.Query;
import pt.unl.fct.di.novalincs.nohr.model.vocabulary.DefaultVocabulary;
import pt.unl.fct.di.novalincs.nohr.model.vocabulary.Vocabulary;
import pt.unl.fct.di.novalincs.nohr.parsing.NoHRParser;
import pt.unl.fct.di.novalincs.nohr.parsing.NoHRRecursiveDescentParser;
import pt.unl.fct.di.novalincs.nohr.parsing.ParseException;
import pt.unl.fct.di.novalincs.nohr.translation.Profile;
import pt.unl.fct.di.novalincs.nohr.translation.dl.DLInferenceEngine;

public class HybridKB 
{
    private static NoHRHybridKBConfiguration nohrConfig;
    
    private static pt.unl.fct.di.novalincs.nohr.hybridkb.HybridKB hybridKB;
    
    
    private static NoHRParser parser;

    
    static File ont = new File("C:\\Users\\user\\Desktop\\Bird.owl");
    static File rule = new File("C:\\Users\\user\\Desktop\\rules.p");  
    
    
    public static void main( String[] args ) throws Exception
    {
        
        nohrConfig = new NoHRHybridKBConfiguration(new File(System.getenv("NOHR_XSB_DIRECTORY")),new File(System.getenv("NOHR_KONCLUDE_BINARY")),false,DLInferenceEngine.HERMIT);
        
        System.out.println("NoHR Configuration.... Done");
        
        OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
        OWLOntology ontology = manager.loadOntologyFromOntologyDocument(ont);
        //manager = null;

        nohrConfig.getOntologyTranslationConfiguration().setDLInferenceEngineEL(true);
          
        Vocabulary vocabulary = new DefaultVocabulary(ontology);

        parser = new NoHRRecursiveDescentParser(vocabulary);

            Program program;
            Profile profile = Profile.getProfile(ontology);
            System.out.println("Ontology Profile is:" + profile);
            
            if (profile == Profile.OWL2_QL) {
                program = parser.parseProgram(new File(rule.toString()));
            } else {
                program = Model.program();
            }

        System.out.println("Check1");
        
        hybridKB = new NoHRHybridKB(new File(System.getenv("NOHR_XSB_DIRECTORY")),ontology,program,vocabulary,profile);     // <------ problem
        
        System.out.println("Loaded in NoHR KB.... Done");
    }
    
}

Exception in thread "main" java.lang.NoSuchMethodError: pt.unl.fct.di.novalincs.nohr.hybridkb.NoHRHybridKB.<init>(Ljava/io/File;Lorg/semanticweb/owlapi/model/OWLOntology;Lpt/unl/fct/di/novalincs/nohr/model/Program;Lpt/unl/fct/di/novalincs/nohr/model/vocabulary/Vocabulary;Lpt/unl/fct/di/novalincs/nohr/translation/Profile;)V
    at owl.cs.NoHRKB.HybridKB.main(HybridKB.java:95)