protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_SUPER_CLASSES, new Runnable() { public void run() { refillInferredDoIt(); } }); }
protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_INHERITED_ANONYMOUS_CLASSES, new Runnable() { public void run() { refillInferredDoIt(); } }); }
@Override protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_OBJECT_PROPERTY_DOMAINS, new Runnable() { public void run() { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } OWLObjectPropertyDomainFrameSection.super.refillInferred(); } }); }
@Override protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_DATATYPE_PROPERTY_DOMAINS, new Runnable() { public void run() { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } OWLDataPropertyDomainFrameSection.super.refillInferred(); } }); }
@Override protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_DATATYPE_PROPERTY_DOMAINS, new Runnable() { public void run() { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } OWLDataPropertyDomainFrameSection.super.refillInferred(); } }); }
@Override protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_OBJECT_PROPERTY_DOMAINS, new Runnable() { public void run() { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } OWLObjectPropertyDomainFrameSection.super.refillInferred(); } }); }
private void highlightPropertyIfUnsatisfiable(final OWLEntity entity, final StyledDocument doc, final int tokenStartIndex, final int tokenLength) { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_OBJECT_PROPERTY_UNSATISFIABILITY, new Runnable() { 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); } } }); }
protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_SUPER_CLASSES, () -> { refillInferredDoIt(); }); }
protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_SUPER_CLASSES, () -> { refillInferredDoIt(); }); }
private void highlightPropertyIfUnsatisfiable(final OWLEntity entity, final StyledDocument doc, final int tokenStartIndex, final int tokenLength) { try { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_OBJECT_PROPERTY_UNSATISFIABILITY, new Runnable() { 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); } } }); } catch (Exception e) { ProtegeApplication.getErrorLog().logError(e); } }
@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_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(); }); }
private void highlightPropertyIfUnsatisfiable(final OWLEntity entity, final StyledDocument doc, final int tokenStartIndex, final int tokenLength) { try { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_OBJECT_PROPERTY_UNSATISFIABILITY, () -> { OWLObjectProperty prop = (OWLObjectProperty) entity; OWLReasoner reasoner = getOWLModelManager().getReasoner(); boolean consistent = reasoner.isConsistent(); if(!consistent || reasoner.getBottomObjectPropertyNode().contains(prop)) { doc.setCharacterAttributes(tokenStartIndex, tokenLength, inconsistentClassStyle, true); } }); } catch (Exception e) { logger.warn("An error occurred whilst highlighting an unsatisfiable property: {}", e); } }
protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_EQUIVALENT_DATATYPE_PROPERTIES, () -> { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } Set<OWLDataProperty> equivs = new HashSet<>(getReasoner().getEquivalentDataProperties(getRootObject()).getEntities()); equivs.remove(getRootObject()); if (!equivs.isEmpty()){ OWLEquivalentDataPropertiesAxiom ax = getOWLDataFactory().getOWLEquivalentDataPropertiesAxiom(equivs); if (!added.contains(ax)) { addRow(new OWLEquivalentDataPropertiesFrameSectionRow(getOWLEditorKit(), OWLEquivalentDataPropertiesFrameSection.this, null, getRootObject(), ax)); } } }); }
protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_OBJECT_PROPERTY_RANGES, () -> { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } for (OWLClassExpression inferredRange : getInferredRanges()) { if (!addedRanges.contains(inferredRange)) { OWLObjectPropertyRangeAxiom inferredAxiom = getOWLDataFactory().getOWLObjectPropertyRangeAxiom(getRootObject(), inferredRange); addInferredRowIfNontrivial(new OWLObjectPropertyRangeFrameSectionRow(getOWLEditorKit(), OWLObjectPropertyRangeFrameSection.this, null, getRootObject(), inferredAxiom)); } addedRanges.add(inferredRange); } }); }
protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_EQUIVALENT_OBJECT_PROPERTIES, () -> { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } Node<OWLObjectPropertyExpression> equivalentObjectProperties = getReasoner().getEquivalentObjectProperties(getRootObject()); if (!equivalentObjectProperties.getEntitiesMinus(getRootObject()).isEmpty()) { OWLEquivalentObjectPropertiesAxiom ax = getOWLDataFactory().getOWLEquivalentObjectPropertiesAxiom(equivalentObjectProperties.getEntities()); if (!added.contains(ax)) { addInferredRowIfNontrivial(new OWLEquivalentObjectPropertiesAxiomFrameSectionRow(getOWLEditorKit(), OWLEquivalentObjectPropertiesAxiomFrameSection.this, null, getRootObject(), ax)); } } }); }
protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_TYPES, () -> { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } if (!getRootObject().isAnonymous()){ for (OWLClass inferredType : getReasoner().getTypes(getRootObject().asOWLNamedIndividual(), true).getFlattened()) { if (!added.contains(inferredType)) { OWLClassAssertionAxiom ax = getOWLDataFactory().getOWLClassAssertionAxiom(inferredType, getRootObject()); addInferredRowIfNontrivial(new OWLClassAssertionAxiomTypeFrameSectionRow(getOWLEditorKit(), OWLClassAssertionAxiomTypeFrameSection.this, null, getRootObject(), ax)); added.add(inferredType); } } } }); }
protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_SUPER_OBJECT_PROPERTIES, () -> { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } for (OWLObjectPropertyExpression infSup : getOWLModelManager().getReasoner().getSuperObjectProperties(getRootObject(),true).getFlattened()) { if (!added.contains(infSup)) { addInferredRowIfNontrivial(new OWLSubObjectPropertyAxiomSuperPropertyFrameSectionRow(getOWLEditorKit(), OWLSubObjectPropertyAxiomSuperPropertyFrameSection.this, null, getRootObject(), getOWLDataFactory().getOWLSubObjectPropertyOfAxiom(getRootObject(), infSup))); } } }); }