Examples of ReasonerManager


Examples of edu.stanford.smi.protegex.owl.inference.protegeowl.ReasonerManager

   */
  public void initialize() throws IOntologyException {
    String reasonerClass =
      System.getProperty("reasoner.class",DEFAULT_REASONER);
    try{
      ReasonerManager manager = ReasonerManager.getInstance();
      reasoner = manager.setProtegeReasonerClass(ontology.getModel(),Class.forName(reasonerClass));
      reasoner.initialize();
      //reasoner.setURL("http://localhost:8081");
      taskListener = new TaskListener();
      reasoner.setReasonerTaskListener(taskListener);
    }catch(Exception ex){
View Full Code Here

Examples of edu.stanford.smi.protegex.owl.inference.protegeowl.ReasonerManager

   */
  public void initialize() throws IOntologyException {
    String reasonerClass =
      System.getProperty("reasoner.class",DEFAULT_REASONER);
    try{
      ReasonerManager manager = ReasonerManager.getInstance();
      reasoner = manager.setProtegeReasonerClass(ontology.getModel(),Class.forName(reasonerClass));
      reasoner.initialize();
      //reasoner.setURL("http://localhost:8081");
      taskListener = new TaskListener();
      reasoner.setReasonerTaskListener(taskListener);
    }catch(Exception ex){
View Full Code Here

Examples of edu.stanford.smi.protegex.owl.inference.protegeowl.ReasonerManager

     * Returns the ProtegePelletJenaReasoner that's connected to the given owl model
     * @return
     */
    private ProtegeReasoner getReasoner(){
      if(reasoner==null){
        ReasonerManager reasonerManager = ReasonerManager.getInstance();
        reasoner = reasonerManager.getProtegeReasoner(this.individual.getOWLModel());
      }
      return reasoner;
    }
View Full Code Here

Examples of edu.stanford.smi.protegex.owl.inference.protegeowl.ReasonerManager

     * @return
     */
    private ProtegeReasoner createPelletJenaReasoner(OWLModel owlModel) {

    // Get the reasoner manager and obtain a reasoner for the OWL model.
    @SuppressWarnings("unused")
    ReasonerManager reasonerManager = ReasonerManager.getInstance();

    //Get an instance of the Protege Pellet reasoner
    ProtegeReasoner preasoner = null;
    // FIXME Switching this out, as slf4j compatability bug means it is not usable at present.
View Full Code Here

Examples of org.herakles.ml.selection.trainingData.reasonerTest.test.noOwllink.reasoners.ReasonerManager

   
    System.out.println("\n\nTest finished!");
  }
 
  private void testWithReasoner(OWLOntology ontology, Query query){
    ReasonerManager reasonerManager = new DirectReasonerManager();
    TestCase testCase = new TestCase(ontology, query, reasonerManager);
    testCase.getFastestReasoner();
  }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.