How to use

accept

method

in

org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom

@Override
public Boolean visit(OWLDisjointUnionAxiom axiom) {
  return Boolean.valueOf(axiom.getOWLEquivalentClassesAxiom().accept(this).booleanValue()
    && axiom.getOWLDisjointClassesAxiom().accept(this).booleanValue());
}

@Override
public Set<OWLAxiom> visit(OWLDisjointUnionAxiom axiom) {
  Set<OWLAxiom> result = new HashSet<>();
  result.addAll(axiom.getOWLDisjointClassesAxiom().accept(this));
  result.addAll(axiom.getOWLEquivalentClassesAxiom().accept(this));
  return result;
}

@Override
public void visit(OWLEquivalentClassesAxiom axiom) {
  if (axiom.classExpressions().count() == 2) {
    addPairwise(axiom, axiom.classExpressions(), OWL_EQUIVALENT_CLASS.getIRI());
  } else {
    axiom.splitToAnnotatedPairs().stream().sorted().forEach(ax -> ax.accept(this));
  }
}

@Override
public void visit(OWLEquivalentClassesAxiom axiom) {
  if (axiom.classExpressions().count() == 2) {
    addPairwise(axiom, axiom.classExpressions(), OWL_EQUIVALENT_CLASS.getIRI());
  } else {
    axiom.splitToAnnotatedPairs().stream().sorted().forEach(ax -> ax.accept(this));
  }
}

@Override
public void visit(OWLEquivalentClassesAxiom axiom) {
  if (axiom.classExpressions().count() == 2) {
    addPairwise(axiom, axiom.classExpressions(), OWL_EQUIVALENT_CLASS.getIRI());
  } else {
    axiom.splitToAnnotatedPairs().stream().sorted().forEach(ax -> ax.accept(this));
  }
}

@Override
public void visit(OWLEquivalentClassesAxiom axiom) {
  if (axiom.classExpressions().count() == 2) {
    addPairwise(axiom, axiom.classExpressions(), OWL_EQUIVALENT_CLASS.getIRI());
  } else {
    axiom.splitToAnnotatedPairs().stream().sorted().forEach(ax -> ax.accept(this));
  }
}

public MacroExpansions() {
  visitor = new GCIVisitor(inputOntology, newAxioms);
  inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> axiom.accept(visitor));
  inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES)
    .forEach(axiom -> axiom.accept(visitor));
  inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> axiom.accept(visitor));
  inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).forEach(this::expand);
}

public MacroExpansions() {
  visitor = new GCIVisitor(inputOntology, newAxioms);
  inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> axiom.accept(visitor));
  inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES)
    .forEach(axiom -> axiom.accept(visitor));
  inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> axiom.accept(visitor));
  inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).forEach(this::expand);
}

public MacroExpansions() {
  visitor = new GCIVisitor(inputOntology, newAxioms);
  inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> axiom.accept(visitor));
  inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES)
    .forEach(axiom -> axiom.accept(visitor));
  inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> axiom.accept(visitor));
  inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).forEach(this::expand);
}

public MacroExpansions() {
  visitor = new GCIVisitor(inputOntology, newAxioms);
  inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> axiom.accept(visitor));
  inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES)
    .forEach(axiom -> axiom.accept(visitor));
  inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> axiom.accept(visitor));
  inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).forEach(this::expand);
}

@Override
public Collection<OWLAxiom> visit(OWLDisjointUnionAxiom axiom) {
  Set<OWLAxiom> axioms = new HashSet<>();
  axioms.addAll(df.getOWLEquivalentClassesAxiom(axiom.getOWLClass(),
    df.getOWLObjectUnionOf(axiom.classExpressions())).accept(this));
  axioms.addAll(df.getOWLDisjointClassesAxiom(axiom.classExpressions()).accept(this));
  return axioms;
}

@Override
public Collection<OWLAxiom> visit(OWLDisjointUnionAxiom axiom) {
  Set<OWLAxiom> axioms = new HashSet<>();
  axioms.addAll(df.getOWLEquivalentClassesAxiom(axiom.getOWLClass(),
    df.getOWLObjectUnionOf(axiom.classExpressions())).accept(this));
  axioms.addAll(df.getOWLDisjointClassesAxiom(axiom.classExpressions()).accept(this));
  return axioms;
}

@Override
public Collection<OWLAxiom> visit(OWLDisjointUnionAxiom axiom) {
  Set<OWLAxiom> axioms = new HashSet<>();
  axioms.addAll(df.getOWLEquivalentClassesAxiom(axiom.getOWLClass(),
    df.getOWLObjectUnionOf(axiom.classExpressions())).accept(this));
  axioms.addAll(df.getOWLDisjointClassesAxiom(axiom.classExpressions()).accept(this));
  return axioms;
}

public MacroExpansions() {
  inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> {
    OWLAxiom newAxiom = axiom.accept(visitor);
    replaceIfDifferent(axiom, newAxiom);
  });
  inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES).forEach(axiom -> {
    OWLAxiom newAxiom = axiom.accept(visitor);
    replaceIfDifferent(axiom, newAxiom);
  });
  inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> {
    OWLAxiom newAxiom = axiom.accept(visitor);
    replaceIfDifferent(axiom, newAxiom);
  });
  add(rmAxioms,
    inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).filter(this::expand));
}

public MacroExpansions() {
  inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> {
    OWLAxiom newAxiom = axiom.accept(visitor);
    replaceIfDifferent(axiom, newAxiom);
  });
  inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES).forEach(axiom -> {
    OWLAxiom newAxiom = axiom.accept(visitor);
    replaceIfDifferent(axiom, newAxiom);
  });
  inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> {
    OWLAxiom newAxiom = axiom.accept(visitor);
    replaceIfDifferent(axiom, newAxiom);
  });
  add(rmAxioms,
    inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).filter(this::expand));
}

public MacroExpansions() {
  inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> {
    OWLAxiom newAxiom = axiom.accept(visitor);
    replaceIfDifferent(axiom, newAxiom);
  });
  inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES).forEach(axiom -> {
    OWLAxiom newAxiom = axiom.accept(visitor);
    replaceIfDifferent(axiom, newAxiom);
  });
  inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> {
    OWLAxiom newAxiom = axiom.accept(visitor);
    replaceIfDifferent(axiom, newAxiom);
  });
  add(rmAxioms,
    inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).filter(this::expand));
}

public MacroExpansions() {
  inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> {
    OWLAxiom newAxiom = axiom.accept(visitor);
    replaceIfDifferent(axiom, newAxiom);
  });
  inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES).forEach(axiom -> {
    OWLAxiom newAxiom = axiom.accept(visitor);
    replaceIfDifferent(axiom, newAxiom);
  });
  inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> {
    OWLAxiom newAxiom = axiom.accept(visitor);
    replaceIfDifferent(axiom, newAxiom);
  });
  add(rmAxioms,
    inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).filter(this::expand));
}