Examples of org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration

org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration
An OWLReasonerConfiguration can be used to customise the setup of a reasoner at reasoner creation time via an {@link org.semanticweb.owlapi.reasoner.OWLReasonerFactory}. Specific reasoners may define their own configuration objects with configuration options particular to the reasoner. There are also a set of general options defined by this configuration object.
Note that once a reasoner has been created, changing fields (via setter methods or directly) on the configuration object will have no effect. @author Matthew Horridge, The University of Manchester, InformationManagement Group @since 3.0.0 @see org.semanticweb.owlapi.reasoner.OWLReasonerFactory @see org.semanticweb.owlapi.reasoner.SimpleConfiguration

        OWLOntology o = loadPizzaOntology(m);
        // Create a console progress monitor. This will print the reasoner
        // progress out to the console.
        ReasonerProgressMonitor progressMonitor = new LoggingReasonerProgressMonitor(
                LOG, "testUnsatisfiableClasses");
        OWLReasonerConfiguration config = new SimpleConfiguration(
                progressMonitor);
        // Create a reasoner that will reason over our ontology and its imports
        // closure. Pass in the configuration.
        // not using it in tests, we don't need the output
        // OWLReasoner reasoner = reasonerFactory.createReasoner(o, config);

View Full Code Here

        OWLOntology o = loadPizzaOntology(m);
        // Create a console progress monitor. This will print the reasoner
        // progress out to the console.
        ReasonerProgressMonitor progressMonitor = new LoggingReasonerProgressMonitor(
                LOG, "testDescendants");
        OWLReasonerConfiguration config = new SimpleConfiguration(
                progressMonitor);
        // Create a reasoner that will reason over our ontology and its imports
        // closure. Pass in the configuration.
        // not using it in tests, we don't need the output
        // OWLReasoner reasoner = reasonerFactory.createReasoner(o, config);

View Full Code Here

        OWLOntology o = loadPizzaOntology(m);
        // Create a console progress monitor. This will print the reasoner
        // progress out to the console.
        ReasonerProgressMonitor progressMonitor = new LoggingReasonerProgressMonitor(
                LOG, "testPetInstances");
        OWLReasonerConfiguration config = new SimpleConfiguration(
                progressMonitor);
        // Create a reasoner that will reason over our ontology and its imports
        // closure. Pass in the configuration.
        // not using it in tests, we don't need the output
        // OWLReasoner reasoner = reasonerFactory.createReasoner(o, config);

View Full Code Here

  public Pellet(){
    factory = PelletReasonerFactory.getInstance();
  }
  
  public OWLReasoner getReasoner(OWLOntology ontology){
    OWLReasonerConfiguration config = new SimpleConfiguration(ReasonerPara.TIMEOUT);
    PelletReasoner reasoner = factory.createReasoner(ontology, config);
    return reasoner;
  }

View Full Code Here

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

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

        OWL.differentFrom( b, c ),
        OWL.differentFrom( a, c )
    };
    
    OWLOntology ont = OWL.Ontology( axioms );
    OWLReasonerConfiguration config = new SimpleConfiguration( new NullReasonerProgressMonitor(), FreshEntityPolicy.ALLOW, Long.MAX_VALUE, p );
    PelletReasoner pellet = PelletReasonerFactory.getInstance().createReasoner( ont, config );
    
    return pellet;
  }

View Full Code Here

TOP

Related Classes of org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration

com.clarkparsia.pellet.test.owlapi.OWLAPIv3Tests

org.herakles.ml.selection.trainingData.reasonerTest.server.CelServer

org.herakles.ml.selection.trainingData.reasonerTest.server.TrowlServer

org.herakles.ml.selection.trainingData.reasonerTest.test.noOwllink.reasoners.Pellet

uk.ac.manchester.owl.owlapi.tutorialowled2011.TutorialSnippetsTestCase

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.