Package org.semanticweb.owlapi.reasoner

Examples of org.semanticweb.owlapi.reasoner.OWLReasoner

74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
      ReasonerConfiguration reasonerConfig = new ReasonerConfigurationImp();
      reasonerConfig.loadRemoteReasonerConfiguration(new File("reasoner.xml"));
             
      OWLReasonerFactory reasonerFactory = new HeraklesReasonerFactory( reasonerConfig, "de.fzi.herakles.strategy.impl.BasicLoadStrategy", "de.fzi.herakles.strategy.impl.FaultTolerantPStrategy" );
     
      OWLReasoner reasoner = reasonerFactory.createReasoner( ontology );

            // Get SubClasses          
        OWLClass cls = factory.getOWLClass(IRI.create( CLASS_IRI ) );
      NodeSet<OWLClass> subClasses = reasoner.getSubClasses( cls, true );
      System.out.println(subClasses);
     
      System.out.println( "SubClasses of " + CLASS_IRI + ":" );
      for( Node<OWLClass> sc : subClasses )
        for( OWLClass c : sc )
View Full Code Here
181
182
183
184
185
186
187
188
189
190
191
         
          // if the current running reasoner is herakles, set the new load strategy
          ModelManager modelManager = workspace.getEditorKit().getModelManager();
          if(modelManager instanceof OWLModelManager){
            OWLModelManager owlModelManager = (OWLModelManager)modelManager;
            OWLReasoner reasoner = owlModelManager.getReasoner();
            if(reasoner instanceof Herakles){
              Herakles herakles = (Herakles)reasoner;
              herakles.setExecutionStrategy(cn);
            }
          }
View Full Code Here
169
170
171
172
173
174
175
176
177
178
179
         
          // if the current running reasoner is herakles, set the new load strategy
          ModelManager modelManager = workspace.getEditorKit().getModelManager();
          if(modelManager instanceof OWLModelManager){
            OWLModelManager owlModelManager = (OWLModelManager)modelManager;
            OWLReasoner reasoner = owlModelManager.getReasoner();
            if(reasoner instanceof Herakles){
              Herakles herakles = (Herakles)reasoner;
              herakles.setLoadStrategy(cn);
            }
          }
View Full Code Here
82
83
84
85
86
87
88
89
90
91
92
    OWLReasonerFactory reasonerFactory;
    try {
      reasonerFactory = new HeraklesReasonerFactory( registry, loadStrategy, executionStrategy );
//      OWLReasoner reasoner = reasonerFactory.createReasoner( manager  );
      OWLReasoner reasoner = reasonerFactory.createReasoner( ontology  );
      return reasoner;
    } catch( ClassNotFoundException e ) {
      logger.debug("strategy class can't be found!");
      e.printStackTrace();
    }
View Full Code Here
444
445
446
447
448
449
450
451
452
453
454
        createDebuggingOntology();
//        RDFXMLRenderer ren = new RDFXMLRenderer();
//        ren.setOWLOntologyManager(owlOntologyManager);
//        ren.render(debuggingOntology, IRI.create("file:/Users/matthewhorridge/Desktop/DebuggingOntology" + ontologyCounter + ".owlapi"));
        ontologyCounter++;
        OWLReasoner reasoner = reasonerFactory.createNonBufferingReasoner(debuggingOntology);
        satTestCount++;
        boolean sat = reasoner.isSatisfiable(currentClass);
        reasoner.dispose();
        return sat;
    }
View Full Code Here
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
     */
    private boolean isSatisfiable(OWLClassExpression unsatClass) throws OWLException {
        createDebuggingOntology();
        ontologyCounter++;

        OWLReasoner reasoner = getReasonerFactory().createNonBufferingReasoner(debuggingOntology);

        if (OntologyUtils.containsUnreferencedEntity(debuggingOntology, unsatClass)) {
          reasoner.dispose();
            return true;
        }
        satTestCount++;
        boolean sat = reasoner.isSatisfiable(unsatClass);
        reasoner.dispose();
        return sat;
    }
View Full Code Here
41
42
43
44
45
46
47
48
  public IRI getIRI() {
    return iri;
  }

  protected boolean isConsistent(OWLOntology o) {
    OWLReasoner reasoner = reasonerFactory.createReasoner( o );
    return reasoner.isConsistent();
  }
View Full Code Here
46
47
48
49
50
51
52
53
54
    OWLReasoner reasoner = reasonerFactory.createReasoner( o );
    return reasoner.isConsistent();
  }

  protected boolean isEntailed(OWLOntology premise, OWLOntology conclusion) {
    OWLReasoner reasoner = reasonerFactory.createReasoner( premise );

    return reasoner.isEntailed( conclusion.getLogicalAxioms() );
  }
View Full Code Here
48
49
50
51
52
53
54
55
56
57
58
59
        }
        System.out.println("owl-api loading: "+(System.currentTimeMillis()-start));
       
        // Create a Snorocket reasoner and classify
        OWLReasonerFactory reasonerFactory = new SnorocketReasonerFactory();
        OWLReasoner reasoner = reasonerFactory.createNonBufferingReasoner(root);
        reasoner.precomputeInferences(InferenceType.CLASS_HIERARCHY);
        reasoner.dispose();
       
        System.out.println(Statistics.INSTANCE.getStatistics());
        System.out.println("Total time: "+Statistics.INSTANCE.getTotalTime());
    }
View Full Code Here
TOP

Related Classes of org.semanticweb.owlapi.reasoner.OWLReasoner

  • au.csiro.snorocket.core.benchmark.OWLBenchmark
  • com.clarkparsia.owlapi.explanation.BlackBoxExplanation
  • com.clarkparsia.owlwg.owlapi3.runner.impl.OwlApi3ReasonerTestRunner
  • de.fzi.herakles.examples.AQAOWLlinkRemoteOWLAPI
  • de.fzi.herakles.examples.ComplexClassDescriptionExample
  • de.fzi.herakles.examples.LocalExampleOWLAPI
  • de.fzi.herakles.examples.LocalExampleOWLlinkRemoteOWLAPI
  • de.fzi.herakles.examples.OWLEDExperiment
  • de.fzi.herakles.examples.ParallelExample
  • de.fzi.herakles.examples.SelectionExample
    • Copyright © 2018 www.massapicom. 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.