/** * Tests the satisfiability of the test class. The ontology * is recreated before the test is performed. */ private boolean isSatisfiable() throws OWLException { createDebuggingOntology(); // RDFXMLRenderer ren = new RDFXMLRenderer(); // ren.setOWLOntologyManager(owlOntologyManager); // 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; }
/** * Tests the satisfiability of the test class. The ontology is recreated * before the test is performed. * * @return true, if is satisfiable */ private boolean isSatisfiable() { createDebuggingOntology(); OWLReasoner reasoner = reasonerFactory.createNonBufferingReasoner(getDebuggingOntology()); satTestCount++; boolean sat = reasoner.isSatisfiable(verifyNotNull(currentClass)); reasoner.dispose(); return sat; }
/** * Tests the satisfiability of the test class. The ontology is recreated * before the test is performed. * * @return true, if is satisfiable */ private boolean isSatisfiable() { createDebuggingOntology(); OWLReasoner reasoner = reasonerFactory.createNonBufferingReasoner(getDebuggingOntology()); satTestCount++; boolean sat = reasoner.isSatisfiable(verifyNotNull(currentClass)); reasoner.dispose(); return sat; }
/** * Tests the satisfiability of the test class. The ontology is recreated * before the test is performed. * * @return true, if is satisfiable */ private boolean isSatisfiable() { createDebuggingOntology(); OWLReasoner reasoner = reasonerFactory.createNonBufferingReasoner(getDebuggingOntology()); satTestCount++; boolean sat = reasoner.isSatisfiable(verifyNotNull(currentClass)); reasoner.dispose(); return sat; }
/** * Tests the satisfiability of the test class. The ontology is recreated * before the test is performed. * * @return true, if is satisfiable */ private boolean isSatisfiable() { createDebuggingOntology(); OWLReasoner reasoner = reasonerFactory.createNonBufferingReasoner(getDebuggingOntology()); satTestCount++; boolean sat = reasoner.isSatisfiable(verifyNotNull(currentClass)); reasoner.dispose(); return sat; }