Package de.fzi.herakles.commons.configuration

Examples of de.fzi.herakles.commons.configuration.ReasonerConfiguration

240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
 
  /**
   * select and run the suitable variant according to the configurated reasoners
   */
  private void runVariant(){
    ReasonerConfiguration reasonerCfg = HeraklesManager.getReasonerConfiguration();
    ReasonerAdapter positiveSoundReasoner = registry.getReasonerByID(reasonerCfg.getPositiveSoundReasoner());
    ReasonerAdapter negativeSoundReasoner = registry.getReasonerByID(reasonerCfg.getNegativeSoundReasoner());
    ReasonerAdapter completeReasoner = registry.getReasonerByID(reasonerCfg.getCompleteReasoner());
    ReasonerAdapter soundCompleteReasoner = registry.getReasonerByID(reasonerCfg.getSoundCompleteReasoner());
    ReasonerAdapter unsoundIncompleteReasoner = registry.getReasonerByID(reasonerCfg.getUnsoundIncompleteReasoner());
   
    variant(positiveSoundReasoner, negativeSoundReasoner, completeReasoner, soundCompleteReasoner, unsoundIncompleteReasoner);
   
   
   
View Full Code Here
47
48
49
50
51
52
53
54
55
56
57
58
   */
    public static void main(String[] args) {
    HeraklesConfiguration heraklesConfig = new HeraklesConfiguration();
    heraklesConfig.loadHeraklesConfiguration(new File("herakles.xml"));

    ReasonerConfiguration reasonerConfig = new ReasonerConfigurationImp();
    reasonerConfig.loadRemoteReasonerConfiguration(new File("reasoner.xml"));
     
    // Start Herakles as OWLlinkServer
    HeraklesOWLlinkServer herakles = new HeraklesOWLlinkServer(heraklesConfig);
    herakles.start(reasonerConfig);
  }
View Full Code Here
76
77
78
79
80
81
82
83
84
      this.executionStrategy = config.getHeraklesConfiguration().getProperty("defaultexecstrategy", "de.fzi.herakles.strategy.impl.BasicPStrategy"); 
    }
  }
 
  public void start(File reasonerConfigFile) {   
    ReasonerConfiguration reasonerConfig = new ReasonerConfigurationImp();
    reasonerConfig.loadRemoteReasonerConfiguration(reasonerConfigFile);
    this.start(reasonerConfig);   
  }
View Full Code Here
70
71
72
73
74
75
76
77
78
79
80
81
    // load the ontology and get the imports closure
    ontology = manager.loadOntologyFromOntologyDocument( IRI.create(TEST_ONTOLOGY) );
   
    // Set up HeraklesReasoner
    ReasonerConfiguration reasonerConfig = new ReasonerConfigurationImp();
    reasonerConfig.addRemoteReasoner("Reasoner", "Pellet", host, port); 
    heraklesReasonerFactory = new HeraklesReasonerFactory(reasonerConfig); 
    heraklesReasoner = heraklesReasonerFactory.createReasoner(ontology);
     
    // Set up reference reasoner
    URL url = new URL("http://" + host + ":" + port);
View Full Code Here
111
112
113
114
115
116
117
118
119
120
121
122
    // load the ontology and get the imports closure
    ontology = manager.loadOntologyFromOntologyDocument( IRI.create(TEST_ONTOLOGY) );
   
    // Set up HeraklesReasoner and start Herakles as OWLlinkServer
    ReasonerConfiguration reasonerConfig = new ReasonerConfigurationImp();
    reasonerConfig.addRemoteReasoner("Pellet", "remotePellet", host, port); 
    heraklesServer = new HeraklesOWLlinkServer();
    heraklesServer.start(reasonerConfig); 
    OWLlinkReasonerConfiguration reasonerConfiguration1 = new OWLlinkReasonerConfiguration(new URL("http://127.0.0.1:8080"));
    heraklesReasonerFactory = new OWLlinkHTTPXMLReasonerFactory();
    heraklesReasoner = (OWLlinkHTTPXMLReasoner) heraklesReasonerFactory.createReasoner(ontology, reasonerConfiguration1); 
