/** * @param axiom * the owl axiom to test * @return {@code true} if the owl axiom can be converted to ELK axiom */ @SuppressWarnings("static-method") public boolean isRelevantAxiom(OWLAxiom axiom) { return axiom.isLogicalAxiom() || axiom.isOfType(AxiomType.DECLARATION); }
/** * @param axiom * the owl axiom to test * @return {@code true} if the owl axiom can be converted to ELK axiom */ @SuppressWarnings("static-method") public boolean isRelevantAxiom(OWLAxiom axiom) { return axiom.isLogicalAxiom() || axiom.isOfType(AxiomType.DECLARATION); }
/** * @param axiom * the owl axiom to test * @return {@code true} if the owl axiom can be converted to ELK axiom */ @SuppressWarnings("static-method") public boolean isRelevantAxiom(OWLAxiom axiom) { return axiom.isLogicalAxiom() || axiom.isOfType(AxiomType.DECLARATION); }
/** * Checks if the given axiom is non-local w.r.t. empty signature and updates * the {@link #nonLocalAxioms} field. * * @param axiom - * Axiom to be checked */ private void checkNonLocalAxiom(OWLAxiom axiom) { if( !axiom.isLogicalAxiom() ) return; // no need to check for non-locals if we already know that we cannot // update modules if( canUpdate() ) { if( !isLocal( axiom, Collections.<OWLEntity>emptySet() ) ) { log.warning( "*** Non-local axiom: " + axiom ); nonLocalAxioms = true; } } }
@Override protected boolean isMetricInvalidated(List<? extends OWLOntologyChange> changes) { for (OWLOntologyChange change : changes) { if (change.isAxiomChange() && change.getAxiom().isLogicalAxiom()) { return true; } } return false; } }
@Override protected boolean isMetricInvalidated(List<? extends OWLOntologyChange> changes) { for (OWLOntologyChange change : changes) { if (change.isAxiomChange() && change.getAxiom().isLogicalAxiom()) { return true; } } return false; } }
@Override protected boolean isMetricInvalidated(List<? extends OWLOntologyChange> changes) { for (OWLOntologyChange change : changes) { if (change.isAxiomChange() && change.getAxiom().isLogicalAxiom()) { return true; } } return false; } }
@Override protected boolean isMetricInvalidated(List<? extends OWLOntologyChange> changes) { for (OWLOntologyChange change : changes) { if (change.isAxiomChange() && change.getAxiom().isLogicalAxiom()) { return true; } } return false; } }
protected boolean isMetricInvalidated(List<? extends OWLOntologyChange> changes) { for(OWLOntologyChange change : changes) { if(change.isAxiomChange() && change.getAxiom().isLogicalAxiom()) { return true; } } return false; } }
private void handleChanges(List<? extends OWLOntologyChange> changes) { for (OWLOntologyChange change : changes) { if (change.isAxiomChange()) { if (change.getAxiom().isLogicalAxiom()) { changed = true; refresh(); break; } } } }
private void handleChanges(List<? extends OWLOntologyChange> changes) { for (OWLOntologyChange change : changes) { if (change.isAxiomChange()) { if (change.getAxiom().isLogicalAxiom()) { changed = true; refresh(); break; } } } }
private void handleChanges(List<? extends OWLOntologyChange> changes) { for (OWLOntologyChange change : changes) { if (change.isAxiomChange()) { if (change.getAxiom().isLogicalAxiom()) { changed = true; refresh(); break; } } } }
private Collection<OWLClass> extractChildren(OWLClass parent) { childClassExtractor.setCurrentParentClass(parent); for (OWLOntology ont : ontologies) { for (OWLAxiom ax : ont.getReferencingAxioms(parent)) { if (ax.isLogicalAxiom()) { ax.accept(childClassExtractor); } } } return childClassExtractor.getResult(); }
private Set<OWLClass> extractChildren(OWLClass parent) { childClassExtractor.setCurrentParentClass(parent); for (OWLOntology ont : ontologies) { for (OWLAxiom ax : ont.getReferencingAxioms(parent)) { if (ax.isLogicalAxiom()) { ax.accept(childClassExtractor); } } } return childClassExtractor.getResult(); }
private Set<OWLClass> extractChildren(OWLClass parent) { childClassExtractor.setCurrentParentClass(parent); for (OWLOntology ont : ontologies) { for (OWLAxiom ax : ont.getReferencingAxioms(parent)) { if (ax.isLogicalAxiom()) { ax.accept(childClassExtractor); } } } return childClassExtractor.getResult(); }
private Set<OWLClass> extractChildren(OWLClass parent) { childClassExtractor.setCurrentParentClass(parent); for (OWLOntology ont : ontologies) { for (OWLAxiom ax : ont.getReferencingAxioms(parent)) { if (ax.isLogicalAxiom()) { ax.accept(childClassExtractor); } } } return childClassExtractor.getResult(); }
private List<OWLOntologyChange> duplicateClassAxioms(OWLClass selectedClass, OWLObjectDuplicator dup, Preferences prefs) { List<OWLOntologyChange> changes = new ArrayList<>(); boolean useActiveOnt = prefs.getBoolean(DUPLICATE_INTO_ACTIVE_ONTOLOGY_KEY, false); for (OWLOntology ont : getOWLModelManager().getActiveOntologies()) { for (OWLAxiom ax : ont.getAxioms(selectedClass, Imports.EXCLUDED)) { if (ax.isLogicalAxiom() && !(ax instanceof OWLDisjointClassesAxiom)) { OWLAxiom duplicatedAxiom = dup.duplicateObject(ax); changes.add(new AddAxiom(useActiveOnt ? getOWLModelManager().getActiveOntology() : ont, duplicatedAxiom)); } } } return changes; }
private List<OWLOntologyChange> duplicateClassAxioms(OWLClass selectedClass, OWLObjectDuplicator dup, Preferences prefs) { List<OWLOntologyChange> changes = new ArrayList<>(); boolean useActiveOnt = prefs.getBoolean(DUPLICATE_INTO_ACTIVE_ONTOLOGY_KEY, false); for (OWLOntology ont : getOWLModelManager().getActiveOntologies()) { for (OWLAxiom ax : ont.getAxioms(selectedClass, Imports.EXCLUDED)) { if (ax.isLogicalAxiom() && !(ax instanceof OWLDisjointClassesAxiom)) { OWLAxiom duplicatedAxiom = dup.duplicateObject(ax); changes.add(new AddAxiom(useActiveOnt ? getOWLModelManager().getActiveOntology() : ont, duplicatedAxiom)); } } } return changes; }
private List<OWLOntologyChange> duplicateClassAxioms(OWLClass selectedClass, OWLObjectDuplicator dup) { List<OWLOntologyChange> changes = new ArrayList<OWLOntologyChange>(); boolean useActiveOnt = prefs.getBoolean(DUPLICATE_INTO_ACTIVE_ONTOLOGY_KEY, false); for (OWLOntology ont : getOWLModelManager().getActiveOntologies()) { for (OWLAxiom ax : ont.getAxioms(selectedClass)) { if (ax.isLogicalAxiom() && !(ax instanceof OWLDisjointClassesAxiom)) { OWLAxiom duplicatedAxiom = dup.duplicateObject(ax); changes.add(new AddAxiom(useActiveOnt ? getOWLModelManager().getActiveOntology() : ont, duplicatedAxiom)); } } } return changes; }
private List<OWLOntologyChange> duplicateClassAxioms(OWLClass selectedClass, OWLObjectDuplicator dup) { List<OWLOntologyChange> changes = new ArrayList<OWLOntologyChange>(); boolean useActiveOnt = prefs.getBoolean(DUPLICATE_INTO_ACTIVE_ONTOLOGY_KEY, false); for (OWLOntology ont : getOWLModelManager().getActiveOntologies()) { for (OWLAxiom ax : ont.getAxioms(selectedClass)) { if (ax.isLogicalAxiom() && !(ax instanceof OWLDisjointClassesAxiom)) { OWLAxiom duplicatedAxiom = dup.duplicateObject(ax); changes.add(new AddAxiom(useActiveOnt ? getOWLModelManager().getActiveOntology() : ont, duplicatedAxiom)); } } } return changes; }