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);
   }
 }
Esempio n. 4
0
 @Override
 public void visit(OWLDisjointUnionAxiom axiom) {
   write("DisjointUnion");
   writeSpace();
   for (OWLClassExpression p : axiom.getClassExpressions()) {
     p.accept(this);
     writeSpace();
   }
 }
Esempio n. 5
0
 /*
  * (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();
 }