Package de.fzi.herakles.core

Examples of de.fzi.herakles.core.HeraklesReasonerFactory

72
73
74
75
76
77
78
79
80
81
82
    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);
    OWLlinkReasonerConfiguration reasonerConfiguration = new OWLlinkReasonerConfiguration(url);
View Full Code Here
65
66
67
68
69
70
71
72
73
74
75
76
77
78
      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 );
           
            // With the strategies used, Herakles delegates the tasks to all registered reasoners
            // in parallel and returns the results from the fastest one. In the following we perform
            // various reasoning tasks. In between the tasks we wait for a few seconds to ensure
            // every reasoner has finished, since we want every reasoner to be available again for the
View Full Code Here
70
71
72
73
74
75
76
77
78
79
80
81
82
83
      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 );
           
            // We can determine if the pizza ontology is actually consistent.  (If an ontology is
            // inconsistent then owl:Thing is equivalent to owl:Nothing - i.e. there can't be any
            // models of the ontology)
            boolean consistent = reasoner.isConsistent();
View Full Code Here
66
67
68
69
70
71
72
73
74
75
76
77
78
      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 );

      System.out.println("Creating AnytimeListener...");
      AnytimeListener<OWLNamedIndividual> listener = new AnytimeListenerImpl();
           
            OWLClass cls = factory.getOWLClass( IRI.create( CLASS_URI ) );
View Full Code Here
64
65
66
67
68
69
70
71
72
73
74
75
76
      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" );
     
      OWLReasoner reasoner = reasonerFactory.createReasoner( ont );
           
      // We can easily get a list of inconsistent classes.  (A class is inconsistent if it
      // can't possibly have any instances).  Note that the getInconsistentClasses method
      // is really just a convenience method for obtaining the classes that are equivalent
      // to owl:Nothing.
View Full Code Here
72
73
74
75
76
77
78
79
80
81
82
83
84
      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 );

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

      OWLClass cls = factory.getOWLClass(IRI.create(CLASS_URI));
View Full Code Here
59
60
61
62
63
64
65
66
67
68
69
70
71
72
      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.AnalysingLoadStrategy", "de.fzi.herakles.strategy.impl.ABoxTBoxRatioSelectionStrategy" );
           
            // We now need to load an ontology into the reasoner. 
      OWLReasoner reasoner = reasonerFactory.createReasoner( ont );
           
            // With the strategies used, Herakles delegates the tasks to all registered reasoners
            // in parallel and returns the results from the fastest one. In the following we perform
            // various reasoning tasks. In between the tasks we wait for a few seconds to ensure
            // every reasoner has finished, since we want every reasoner to be available again for the
View Full Code Here
65
66
67
68
69
70
71
72
73
74
75
76
77
      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.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 ) );
View Full Code Here
73
74
75
76
77
78
79
80
81
82
83
84
85
86
      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.BenchmarkingStrategy" );
           
            // We now need to load an ontology into the reasoner. 
      OWLReasoner reasoner = reasonerFactory.createReasoner( ont );
           
            // With the strategies used, Herakles delegates the tasks to all registered reasoners
            // in parallel and returns the results from the fastest one. In the following we perform
            // various reasoning tasks. In between the tasks we wait for a few seconds to ensure
            // every reasoner has finished, since we want every reasoner to be available again for the
View Full Code Here
72
73
74
75
76
77
78
79
80
81
82
83
84
      // make sure these jars are on the classpath
     
      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);
View Full Code Here
TOP

Related Classes of de.fzi.herakles.core.HeraklesReasonerFactory

  • de.fzi.herakles.commons.reasoner.ReasonerAdapter
  • 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.