View Full Code Here
71
72
73
74
75
76
77
78
79
80
81
82
    // load the ontology and get the imports closure
    ontology = manager.loadOntologyFromOntologyDocument( IRI.create(TEST_ONTOLOGY) );
   
    // Set up HeraklesReasoner and start Herakles as OWLlinkServer
    ReasonerConfiguration reasonerConfig = new ReasonerConfigurationImp();
    reasonerConfig.addRemoteReasoner("Reasoner", "Pellet", host, port); 
    heraklesServer = new HeraklesOWLlinkServer();
    heraklesServer.start(reasonerConfig); 
    OWLlinkReasonerConfiguration reasonerConfiguration1 = new OWLlinkReasonerConfiguration(new URL("http://127.0.0.1:8080"));
    heraklesReasonerFactory = new OWLlinkHTTPXMLReasonerFactory();
    heraklesReasoner = heraklesReasonerFactory.createReasoner(ontology, reasonerConfiguration1); 
View Full Code Here
62
63
64
65
66
67
68
69
70
71
72
73
      OWLDataFactory factory = manager.getOWLDataFactory();
     
      // Load a copy of the wine ontology.  We'll load the ontology from the web.
      OWLOntology ont = manager.loadOntologyFromOntologyDocument( IRI.create( PHYSICAL_URI ) );
     
      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.BasicPStrategy" );
           
            // We now need to load an ontology into the reasoner. 
      OWLReasoner reasoner = reasonerFactory.createReasoner( ont );
View Full Code Here
67
68
69
70
71
72
73
74
75
76
77
78
      OWLDataFactory factory = manager.getOWLDataFactory();
     
      // Load a copy of the wine ontology.  We'll load the ontology from the web.
      OWLOntology ont = manager.loadOntologyFromOntologyDocument( IRI.create( PHYSICAL_URI ) );
     
      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.BasicPStrategy" );
      //OWLReasonerFactory reasonerFactory = new PelletReasonerFactory();
   
      OWLReasoner reasoner = reasonerFactory.createReasoner( ont );
View Full Code Here
63
64
65
66
67
68
69
70
71
72
73
74
      OWLDataFactory factory = manager.getOWLDataFactory();
     
      // Load a copy of the wine ontology.  We'll load the ontology from the web.
      OWLOntology ont = manager.loadOntologyFromOntologyDocument( IRI.create( PHYSICAL_URI ) );
     
      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 );
View Full Code Here
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
 
  /**
   * update the reasoner selection panel because of the changes of available reasoners
   */
  public void updateReasonerBox(){
    ReasonerConfiguration config = HeraklesManager.getReasonerConfiguration();
    Set<String> types = config.getRemoteReasonerTypes();
    reasoners = new HashSet<String>();
    reasonerTypes = new HashMap<String, String>();
    reasonerIndex = new HashMap<String, Integer>();
    for(String type: types){
      Set<Integer> indexs = config.getRemoteReasonerIndex(type);
      for(int index: indexs){
        String reasonerID = type + "-" + index;
        reasoners.add(reasonerID);
        reasonerTypes.put(reasonerID, type);
        reasonerIndex.put(reasonerID, index);
View Full Code Here
TOP

Related Classes of de.fzi.herakles.commons.configuration.ReasonerConfiguration

  • de.fzi.herakles.core.HeraklesOWLlinkServer
  • de.fzi.herakles.examples.AnytimeExample
  • de.fzi.herakles.examples.AQAAnytimeExample
  • de.fzi.herakles.examples.AQAParallelExample
  • de.fzi.herakles.examples.ComplexClassDescriptionExample
  • de.fzi.herakles.examples.LocalExampleOWLAPI
  • de.fzi.herakles.examples.OWLEDExperiment
  • de.fzi.herakles.examples.ParallelExample
  • de.fzi.herakles.examples.SelectionExample
  • de.fzi.herakles.examples.SimpleInitExample
    • 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.