@Override protected Set<OWLEquivalentClassesAxiom> getAxiomsInOntology(OWLClass subject, OWLOntology ontology) { return ontology.getEquivalentClassesAxioms(subject); }
public Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(OWLOntology ontology) { return ontology.getEquivalentClassesAxioms(this); }
/** * Determines if this class has at least one equivalent class in the specified ontology. * * @param ontology The ontology to examine for axioms. */ public boolean isDefined(OWLOntology ontology) { return !ontology.getEquivalentClassesAxioms(this).isEmpty(); }
@Override @Deprecated public Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(OWLClass owlClass) { return withReadLock(() -> delegate.getEquivalentClassesAxioms(owlClass)); }
@Override public boolean test(@Nonnull OWLClass c) { checkNotNull(c); for(OWLOntology ontology : ontologies) { if(!ontology.getEquivalentClassesAxioms(c).isEmpty()) { return true; } if(!ontology.getDisjointUnionAxioms(c).isEmpty()) { return true; } } return false; }
@Override @Deprecated public Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(OWLClass owlClass) { return withReadLock(() -> delegate.getEquivalentClassesAxioms(owlClass)); }
@Override @Deprecated public Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(OWLClass owlClass) { return withReadLock(() -> delegate.getEquivalentClassesAxioms(owlClass)); }
@Override @Deprecated public Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(OWLClass owlClass) { return withReadLock(() -> delegate.getEquivalentClassesAxioms(owlClass)); }
@Override public boolean test(@Nonnull OWLClass c) { checkNotNull(c); for(OWLOntology ontology : ontologies) { if(!ontology.getEquivalentClassesAxioms(c).isEmpty()) { return true; } if(!ontology.getDisjointUnionAxioms(c).isEmpty()) { return true; } } return false; }
private boolean isPlacedByEquivalentClassesAxiom(@Nonnull OWLClass subClass, @Nonnull OWLClass superClass) { return ontologyStream(rootOntology, Imports.INCLUDED) .flatMap(o -> o.getEquivalentClassesAxioms(subClass).stream()) .flatMap(ax -> ax.getClassExpressions().stream()) .flatMap(ce -> ce.asConjunctSet().stream()) .anyMatch(ce -> ce.equals(superClass)); }
private Stream<OWLSubClassOfAxiom> getEquivalentClassAxiomsAsSubClassOfAxioms(OWLClass cls) { return getOntologies() .flatMap(o -> o.getEquivalentClassesAxioms(cls).stream()) .flatMap(ax -> ax.asOWLSubClassOfAxioms().stream()); }
public Set<OWLClass> getRootClasses() { Set<OWLClass> listOfTopClasses = new HashSet<>(); for (OWLClass cls : ontology.getClassesInSignature()) { if (ontology.getSubClassAxiomsForSubClass(cls).isEmpty() && ontology.getEquivalentClassesAxioms(cls).isEmpty()) listOfTopClasses.add(cls); } return listOfTopClasses; }
public Set<OWLClass> getRootClasses() { Set<OWLClass> listOfTopClasses = new HashSet<OWLClass>(); for (OWLClass cls : ontology.getClassesInSignature()) { if (ontology.getSubClassAxiomsForSubClass(cls).size() == 0 && ontology.getEquivalentClassesAxioms(cls).size() == 0) listOfTopClasses.add(cls); } return listOfTopClasses; }
@Nonnull public Set<OWLAxiom> getDefiningAxioms() { Set<OWLAxiom> result = new HashSet<>(); result.addAll(ontology.getSubClassAxiomsForSubClass(cls)); result.addAll(ontology.getEquivalentClassesAxioms(cls)); result.addAll(ontology.getDisjointClassesAxioms(cls)); result.addAll(ontology.getHasKeyAxioms(cls)); result.addAll(ontology.getDisjointUnionAxioms(cls)); return result; }
private Set<OWLAxiom> getRelevantAxioms(OWLClass subject, boolean includeAnnotations) { var relevantAxioms = new HashSet<OWLAxiom>(); for (OWLOntology ont : rootOntology.getImportsClosure()) { relevantAxioms.addAll(ont.getSubClassAxiomsForSubClass(subject)); relevantAxioms.addAll(rootOntology.getEquivalentClassesAxioms(subject)); if (includeAnnotations) { relevantAxioms.addAll(ont.getAnnotationAssertionAxioms(subject.getIRI())); } } return relevantAxioms; }
protected Set<OWLEquivalentClassesAxiom> getClassAxioms(OWLClassExpression descr, OWLOntology ont) { if (!descr.isAnonymous()){ return ont.getEquivalentClassesAxioms(descr.asOWLClass()); } else{ Set<OWLEquivalentClassesAxiom> axioms = new HashSet<>(); for (OWLAxiom ax : ont.getGeneralClassAxioms()){ if (ax instanceof OWLEquivalentClassesAxiom && ((OWLEquivalentClassesAxiom)ax).getClassExpressions().contains(descr)){ axioms.add((OWLEquivalentClassesAxiom)ax); } } return axioms; } }
protected Set<OWLEquivalentClassesAxiom> getClassAxioms(OWLClassExpression descr, OWLOntology ont) { if (!descr.isAnonymous()){ return ont.getEquivalentClassesAxioms(descr.asOWLClass()); } else{ Set<OWLEquivalentClassesAxiom> axioms = new HashSet<>(); for (OWLAxiom ax : ont.getGeneralClassAxioms()){ if (ax instanceof OWLEquivalentClassesAxiom && ((OWLEquivalentClassesAxiom)ax).getClassExpressions().contains(descr)){ axioms.add((OWLEquivalentClassesAxiom)ax); } } return axioms; } }
private void generateChanges() { changes = new ArrayList<OWLOntologyChange>(); Set<OWLClassExpression> supers = new HashSet<OWLClassExpression>(); for (OWLOntology o : ontologies) { for (OWLEquivalentClassesAxiom ax : o.getEquivalentClassesAxioms(cls)) { changes.add(new RemoveAxiom(o, ax)); for (OWLClassExpression equivCls : ax.getClassExpressions()) { supers.addAll(getClassExpressions(equivCls)); } } } supers.remove(cls); for (OWLClassExpression sup : supers) { changes.add(new AddAxiom(targetOntology, getDataFactory().getOWLSubClassOfAxiom(cls, sup))); } }
protected void refill(OWLOntology ontology) { Set<OWLClass> clses = getOWLModelManager().getOWLHierarchyManager().getOWLClassHierarchyProvider().getAncestors(getRootObject()); clses.remove(getRootObject()); for (OWLClass cls : clses) { for (OWLSubClassOfAxiom ax : ontology.getSubClassAxiomsForSubClass(cls)) { if (ax.getSuperClass().isAnonymous()) { addRow(new InheritedAnonymousClassesFrameSectionRow(getOWLEditorKit(), this, ontology, cls, ax)); } } for (OWLEquivalentClassesAxiom ax : ontology.getEquivalentClassesAxioms(cls)) { addRow(new InheritedAnonymousClassesFrameSectionRow(getOWLEditorKit(), this, ontology, cls, ax)); } processedClasses.add(cls); } }
protected void refill(OWLOntology ontology) { Set<OWLClass> clses = getOWLModelManager().getOWLHierarchyManager().getOWLClassHierarchyProvider().getAncestors(getRootObject()); clses.remove(getRootObject()); for (OWLClass cls : clses) { for (OWLSubClassOfAxiom ax : ontology.getSubClassAxiomsForSubClass(cls)) { if (ax.getSuperClass().isAnonymous()) { addRow(new InheritedAnonymousClassesFrameSectionRow(getOWLEditorKit(), this, ontology, cls, ax)); } } for (OWLEquivalentClassesAxiom ax : ontology.getEquivalentClassesAxioms(cls)) { addRow(new InheritedAnonymousClassesFrameSectionRow(getOWLEditorKit(), this, ontology, cls, ax)); } processedClasses.add(cls); } }