Java OWLDisjointUnionAxiom Examples

Example #1

File: OWLAnonymousIndividualsWithMultipleOccurrences.java Project: Orphanet/java_ORDO

 public void visit(OWLDisjointUnionAxiom axiom) {
   axiom.getOWLClass().accept((OWLEntityVisitor) this);
   for (OWLClassExpression desc : axiom.getClassExpressions()) {
     desc.accept(this);
   }
   processAxiomAnnotations(axiom);
 }

Example #2

File: OWLObjectDuplicator.java Project: rita-zgheib/owl-api

 @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));
 }

Example #3

File: DLExpressivityChecker.java Project: Orphanet/java_ORDO

 @Override
 public void visit(OWLDisjointUnionAxiom axiom) {
   constructs.add(U);
   constructs.add(C);
   for (OWLClassExpression desc : axiom.getClassExpressions()) {
     desc.accept(this);
   }
 }

Example #4

File: LatexObjectVisitor.java Project: JPuritscher/owlapi

 @Override
 public void visit(OWLDisjointUnionAxiom axiom) {
   write("DisjointUnion");
   writeSpace();
   for (OWLClassExpression p : axiom.getClassExpressions()) {
     p.accept(this);
     writeSpace();
   }
 }

Example #5

File: ALCRenderer.java Project: jmayaalv/mapo

 /*
  * (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++;
     }
   }
 }

Example #6

File: OWLObjectComponentCollector.java Project: JPuritscher/owlapi

 @Override
 public void visit(OWLDisjointUnionAxiom axiom) {
   handleObject(axiom);
   axiom.getOWLClass().accept(this);
   process(axiom.getClassExpressions());
 }

Example #7

File: OWLObjectTypeIndexProvider.java Project: juyingnan/OpenOME

 public void visit(OWLDisjointUnionAxiom axiom) {
   type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex();
 }