Package de.fzi.herakles.commons.anytime

Examples of de.fzi.herakles.commons.anytime.AnytimeOWLReasoner

68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
      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.AQAAnytimeStrategy" );
     
      AnytimeOWLReasoner reasoner = (AnytimeOWLReasoner) reasonerFactory.createReasoner( ont );

      System.out.println("Creating AnytimeListener...");
      AnytimeListener<OWLNamedIndividual> listener = new AnytimeListenerImpl();
           
            OWLClass cls = factory.getOWLClass( IRI.create( CLASS_URI ) );

            System.out.println( "Retrieving all individuals assigned to " + CLASS_URI + " ..." );
            reasoner.getIndividuals( cls, listener );

//      System.out.println( "\nIndividuals of " + CLASS_URI + ":" );
//      for( OWLIndividual ind : inds )
//        System.out.println( ind );
View Full Code Here
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
      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.AQAAnytimeStrategy" );
     
      AnytimeOWLReasoner reasoner = (AnytimeOWLReasoner) reasonerFactory.createReasoner( ont );

      System.out.println("Creating AnytimeListener...");
      AnytimeListener<OWLNamedIndividual> listener = new AnytimeListenerImpl();

      OWLClass cls = factory.getOWLClass(IRI.create(CLASS_URI));

      System.out.println("Retrieving all individuals assigned to " + CLASS_URI + " ...");
      reasoner.getIndividuals(cls, listener);

      System.out.println("Finished AQA demo!!!");
      try {
        Thread.sleep(5000000);
      } catch (InterruptedException e) {
View Full Code Here
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
      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.ScreechAnytimeStrategy" );
     
      AnytimeOWLReasoner reasoner = (AnytimeOWLReasoner) reasonerFactory.createReasoner( ont );

      System.out.println("Creating AnytimeListener...");
      AnytimeListener<OWLNamedIndividual> listener = new AnytimeListenerImpl();
     
            OWLClass cls = factory.getOWLClass( IRI.create( CLASS_URI ) );

            System.out.println( "Retrieving all individuals assigned to " + CLASS_URI + " ..." );
            reasoner.getIndividuals( cls, listener );

//      System.out.println( "\nIndividuals of " + CLASS_URI + ":" );
//      for( OWLIndividual ind : inds )
//        System.out.println( ind );
View Full Code Here
177
178
179
180
181
182
183
184
185
186
187
        return;
      }
     
      OWLReasoner reasoner = owlEditorKit.getModelManager().getReasoner();
      // AnytimeReasonerDummy reasoner = new AnytimeReasonerDummy(owlEditorKit.getOWLModelManager().getOWLOntologyManager());
      AnytimeOWLReasoner anytimeReasoner = null;
      try{   
        if(reasoner instanceof NoOpReasoner){
          Thread.currentThread().sleep(2000);
          reasoner = owlEditorKit.getModelManager().getReasoner();
        }
View Full Code Here
TOP

Related Classes of de.fzi.herakles.commons.anytime.AnytimeOWLReasoner

  • de.fzi.herakles.examples.AnytimeExample
  • de.fzi.herakles.examples.AQAAnytimeExample
  • de.fzi.herakles.examples.AQAParallelExample
  • de.fzi.herakles.protege.anytime.tab.AnytimeReasoningResultsList
    • 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.