Examples of org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor

org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor
The ReasonerProgressMonitor interface should be implemented by objects that wish to montitor the progress of a resoner. The reasoner whose progress is being monitored will call the methods on this interface. The progress monitor is designed to monitor long running reasoner tasks such as loading, preprocessing, consistency checking, classification and realisation.
Tasks are executed sequentially. Nested tasks are not supported.
The general contract is that the reasoner will call {@link #reasonerTaskStarted(String)}, then call either {@link #reasonerTaskBusy()} or {@link #reasonerTaskProgressChanged(int,int)}any number of times and finally call {@link #reasonerTaskStopped()} when thetask ends or has been interupted. This cycle may then be repeated. @author Matthew Horridge, The University of Manchester, InformationManagement Group @since 3.0.0

    public void testUnsatisfiableClasses() throws OWLException {
        OWLOntologyManager m = create();
        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.

View Full Code Here

    public void testDescendants() throws OWLException {
        OWLOntologyManager m = create();
        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.

View Full Code Here

    public void testPetInstances() throws OWLException {
        OWLOntologyManager m = create();
        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.

View Full Code Here

TOP

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

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.