Collection<OWLClass> getUnsatisfiableClasses() { return reasoner.getUnsatisfiableClasses().getEntitiesMinusBottom(); }
@Override public Set<OWLClass> getInconsistentClassesImpl() { Set<OWLClass> unsatisfiableClasses; try { unsatisfiableClasses = reasoner.getUnsatisfiableClasses().getEntitiesMinusBottom(); } catch (UnsupportedOperationException e) { if (useFallbackReasoner) { unsatisfiableClasses = fallbackReasoner.getUnsatisfiableClasses().getEntitiesMinusBottom(); } else { throw e; } } return unsatisfiableClasses; }
Set<OWLClass> unsatisfiable = bottomNode.getEntitiesMinusBottom(); Logger.getLogger(getClass()).info( " List unsatisfiable classes - equal to owl:Nothing");
public void runOptimized(OWLOntology reference) throws IOException{ PelletReasoner reasoner = PelletReasonerFactory.getInstance().createNonBufferingReasoner(reference); reasoner.precomputeInferences(InferenceType.CLASS_HIERARCHY); Set<OWLClass> unsatisfiableClasses = reasoner.getUnsatisfiableClasses().getEntitiesMinusBottom(); logger.info("Unsatisfiable classes(" + unsatisfiableClasses.size() + "): " + unsatisfiableClasses); Set<OWLObjectProperty> unsatisfiableObjectProperties = getUnsatisfiableObjectProperties(reasoner);
unsatisfiableClasses = reasoner.getUnsatisfiableClasses().getEntitiesMinusBottom(); if(!unsatisfiableClasses.isEmpty()){ File to = new File(incoherentSubdirectory, filename); Set<OWLClass> unsatisfiableClasses = null; if(consistent){ unsatisfiableClasses = reasoner.getUnsatisfiableClasses().getEntitiesMinusBottom(); if(!unsatisfiableClasses.isEmpty()){ File to = new File(incoherentSubdirectory, filename);
Set<OWLClass> unsatisfiableClasses = reasoner.getUnsatisfiableClasses().getEntitiesMinusBottom(); logger.info("Unsatisfiable classes(" + unsatisfiableClasses.size() + "): " + unsatisfiableClasses); Set<OWLObjectProperty> unsatisfiableObjectProperties = getUnsatisfiableObjectProperties(reasoner);
for (OWLClass superClass: superClassNode.getEntitiesMinusBottom()) { superClassString = superClass.toString(); superClassUri = this.extractUri(superClassString);