@Override public Set<OWLClass> getClassesInSignature() { Set<OWLClass> result = new HashSet<OWLClass>(); for (OWLEntity ent : getSignature()) { if (ent.isOWLClass()) { result.add(ent.asOWLClass()); } } return result; }
@Override public Set<OWLClass> getClassesInSignature() { Set<OWLClass> result = new HashSet<>(); for (OWLEntity ent : getSignature()) { if (ent.isOWLClass()) { result.add(ent.asOWLClass()); } } return result; }
public Set<OWLClass> getClassesInSignature() { Set<OWLClass> result = new HashSet<OWLClass>(); for (OWLEntity ent : getSignature()) { if (ent.isOWLClass()) { result.add(ent.asOWLClass()); } } return result; }
@Override public Set<OWLClass> getClassesInSignature() { Set<OWLClass> result = new HashSet<>(); for (OWLEntity ent : getSignature()) { if (ent.isOWLClass()) { result.add(ent.asOWLClass()); } } return result; }
public OWLClass getOWLClass(String name) { for (OWLEntity ent : shortFormProvider.getEntities(name)) { if (ent.isOWLClass()) { return ent.asOWLClass(); } } return null; }
public OWLClass getOWLClass(String name) { for (OWLEntity ent : shortFormProvider.getEntities(name)) { if (ent.isOWLClass()) { return ent.asOWLClass(); } } return null; }
@Override public OWLClass getOWLClass(String name) { for (OWLEntity ent : shortFormProvider.getEntities(name)) { if (ent.isOWLClass()) { return ent.asOWLClass(); } } return null; }
@NonNull @Override public OWLClass getOWLClass() { return getOWLEntity().asOWLClass(); }
@Override public boolean matches(@Nonnull OWLEntity value) { if(value.isOWLClass() && !filledClasses) { filledClasses = true; if (filterType == HierarchyFilterType.ALL) { subClasses.addAll(provider.getDescendants(cls)); } else { subClasses.addAll(provider.getChildren(cls)); } } return value.isOWLClass() && subClasses.contains(value.asOWLClass()); } }
private void createGraph(@Nonnull OWLEntity entity, @Nonnull Set<Edge> edges, @Nonnull Set<OWLEntity> processed) { if(processed.contains(entity)) { return; } processed.add(entity); if(entity.isOWLClass()) { var cls = entity.asOWLClass(); createEdgesForClass(edges, processed, cls); } else if(entity.isOWLNamedIndividual()) { var ind = entity.asOWLNamedIndividual(); createEdgesForIndividual(edges, processed, ind); } }
@Override protected ChangeListGenerator<Boolean> getChangeListGenerator(MoveEntitiesToParentAction action, ExecutionContext executionContext) { if(action.getEntity().isOWLClass()) { ImmutableSet<OWLClass> clses = action.getEntities().stream().map(OWLEntity::asOWLClass).collect(toImmutableSet()); return factory.create(clses, action.getEntity().asOWLClass(), action.getCommitMessage()); } return null; }
/** * Returns a set of entities that are structural related to the given entity. * @param ontology * @param entity * @return */ public static Set<OWLEntity> getContext(OWLOntology ontology, OWLEntity entity){ Set<OWLEntity> context; if(entity.isOWLClass()){ context = getContext(ontology, entity.asOWLClass()); } else if(entity.isOWLObjectProperty()){ context = getContext(ontology, entity.asOWLObjectProperty()); } else if(entity.isOWLDataProperty()){ context = getContext(ontology, entity.asOWLDataProperty()); } else { throw new UnsupportedOperationException("Unsupported entity type: " + entity); } context.add(entity); return context; }
public OWLOntologyChange rewriteChange(OWLOntologyChange chg) { if (!chg.isAxiomChange()){ return chg; } boolean rewriteRequired = false; for (OWLEntity entity : chg.getAxiom().getSignature()){ if (entity.isOWLClass() && adcManager.isAnonymous(entity.asOWLClass())){ rewriteRequired = true; break; } } if (rewriteRequired){ if (chg instanceof AddAxiom){ return new AddAxiom(chg.getOntology(), rewriteAxiom(chg.getAxiom())); } else{ return new RemoveAxiom(chg.getOntology(), rewriteAxiom(chg.getAxiom())); } } return chg; }
protected Stream<? extends OWLAxiom> getAxioms(OWLEntity entity) { if (entity.isOWLClass()) { return getOntology().axioms(entity.asOWLClass()); } if (entity.isOWLObjectProperty()) { return getOntology().axioms(entity.asOWLObjectProperty()); } if (entity.isOWLDataProperty()) { return getOntology().axioms(entity.asOWLDataProperty()); } if (entity.isOWLNamedIndividual()) { return getOntology().axioms(entity.asOWLNamedIndividual()); } return empty(); }
protected Stream<? extends OWLAxiom> getAxioms(OWLEntity entity) { if (entity.isOWLClass()) { return getOntology().axioms(entity.asOWLClass()); } if (entity.isOWLObjectProperty()) { return getOntology().axioms(entity.asOWLObjectProperty()); } if (entity.isOWLDataProperty()) { return getOntology().axioms(entity.asOWLDataProperty()); } if (entity.isOWLNamedIndividual()) { return getOntology().axioms(entity.asOWLNamedIndividual()); } return empty(); }
protected Stream<? extends OWLAxiom> getAxioms(OWLEntity entity) { if (entity.isOWLClass()) { return getOntology().axioms(entity.asOWLClass()); } if (entity.isOWLObjectProperty()) { return getOntology().axioms(entity.asOWLObjectProperty()); } if (entity.isOWLDataProperty()) { return getOntology().axioms(entity.asOWLDataProperty()); } if (entity.isOWLNamedIndividual()) { return getOntology().axioms(entity.asOWLNamedIndividual()); } return empty(); }
protected Stream<? extends OWLAxiom> getAxioms(OWLEntity entity) { if (entity.isOWLClass()) { return getOntology().axioms(entity.asOWLClass()); } if (entity.isOWLObjectProperty()) { return getOntology().axioms(entity.asOWLObjectProperty()); } if (entity.isOWLDataProperty()) { return getOntology().axioms(entity.asOWLDataProperty()); } if (entity.isOWLNamedIndividual()) { return getOntology().axioms(entity.asOWLNamedIndividual()); } return empty(); }
private void renderEntity(OWLEntity entity) { ShortFormProvider sfp = renderingContext.getShortFormProvider(); String rendering = sfp.getShortForm(entity); int renderingStart = builder.mark(); builder.append(rendering); int renderingEnd = builder.mark(); Style style = new Style(ForegroundAttribute.get(Color.BLACK)); if (renderingContext.getDeprecatedObjectChecker().isDeprecated(entity)) { style = style.append(ProtegeStyles.getStyles().getDeprecatedEntityStyle()); } if (entity.isOWLClass()) { if (!renderingContext.getClassSatisfiabilityChecker().isSatisfiable(entity.asOWLClass())) { style = style.append(ProtegeStyles.getStyles().getUnsatisfiableClassStyle()); } } builder.applyStyle(renderingStart, renderingEnd, style); }
private void renderEntity(OWLEntity entity) { ShortFormProvider sfp = renderingContext.getShortFormProvider(); String rendering = sfp.getShortForm(entity); int renderingStart = builder.mark(); builder.append(rendering); int renderingEnd = builder.mark(); Style style = new Style(ForegroundAttribute.get(Color.BLACK)); if (renderingContext.getDeprecatedObjectChecker().isDeprecated(entity)) { style = style.append(ProtegeStyles.getStyles().getDeprecatedEntityStyle()); } if (entity.isOWLClass()) { if (!renderingContext.getClassSatisfiabilityChecker().isSatisfiable(entity.asOWLClass())) { style = style.append(ProtegeStyles.getStyles().getUnsatisfiableClassStyle()); } } builder.applyStyle(renderingStart, renderingEnd, style); }
private void renderEntity(OWLEntity entity) { ShortFormProvider sfp = renderingContext.getShortFormProvider(); String rendering = sfp.getShortForm(entity); int renderingStart = builder.mark(); builder.append(rendering); int renderingEnd = builder.mark(); Style style = new Style(ForegroundAttribute.get(Color.BLACK)); if (renderingContext.getDeprecatedObjectChecker().isDeprecated(entity)) { style = style.append(ProtegeStyles.getStyles().getDeprecatedEntityStyle()); } if (entity.isOWLClass()) { if (!renderingContext.getClassSatisfiabilityChecker().isSatisfiable(entity.asOWLClass())) { style = style.append(ProtegeStyles.getStyles().getUnsatisfiableClassStyle()); } } builder.applyStyle(renderingStart, renderingEnd, style); }