public Set<OWLSubClassOfAxiom> getSubClassAxioms(OWLOntology ontology) { return ontology.getSubClassAxiomsForSubClass(this); }
public Set<OWLSubClassOfAxiom> getSubClassAxiomsForSubClass(OWLClass cls) { return ontology.getSubClassAxiomsForSubClass(cls); }
@Override protected Set<OWLSubClassOfAxiom> getAxiomsInOntology(OWLClass subject, OWLOntology ontology) { return ontology.getSubClassAxiomsForSubClass(subject); }
@Override @Deprecated public Set<OWLSubClassOfAxiom> getSubClassAxiomsForSubClass(OWLClass owlClass) { return withReadLock(() -> delegate.getSubClassAxiomsForSubClass(owlClass)); }
@Override @Deprecated public Set<OWLSubClassOfAxiom> getSubClassAxiomsForSubClass(OWLClass owlClass) { return withReadLock(() -> delegate.getSubClassAxiomsForSubClass(owlClass)); }
@Override @Deprecated public Set<OWLSubClassOfAxiom> getSubClassAxiomsForSubClass(OWLClass owlClass) { return withReadLock(() -> delegate.getSubClassAxiomsForSubClass(owlClass)); }
@Override @Deprecated public Set<OWLSubClassOfAxiom> getSubClassAxiomsForSubClass(OWLClass owlClass) { return withReadLock(() -> delegate.getSubClassAxiomsForSubClass(owlClass)); }
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; }
@Override public void visit(OWLClass desc) { if (!processedClasses.contains(desc)) { processedClasses.add(desc); for (OWLSubClassOfAxiom ax : this.ontology.getSubClassAxiomsForSubClass(desc)) { ax.getSuperClass().accept(this); } } }
@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; }
public void visit(OWLClass desc) { if (processInherited && !processedClasses.contains(desc)) { // If we are processing inherited restrictions then // we recursively visit named supers. Note that we // need to keep track of the classes that we have processed // so that we don't get caught out by cycles in the taxonomy processedClasses.add(desc); for (OWLOntology ont : onts) { for (OWLSubClassOfAxiom ax : ont.getSubClassAxiomsForSubClass(desc)) { ax.getSuperClass().accept(this); } } } }
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; }
public void visit(OWLClass desc) { if(!processedClasses.contains(desc)) { // If we are processing inherited restrictions then // we recursively visit named supers. Note that we // need to keep track of the classes that we have processed // so that we don't get caught out by cycles in the taxonomy processedClasses.add(desc); for(OWLSubClassOfAxiom ax : this.ontology.getSubClassAxiomsForSubClass(desc)) { ax.getSuperClass().accept(this); if (this.isNParamsDescription()) return; //we take the first nParams restriction found } } }
private void createEdgesForClass(Set<Edge> edges, Set<OWLEntity> processed, OWLClass cls) { var subClassAxioms = getOntologies().flatMap(o -> o.getSubClassAxiomsForSubClass(cls).stream().sorted()); var equivalentClassesAxioms = getEquivalentClassAxiomsAsSubClassOfAxioms(cls); var combinedAxioms = Streams.concat(subClassAxioms, equivalentClassesAxioms); combinedAxioms .filter(ax -> isNamedClass(ax.getSubClass())) .forEach(ax -> createEdgeForSubClassOfAxiom(cls, ax, edges, processed)); }
protected Set<OWLSubClassOfAxiom> getClassAxioms(OWLClassExpression descr, OWLOntology ont) { if (!descr.isAnonymous()){ return ont.getSubClassAxiomsForSubClass(descr.asOWLClass()); } else{ Set<OWLSubClassOfAxiom> axioms = new HashSet<>(); for (OWLAxiom ax : ont.getGeneralClassAxioms()){ if (ax instanceof OWLSubClassOfAxiom && ((OWLSubClassOfAxiom)ax).getSubClass().equals(descr)){ axioms.add((OWLSubClassOfAxiom)ax); } } return axioms; } }
protected Set<OWLSubClassOfAxiom> getClassAxioms(OWLClassExpression descr, OWLOntology ont) { if (!descr.isAnonymous()){ return ont.getSubClassAxiomsForSubClass(descr.asOWLClass()); } else{ Set<OWLSubClassOfAxiom> axioms = new HashSet<OWLSubClassOfAxiom>(); for (OWLAxiom ax : ont.getGeneralClassAxioms()){ if (ax instanceof OWLSubClassOfAxiom && ((OWLSubClassOfAxiom)ax).getSubClass().equals(descr)){ axioms.add((OWLSubClassOfAxiom)ax); } } return axioms; } }
protected Set<OWLSubClassOfAxiom> getClassAxioms(OWLClassExpression descr, OWLOntology ont) { if (!descr.isAnonymous()){ return ont.getSubClassAxiomsForSubClass(descr.asOWLClass()); } else{ Set<OWLSubClassOfAxiom> axioms = new HashSet<>(); for (OWLAxiom ax : ont.getGeneralClassAxioms()){ if (ax instanceof OWLSubClassOfAxiom && ((OWLSubClassOfAxiom)ax).getSubClass().equals(descr)){ axioms.add((OWLSubClassOfAxiom)ax); } } return axioms; } }
@Override public OntologyChangeList<Boolean> generateChanges(ChangeGenerationContext context) { OntologyChangeList.Builder<Boolean> changeList = new OntologyChangeList.Builder<>(); for (OWLClass entity : entities) { for(OWLOntology ontology : rootOntology.getImportsClosure()) { for(OWLSubClassOfAxiom ax : ontology.getSubClassAxiomsForSubClass(entity)) { processAxiom(ax, entity, ontology, changeList); } } } return changeList.build(true); }
public synchronized RestrictionVisitor getRestrictions() { RestrictionVisitor visitor = new RestrictionVisitor(_manager.manager.getOntologies()); if (getOntology() == null) { return visitor; } for (OWLSubClassOfAxiom ax : getOntology().ontology .getSubClassAxiomsForSubClass(_owl)) { ax.getSuperClass().accept(visitor); } return visitor; }