protected OWLObjectEditor<OWLClassExpression> getObjectEditor() { return getOWLEditorKit().getWorkspace().getOWLComponentFactory().getOWLClassDescriptionEditor(getAxiom().getClassExpression(), AxiomType.CLASS_ASSERTION); }
protected OWLClassAssertionAxiom createAxiom(OWLClassExpression editedObject) { return getOWLDataFactory().getOWLClassAssertionAxiom(editedObject, getRootObject()); }
protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_TYPES, new Runnable() { public void run() { 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()); addRow(new OWLClassAssertionAxiomTypeFrameSectionRow(getOWLEditorKit(), OWLClassAssertionAxiomTypeFrameSection.this, null, getRootObject(), ax)); added.add(inferredType); } } } } }); }
/** * Gets a list of objects contained in this row. These objects * could be placed on the clip board during a copy operation, * or navigated to etc. */ public List<OWLClassExpression> getManipulatableObjects() { return Arrays.asList(getAxiom().getClassExpression()); } }
protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_TYPES, new Runnable() { public void run() { 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); } } } } }); }
/** * Gets a list of objects contained in this row. These objects * could be placed on the clip board during a copy operation, * or navigated to etc. */ public List<OWLClassExpression> getManipulatableObjects() { return Arrays.asList(getAxiom().getClassExpression()); } }
protected OWLObjectEditor<OWLClassExpression> getObjectEditor() { return getOWLEditorKit().getWorkspace().getOWLComponentFactory().getOWLClassDescriptionEditor(getAxiom().getClassExpression(), AxiomType.CLASS_ASSERTION); }
protected OWLClassAssertionAxiom createAxiom(OWLClassExpression editedObject) { return getOWLDataFactory().getOWLClassAssertionAxiom(editedObject, getRootObject()); }
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { for (OWLClassAssertionAxiom ax : ontology.getClassAssertionAxioms(getRootObject())) { addRow(new OWLClassAssertionAxiomTypeFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); added.add(ax.getClassExpression()); } }
/** * Gets a list of objects contained in this row. These objects * could be placed on the clip board during a copy operation, * or navigated to etc. */ public List<OWLClassExpression> getManipulatableObjects() { return Arrays.asList(getAxiom().getClassExpression()); } }
protected OWLObjectEditor<OWLClassExpression> getObjectEditor() { return getOWLEditorKit().getWorkspace().getOWLComponentFactory().getOWLClassDescriptionEditor(getAxiom().getClassExpression(), AxiomType.CLASS_ASSERTION); }
protected OWLClassAssertionAxiom createAxiom(OWLClassExpression editedObject) { return getOWLDataFactory().getOWLClassAssertionAxiom(editedObject, getRootObject()); }
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { for (OWLClassAssertionAxiom ax : ontology.getClassAssertionAxioms(getRootObject())) { addRow(new OWLClassAssertionAxiomTypeFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); added.add(ax.getClassExpression()); } }
/** * Gets a list of objects contained in this row. These objects * could be placed on the clip board during a copy operation, * or navigated to etc. */ public List<OWLClassExpression> getManipulatableObjects() { return Arrays.asList(getAxiom().getClassExpression()); } }
protected OWLObjectEditor<OWLClassExpression> getObjectEditor() { return getOWLEditorKit().getWorkspace().getOWLComponentFactory().getOWLClassDescriptionEditor(getAxiom().getClassExpression(), AxiomType.CLASS_ASSERTION); }
protected OWLClassAssertionAxiom createAxiom(OWLClassExpression editedObject) { return getOWLDataFactory().getOWLClassAssertionAxiom(editedObject, getRootObject()); }
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { for (OWLClassAssertionAxiom ax : ontology.getClassAssertionAxioms(getRootObject())) { addRow(new OWLClassAssertionAxiomTypeFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); added.add(ax.getClassExpression()); } }
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { for (OWLClassAssertionAxiom ax : ontology.getClassAssertionAxioms(getRootObject())) { addRow(new OWLClassAssertionAxiomTypeFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); added.add(ax.getClassExpression()); } }
public void run() { 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()); addRow(new OWLClassAssertionAxiomTypeFrameSectionRow(getOWLEditorKit(), OWLClassAssertionAxiomTypeFrameSection.this, null, getRootObject(), ax)); added.add(inferredType); } } } } });
public void run() { 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); } } } } });