/** * Indicates whether or not consistent is the case. * * @return <code>true</code> if so, <code>false</code> otherwise * @throws Exception the exception */ @Override public boolean isConsistent() throws Exception { return reasoner.isConsistent(); }
@Override public boolean isConsistent() throws ReasonerInterruptedException, TimeOutException { classifyClasses(); //return mergedReasoner.isConsistent(); //which is giving a more complete answer?? return owl2reasoner.isConsistent(); }
public void run() { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } OWLObjectPropertyDomainFrameSection.super.refillInferred(); } });
public void run() { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } OWLDataPropertyDomainFrameSection.super.refillInferred(); } });
public void run() { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } OWLObjectPropertyDomainFrameSection.super.refillInferred(); } });
public Set<OWLClass> getAncestors(OWLClass object) { // getReadLock().lock(); try { if(!getReasoner().isConsistent()) { return Collections.emptySet(); } return getReasoner().getSuperClasses(object, false).getFlattened(); } finally { // getReadLock().unlock(); } }
public Set<OWLClass> getAncestors(OWLClass object) { // getReadLock().lock(); try { if(!getReasoner().isConsistent()) { return Collections.emptySet(); } return getReasoner().getSuperClasses(object, false).getFlattened(); } finally { // getReadLock().unlock(); } }
public Set<OWLClass> getDescendants(OWLClass object) { // getReadLock().lock(); try { if(!getReasoner().isConsistent()) { return Collections.emptySet(); } return getReasoner().getSubClasses(object, false).getFlattened(); } finally { // getReadLock().unlock(); } }
protected Color getTextColor(Object obj) { if (obj instanceof OWLClass) { if (getReasoner().isConsistent()) { boolean sat = getReasoner().isSatisfiable((OWLClass) obj); if (!sat) { return UNSATISFIABLE_CLASS_COLOR; } } } return Color.BLACK; } }
@Override protected boolean isConsistent(final OWLOntology o) { final OWLReasoner reasoner = _reasonerFactory.createReasoner(o); return reasoner.isConsistent(); }
public Set<OWLClass> getDescendants(OWLClass object) { // getReadLock().lock(); try { if(!getReasoner().isConsistent()) { return Collections.emptySet(); } return getReasoner().getSubClasses(object, false).getFlattened(); } finally { // getReadLock().unlock(); } }
protected Color getLineColor(Object obj) { if (obj instanceof OWLClass) { if (getReasoner().isConsistent()) { boolean sat = getReasoner().isSatisfiable((OWLClass) obj); if (!sat) { return UNSATISFIABLE_CLASS_COLOR; } } } return Color.GRAY; }
public void run() { OWLReasoner reasoner = getOWLModelManager().getReasoner(); boolean consistent = reasoner.isConsistent(); if (!consistent || !getOWLModelManager().getReasoner().isSatisfiable((OWLClass) curEntity)) { // Paint red because of inconsistency doc.setCharacterAttributes(tokenStartIndex, tokenLength, inconsistentClassStyle, true); } } });
public void run() { OWLObjectProperty prop = (OWLObjectProperty) entity; OWLReasoner reasoner = getOWLModelManager().getReasoner(); boolean consistent = reasoner.isConsistent(); if(!consistent || reasoner.getBottomObjectPropertyNode().contains(prop)) { doc.setCharacterAttributes(tokenStartIndex, tokenLength, inconsistentClassStyle, true); } } });
public void run() { OWLObjectProperty prop = (OWLObjectProperty) entity; OWLReasoner reasoner = getOWLModelManager().getReasoner(); boolean consistent = reasoner.isConsistent(); if(!consistent || reasoner.getBottomObjectPropertyNode().contains(prop)) { doc.setCharacterAttributes(tokenStartIndex, tokenLength, inconsistentClassStyle, true); } } });
public void run() { OWLReasoner reasoner = getOWLModelManager().getReasoner(); boolean consistent = reasoner.isConsistent(); if (!consistent || !getOWLModelManager().getReasoner().isSatisfiable((OWLClass) curEntity)) { // Paint red because of inconsistency doc.setCharacterAttributes(tokenStartIndex, tokenLength, inconsistentClassStyle, true); } } });
@Override protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_OBJECT_PROPERTY_DOMAINS, () -> { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } OWLObjectPropertyDomainFrameSection.super.refillInferred(); }); }
@Override protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_DATATYPE_PROPERTY_DOMAINS, () -> { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } OWLDataPropertyDomainFrameSection.super.refillInferred(); }); }
@Override protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_OBJECT_PROPERTY_DOMAINS, () -> { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } OWLObjectPropertyDomainFrameSection.super.refillInferred(); }); }
@Override protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_DATATYPE_PROPERTY_DOMAINS, () -> { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } OWLDataPropertyDomainFrameSection.super.refillInferred(); }); }