Package org.semanticweb.reasonerfactory.factpp

Examples of org.semanticweb.reasonerfactory.factpp.FaCTPlusPlusReasonerFactory

257
258
259
260
261
262
263
264
265
266
267
    timers.createTimer("classification");
   
    OWLReasonerFactory reasonerFactory = null;
    switch (selectReasoner){
      case 1: reasonerFactory = new PelletReasonerFactory(); break;
      case 2: reasonerFactory = new FaCTPlusPlusReasonerFactory(); break;
      default: reasonerFactory = new PelletReasonerFactory(); break;
    }
   
    OWLReasoner reasoner = reasonerFactory.createReasoner(manager);
   
View Full Code Here
396
397
398
399
400
401
402
403
404
405
406
      timers.createTimer("approximation");
     
      OWLReasonerFactory reasonerFactory = null;
      switch (selectReasoner){
        case 1: reasonerFactory = new PelletReasonerFactory(); break;
        case 2: reasonerFactory = new FaCTPlusPlusReasonerFactory(); break;
        default: reasonerFactory = new PelletReasonerFactory(); break;
      }     
     
      /* Initialize manager used for loading the Abox */
      OWLOntologyManager manager = null;
View Full Code Here
131
132
133
134
135
136
137
138
139
140
141
    {
    case 1:
      reasonerFactory = new PelletReasonerFactory();
      break;
    case 2:
      reasonerFactory = new FaCTPlusPlusReasonerFactory();
      break;
    default:
      reasonerFactory = new PelletReasonerFactory();
      break;
    }
View Full Code Here
TOP

Related Classes of org.semanticweb.reasonerfactory.factpp.FaCTPlusPlusReasonerFactory

  • nl.vu.few.anytimereasoning.workbench.approximation.ApproximationManager
  • nl.vu.few.anytimereasoning.workbench.reasoningtask.InstanceRetrieval
  • org.semanticweb.owl.inference.OWLReasoner
  • org.semanticweb.reasonerfactory.OWLReasonerSetupException
    • 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.