public void visit(OWLEquivalentClassesAxiom axiom) { for(OWLClass cls : axiom.getNamedClasses()) { if(source == null) { source = cls; } else if(target == null) { target = cls; } else { break; } } }
@Override public void visit(OWLEquivalentClassesAxiom axiom) { for (OWLClass cls : axiom.getNamedClasses()) { if (source == null) { source = cls; } else if (target == null) { target = cls; } else { break; } } }
private static String equivAxiomToString(OWLEquivalentClassesAxiom axiom) { StringBuilder equivalentClassesString = new StringBuilder("Equivalence: "); Iterator<OWLClass> classIterator = axiom.getNamedClasses().iterator(); while (classIterator.hasNext()) { equivalentClassesString.append(classIterator.next().toString()); if (classIterator.hasNext()) { equivalentClassesString.append(" == "); } } return equivalentClassesString.toString(); } }
private void processOWLEquivalentClassesAxioms() { Set<@NonNull OWLEquivalentClassesAxiom> axioms = getOWLEquivalentClassesAxioms(); for (OWLEquivalentClassesAxiom axiom : axioms) { axiom.getNamedClasses().forEach(this::generateOWLClassDeclarationAxiom); } this.assertedOWLAxioms.addAll(axioms); }
@Nonnull @Override public Set<UsageReference> visit(@Nonnull OWLEquivalentClassesAxiom axiom) { if(axiom.containsNamedEquivalentClass()) { return translate(axiom.getNamedClasses(), axiom); } else { return translate(axiom.getClassExpressions().iterator().next(), axiom); } }
equivalentClasses.addAll( equivalentAxiom.getNamedClasses() );