public Node<OWLClass> getUnsatisfiableClasses() throws ReasonerInterruptedException, TimeOutException, InconsistentOntologyException { return reasoner.getUnsatisfiableClasses(); }
@Override public synchronized Node<OWLClass> getUnsatisfiableClasses() throws ReasonerInterruptedException, TimeOutException { return r.getUnsatisfiableClasses(); }
@Override public Node<OWLClass> getUnsatisfiableClasses() { return delegate_.getUnsatisfiableClasses(); }
@Override public Node<OWLClass> getUnsatisfiableClasses() { return delegate_.getUnsatisfiableClasses(); }
@Override public Node<OWLClass> getUnsatisfiableClasses() { return delegate_.getUnsatisfiableClasses(); }
public Set<OWLClass> getInconsistentOWLClasses() { Node<OWLClass> inconsClsNodes; try { inconsClsNodes = reasoner.getUnsatisfiableClasses(); } catch (UnsupportedOperationException e) { if (useFallbackReasoner) { inconsClsNodes = fallbackReasoner.getUnsatisfiableClasses(); } else { throw e; } } return inconsClsNodes.getEntities(); }
@Override protected Integer recomputeMetric() { return Integer.valueOf(reasoner.getUnsatisfiableClasses().getSize()); }
@Override protected Integer recomputeMetric() { return Integer.valueOf(reasoner.getUnsatisfiableClasses().getSize()); }
@Override protected Integer recomputeMetric() { return Integer.valueOf(reasoner.getUnsatisfiableClasses().getSize()); }
@Override protected Integer recomputeMetric() { return Integer.valueOf(reasoner.getUnsatisfiableClasses().getSize()); }
@Override public Node<OWLClass> getUnsatisfiableClasses() throws ReasonerInterruptedException, TimeOutException, InconsistentOntologyException { classifyClasses(); return mergedReasoner.getUnsatisfiableClasses(); /*Node<OWLClass> unsatClasses = null; unsatClasses = lReasoner.getUnsatisfiableClasses(); // LogOutput.print(unsatClasses.getSize()); // LogOutput.print(hermiT.getUnsatisfiableClasses().getSize()); unsatClasses.getEntities().addAll(hermiT.getUnsatisfiableClasses().getEntities()); // LogOutput.print(unsatClasses.getSize()); return unsatClasses; */ }
protected Integer recomputeMetric() { return reasoner.getUnsatisfiableClasses().getSize(); }
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; }
/** * A convenience method that obtains the classes in the signature of the root ontology that are * unsatisfiable. * * @return A {@code Node} that is the bottom node in the class hierarchy. This node represents * {@code owl:Nothing} and contains {@code owl:Nothing} itself plus classes that are * equivalent to {@code owl:Nothing}. * @throws ReasonerInterruptedException if the reasoning process was interrupted for any * particular reason (for example if reasoning was cancelled by a client process) * @throws TimeOutException if the reasoner timed out during a basic reasoning operation. See * {@link #getTimeOut()}. * @throws InconsistentOntologyException if the set of reasoner axioms is inconsistent */ default Stream<OWLClass> unsatisfiableClasses() { return getUnsatisfiableClasses().entities(); }
/** * A convenience method that obtains the classes in the signature of the root ontology that are * unsatisfiable. * * @return A {@code Node} that is the bottom node in the class hierarchy. This node represents * {@code owl:Nothing} and contains {@code owl:Nothing} itself plus classes that are * equivalent to {@code owl:Nothing}. * @throws ReasonerInterruptedException if the reasoning process was interrupted for any * particular reason (for example if reasoning was cancelled by a client process) * @throws TimeOutException if the reasoner timed out during a basic reasoning operation. See * {@link #getTimeOut()}. * @throws InconsistentOntologyException if the set of reasoner axioms is inconsistent */ default Stream<OWLClass> unsatisfiableClasses() { return getUnsatisfiableClasses().entities(); }
/** * A convenience method that obtains the classes in the signature of the root ontology that are * unsatisfiable. * * @return A {@code Node} that is the bottom node in the class hierarchy. This node represents * {@code owl:Nothing} and contains {@code owl:Nothing} itself plus classes that are * equivalent to {@code owl:Nothing}. * @throws ReasonerInterruptedException if the reasoning process was interrupted for any * particular reason (for example if reasoning was cancelled by a client process) * @throws TimeOutException if the reasoner timed out during a basic reasoning operation. See * {@link #getTimeOut()}. * @throws InconsistentOntologyException if the set of reasoner axioms is inconsistent */ default Stream<OWLClass> unsatisfiableClasses() { return getUnsatisfiableClasses().entities(); }
@Override public Collection<OWLClass> getOwlClasses() { if (allClasses == null) { allClasses = new HashSet<OWLClass>(ontology.getClassesInSignature()); allClasses.removeAll(reasoner.getUnsatisfiableClasses().getEntities()); allClasses.removeAll(reasoner.getEquivalentClasses(factory.getOWLThing()).getEntities()); } return allClasses; }
private void computeCandidateRoots() throws ExplanationException { List<OWLClass> unsatisfiableClasses = asList(reasoner.getUnsatisfiableClasses().entities()); SuperClassChecker checker = new SuperClassChecker(); for (OWLClass cls : unsatisfiableClasses) { checker.reset(); EntitySearcher.getSuperClasses(cls, reasoner.getRootOntology().importsClosure()).forEach(sup-> sup.accept(checker)); EntitySearcher.getEquivalentClasses(cls, reasoner.getRootOntology().importsClosure()).forEach(sup-> sup.accept(checker)); Set<OWLClass> dependencies = checker.getDependencies(); child2Parent.put(cls, new HashSet<>(dependencies)); if (dependencies.isEmpty()) { // Definite root? roots.add(cls); } } }
/** * @param reasoner OWLReasoner being used * @param outputIRI IRI of output * @return minimal incoherent module * @throws OWLOntologyCreationException on issue creating incoherent module */ public static OWLOntology createIncoherentModule(OWLReasoner reasoner, IRI outputIRI) throws OWLOntologyCreationException { OWLOntology ontology = reasoner.getRootOntology(); OWLClass nothing = ontology.getOWLOntologyManager().getOWLDataFactory().getOWLNothing(); Set<OWLClass> unsatisfiableClasses = reasoner.getUnsatisfiableClasses().getEntitiesMinus(nothing); return createIncoherentModule(ontology, unsatisfiableClasses, outputIRI); }