public void visit(OWLDisjointUnionAxiom axiom) {
axiom.getOWLClass().accept((OWLEntityVisitor) this);
for (OWLClassExpression desc : axiom.getClassExpressions()) {
desc.accept(this);
}
processAxiomAnnotations(axiom);
}
@Override
public void visit(OWLDisjointUnionAxiom axiom) {
axiom.getOWLClass().accept(this);
OWLClass cls = (OWLClass) obj;
Set<OWLClassExpression> ops = duplicateSet(axiom.getClassExpressions());
obj = dataFactory.getOWLDisjointUnionAxiom(cls, ops, duplicateAxiomAnnotations(axiom));
}
@Override
public void visit(OWLDisjointUnionAxiom axiom) {
constructs.add(U);
constructs.add(C);
for (OWLClassExpression desc : axiom.getClassExpressions()) {
desc.accept(this);
}
}
@Override
public void visit(OWLDisjointUnionAxiom axiom) {
write("DisjointUnion");
writeSpace();
for (OWLClassExpression p : axiom.getClassExpressions()) {
p.accept(this);
writeSpace();
}
}
/*
* (non-Javadoc)
*
* @see
* org.semanticweb.owlapi.model.OWLAxiomVisitor#visit(org.semanticweb.owlapi
* .model.OWLDisjointUnionAxiom)
*/
@Override
public void visit(OWLDisjointUnionAxiom axiom) {
Set<OWLClassExpression> owlClassEspressions = axiom.getClassExpressions();
if (owlClassEspressions != null) {
int i = 1;
for (OWLClassExpression exp : owlClassEspressions) {
exp.accept(this);
if (i < owlClassEspressions.size()) {
sb.append(" .OR ");
}
i++;
}
}
}
@Override
public void visit(OWLDisjointUnionAxiom axiom) {
handleObject(axiom);
axiom.getOWLClass().accept(this);
process(axiom.getClassExpressions());
}
public void visit(OWLDisjointUnionAxiom axiom) {
type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex();
}