Package edu.stanford.smi.protegex.owl.inference.protegeowl

Examples of edu.stanford.smi.protegex.owl.inference.protegeowl.ReasonerManager

49
50
51
52
53
54
55
56
57
58
59
60
   */
  public void initialize() throws IOntologyException {
    String reasonerClass =
      System.getProperty("reasoner.class",DEFAULT_REASONER);
    try{
      ReasonerManager manager = ReasonerManager.getInstance();
      reasoner = manager.setProtegeReasonerClass(ontology.getModel(),Class.forName(reasonerClass));
      reasoner.initialize();
      //reasoner.setURL("http://localhost:8081");
      taskListener = new TaskListener();
      reasoner.setReasonerTaskListener(taskListener);
    }catch(Exception ex){
View Full Code Here
49
50
51
52
53
54
55
56
57
58
59
60
   */
  public void initialize() throws IOntologyException {
    String reasonerClass =
      System.getProperty("reasoner.class",DEFAULT_REASONER);
    try{
      ReasonerManager manager = ReasonerManager.getInstance();
      reasoner = manager.setProtegeReasonerClass(ontology.getModel(),Class.forName(reasonerClass));
      reasoner.initialize();
      //reasoner.setURL("http://localhost:8081");
      taskListener = new TaskListener();
      reasoner.setReasonerTaskListener(taskListener);
    }catch(Exception ex){
View Full Code Here
87
88
89
90
91
92
93
94
95
96
     * Returns the ProtegePelletJenaReasoner that's connected to the given owl model
     * @return
     */
    private ProtegeReasoner getReasoner(){
      if(reasoner==null){
        ReasonerManager reasonerManager = ReasonerManager.getInstance();
        reasoner = reasonerManager.getProtegeReasoner(this.individual.getOWLModel());
      }
      return reasoner;
    }
View Full Code Here
77
78
79
80
81
82
83
84
85
86
87
     * @return
     */
    private ProtegeReasoner createPelletJenaReasoner(OWLModel owlModel) {

    // Get the reasoner manager and obtain a reasoner for the OWL model.
    @SuppressWarnings("unused")
    ReasonerManager reasonerManager = ReasonerManager.getInstance();

    //Get an instance of the Protege Pellet reasoner
    ProtegeReasoner preasoner = null;
    // FIXME Switching this out, as slf4j compatability bug means it is not usable at present.
View Full Code Here
TOP

Related Classes of edu.stanford.smi.protegex.owl.inference.protegeowl.ReasonerManager

  • edu.pitt.dbmi.nlp.noble.ontology.protege.PReasoner
  • edu.pitt.ontology.protege.PReasoner
  • eu.planets_project.tb.impl.model.ontology.OntologyHandlerImpl
  • eu.planets_project.tb.impl.model.ontology.OntologyPropertyImpl
    • 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.