@Override
public void visit(OWLObjectIntersectionOf desc) {
handleObject(desc);
for (OWLClassExpression op : desc.getOperands()) {
op.accept(this);
}
}
// class expressions
@Override
public void visit(OWLObjectIntersectionOf ce) {
constructs.add(AL);
for (OWLClassExpression operands : ce.getOperands()) {
operands.accept(this);
}
}
public Boolean visit(OWLObjectIntersectionOf ce) {
for (OWLClassExpression op : ce.getOperands()) {
if (!op.accept(this)) {
return false;
}
}
return true;
}
public Integer visit(OWLObjectIntersectionOf ce) {
int max = _0;
for (OWLClassExpression op : ce.getOperands()) {
int depth = op.accept(this);
if (depth > max) {
max = depth;
}
}
return max;
}
@Override
public void visit(OWLObjectIntersectionOf node) {
for (Iterator<OWLClassExpression> it = node.getOperands().iterator(); it.hasNext(); ) {
it.next().accept(this);
if (it.hasNext()) {
writeSpace();
write(AND);
writeSpace();
}
}
}
/*
* (non-Javadoc)
*
* @see
* org.semanticweb.owlapi.model.OWLClassExpressionVisitor#visit(org.semanticweb
* .owlapi.model.OWLObjectIntersectionOf)
*/
@Override
public void visit(OWLObjectIntersectionOf axiom) {
Set<OWLClassExpression> owlClassEspressions = axiom.getOperands();
if (owlClassEspressions != null) {
int i = 1;
for (OWLClassExpression exp : owlClassEspressions) {
exp.accept(this);
if (i < owlClassEspressions.size()) {
sb.append(" ");
sb.append(Operator.CONJUNCTION.getId());
sb.append(" ");
}
i++;
}
}
}
@Override
public void visit(OWLObjectIntersectionOf desc) {
Set<OWLClassExpression> ops = duplicateSet(desc.getOperands());
obj = dataFactory.getOWLObjectIntersectionOf(ops);
}
@Override
public void visit(OWLObjectIntersectionOf arg0) {
boolean ret = false;
Iterator<OWLClassExpression> iter = arg0.getOperands().iterator();
while (!ret && iter.hasNext()) ret = containsEquality(iter.next());
}
public void visit(OWLObjectIntersectionOf desc) {
for (OWLClassExpression operand : desc.getOperands()) {
operand.accept(this);
}
}
public void visit(OWLObjectIntersectionOf desc) {
for (OWLClassExpression op : desc.getOperands()) {
addChildParent(desc, op, desc);
op.accept(this);
}
}