Examples of org.semanticweb.owlapi.reasoner.OWLReasoner.dispose()

Class org.semanticweb.owlapi.reasoner.OWLReasoner

Examples of org.semanticweb.owlapi.reasoner.OWLReasoner.dispose()

org.semanticweb.owlapi.reasoner.OWLReasoner.dispose()
Disposes of this reasoner. This frees up any resources used by the reasoner and detaches the reasoner as an {@link org.semanticweb.owlapi.model.OWLOntologyChangeListener} from the{@link org.semanticweb.owlapi.model.OWLOntologyManager} that manages theontologies contained within the reasoner.

            if (!reasoner.isSatisfiable(cl)) {
                assertNotNull(labelFor(cl, o));
                // System.out.println("XXX: " + labelFor(cl, o));
            }
        }
        reasoner.dispose();
    }


    public static class LoggingReasonerProgressMonitor implements
            ReasonerProgressMonitor {

View Full Code Here

            assert cl != null;
            if (!reasoner.isSatisfiable(cl)) {
                out.println("XXX: " + labelFor(cl));
            }
        }
        reasoner.dispose();
    }


    private String labelFor(@Nonnull OWLClass clazz) {
        /*
         * Use a visitor to extract label annotations

View Full Code Here

        createDebuggingOntology();
        OWLReasoner reasoner = getReasonerFactory().createNonBufferingReasoner(
                verifyNotNull(debuggingOntology));
        if (OntologyUtils.containsUnreferencedEntity(
                verifyNotNull(debuggingOntology), unsatClass)) {
            reasoner.dispose();
            return true;
        }
        satTestCount++;
        boolean sat = reasoner.isSatisfiable(unsatClass);
        reasoner.dispose();

View Full Code Here

            reasoner.dispose();
            return true;
        }
        satTestCount++;
        boolean sat = reasoner.isSatisfiable(unsatClass);
        reasoner.dispose();
        return sat;
    }


    private void createDebuggingOntology() throws OWLException {
        if (debuggingOntology != null) {

View Full Code Here

        createDebuggingOntology();
        OWLReasoner reasoner = reasonerFactory
                .createNonBufferingReasoner(getDebuggingOntology());
        satTestCount++;
        boolean sat = reasoner.isSatisfiable(verifyNotNull(currentClass));
        reasoner.dispose();
        return sat;
    }


    private void createDebuggingOntology() throws OWLException {
        if (debuggingOntology != null) {

View Full Code Here


        if (OntologyUtils.containsUnreferencedEntity(debuggingOntology, unsatClass))
            return true;
        satTestCount++;
        boolean sat = reasoner.isSatisfiable(unsatClass);
        reasoner.dispose();
        return sat;
    }




    int ontologyCounter = 0;

View Full Code Here

//        ren.render(debuggingOntology, IRI.create("file:/Users/matthewhorridge/Desktop/DebuggingOntology" + ontologyCounter + ".owlapi"));
        ontologyCounter++;
        OWLReasoner reasoner = reasonerFactory.createNonBufferingReasoner(debuggingOntology);
        satTestCount++;
        boolean sat = reasoner.isSatisfiable(currentClass);
        reasoner.dispose();
        return sat;
    }




    int ontologyCounter = 0;

View Full Code Here

//        ren.render(debuggingOntology, IRI.create("file:/Users/matthewhorridge/Desktop/DebuggingOntology" + ontologyCounter + ".owlapi"));
        ontologyCounter++;
        OWLReasoner reasoner = reasonerFactory.createNonBufferingReasoner(debuggingOntology);
        satTestCount++;
        boolean sat = reasoner.isSatisfiable(currentClass);
        reasoner.dispose();
        return sat;
    }




    int ontologyCounter = 0;

View Full Code Here

        ontologyCounter++;


        OWLReasoner reasoner = getReasonerFactory().createNonBufferingReasoner(debuggingOntology);


        if (OntologyUtils.containsUnreferencedEntity(debuggingOntology, unsatClass)) {
          reasoner.dispose();
            return true;
        }
        satTestCount++;
        boolean sat = reasoner.isSatisfiable(unsatClass);
        reasoner.dispose();

View Full Code Here

          reasoner.dispose();
            return true;
        }
        satTestCount++;
        boolean sat = reasoner.isSatisfiable(unsatClass);
        reasoner.dispose();
        return sat;
    }




    int ontologyCounter = 0;

View Full Code Here

0 1

TOP

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.