Examples of OWLReasonerFactory

Examples of org.semanticweb.owlapi.reasoner.OWLReasonerFactory

101
102
103
104
105
106
107
108
109
110
111
  public void start(ReasonerRegistry registry, String loadStrategy, String executionStrategy) {   
    this.registry = registry;
    this.loadStrategy = loadStrategy;
    this.executionStrategy = executionStrategy;
    try {
      OWLReasonerFactory reasonerFactory = new HeraklesReasonerFactory(this.registry, this.loadStrategy, this.executionStrategy);
      AbstractOWLlinkReasonerConfiguration serverConfiguration = new AbstractOWLlinkReasonerConfiguration();
     
      this.server = new OWLlinkHTTPXMLServer(reasonerFactory, serverConfiguration, this.port);
      this.server.run();
      if(logger.isInfoEnabled()){
View Full Code Here

Examples of org.semanticweb.owlapi.reasoner.OWLReasonerFactory

8
9
10
11
12
13
14
15
16
17
18
public class CelServer extends Server {

  @Override
  public void initialServer(int index) {
    OWLReasonerFactory factory = (OWLReasonerFactory) new CelReasonerFacotry();
    OWLReasonerConfiguration reasonerConfiguration = new SimpleConfiguration();
    AbstractOWLlinkReasonerConfiguration serverConfiguration =
      new AbstractOWLlinkReasonerConfiguration(reasonerConfiguration);
    int port = ServerParams.getPort(index);
    server = new OWLlinkHTTPXMLServer(factory, serverConfiguration, port);
View Full Code Here

Examples of org.semanticweb.owlapi.reasoner.OWLReasonerFactory

10
11
12
13
14
15
16
17
18
19
20
public class TrowlServer extends Server {

  @Override
  public void initialServer(int index) {
    OWLReasonerFactory factory = new ReasonerFactory();
    OWLReasonerConfiguration reasonerConfiguration = new SimpleConfiguration();
    AbstractOWLlinkReasonerConfiguration serverConfiguration =
      new AbstractOWLlinkReasonerConfiguration(reasonerConfiguration);
    int port = ServerParams.getPort(getServerName());
    server = new OWLlinkHTTPXMLServer(factory, serverConfiguration, port);
View Full Code Here

Examples of org.semanticweb.owlapi.reasoner.OWLReasonerFactory

135
136
137
138
139
140
141
142
143
144
145
146
147
      if (ontology2 != null) {
        // two different domain ontologies
        mOutputBlockWriter.write("disjoint");
      } else {
        // same domain ontology
        OWLReasonerFactory reasonerFactory = null;
        reasonerFactory = new Reasoner.ReasonerFactory();
        OWLReasoner reasoner = reasonerFactory
            .createReasoner(ontology1);

        OWLDataFactory fac = manager.getOWLDataFactory();
        OWLClass peOutputClass = fac.getOWLClass(IRI.create(peOutput));
        OWLClass peInputClass = fac.getOWLClass(IRI.create(peInput));
View Full Code Here

Examples of org.semanticweb.owlapi.reasoner.OWLReasonerFactory

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

Examples of org.semanticweb.owlapi.reasoner.OWLReasonerFactory

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

Examples of org.semanticweb.owlapi.reasoner.OWLReasonerFactory

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

Examples of org.semanticweb.owlapi.reasoner.OWLReasonerFactory

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

Examples of org.semanticweb.owlapi.reasoner.OWLReasonerFactory

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

Examples of org.semanticweb.owlapi.reasoner.OWLReasonerFactory

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
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.