public void dispose() { getOWLModelManager().removeListener(modelManagerListener); getOWLModelManager().removeOntologyChangeListener(changeListener); }
private void updateState() { boolean enabled = getOWLModelManager().getActiveOntologies().stream() .filter(o -> !o.getIndividualsInSignature().isEmpty()) .findAny() .isPresent(); setEnabled(enabled); }
public void initialise() throws Exception { getOWLModelManager().addListener(modelManagerListener); getOWLModelManager().addOntologyChangeListener(changeListener); updateState(); }
private void handleOntologyChanges(List<? extends OWLOntologyChange> changes) { changes.stream() .filter(OWLOntologyChange::isAxiomChange) .map(OWLOntologyChange::getAxiom) .map(HasIndividualsInSignature::getIndividualsInSignature) .filter(inds -> !inds.isEmpty()) .findAny() .ifPresent(ax -> updateState()); }
public void actionPerformed(ActionEvent e) { OWLOntology ont = getOWLModelManager().getActiveOntology(); AllDifferentCreator creator = new AllDifferentCreator(getOWLModelManager().getOWLDataFactory(), ont, Collections.singleton(ont)); getOWLModelManager().applyChanges(creator.getChanges()); }
public void actionPerformed(ActionEvent e) { OWLModelManager modelManager = getOWLModelManager(); OWLOntology activeOntology = modelManager.getActiveOntology(); AllDifferentCreator creator = new AllDifferentCreator(modelManager.getOWLDataFactory(), activeOntology, modelManager.getActiveOntologies()); modelManager.applyChanges(creator.getChanges()); updateState(); }
public void actionPerformed(ActionEvent e) { OWLOntology ont = getOWLModelManager().getActiveOntology(); AllDifferentCreator creator = new AllDifferentCreator(getOWLModelManager().getOWLDataFactory(), ont, Collections.singleton(ont)); getOWLModelManager().applyChanges(creator.getChanges()); }
public void actionPerformed(ActionEvent e) { OWLOntology ont = getOWLModelManager().getActiveOntology(); AllDifferentCreator creator = new AllDifferentCreator(getOWLModelManager().getOWLDataFactory(), ont, Collections.singleton(ont)); getOWLModelManager().applyChanges(creator.getChanges()); }