Ejemplos de OWLObjectIntersectionOf.getOperands en Java

Ejemplo n.º 1

Archivo: OWLObjectComponentCollector.java Proyecto: JPuritscher/owlapi

 @Override
 public void visit(OWLObjectIntersectionOf desc) {
   handleObject(desc);
   for (OWLClassExpression op : desc.getOperands()) {
     op.accept(this);
   }
 }

Ejemplo n.º 2

Archivo: DLExpressivityChecker.java Proyecto: Orphanet/java_ORDO

 // class expressions
 @Override
 public void visit(OWLObjectIntersectionOf ce) {
   constructs.add(AL);
   for (OWLClassExpression operands : ce.getOperands()) {
     operands.accept(this);
   }
 }

Ejemplo n.º 3

Archivo: OBOOntologyChecker.java Proyecto: netconstructor/webprotege

 public Boolean visit(OWLObjectIntersectionOf ce) {
   for (OWLClassExpression op : ce.getOperands()) {
     if (!op.accept(this)) {
       return false;
     }
   }
   return true;
 }

Ejemplo n.º 4

Archivo: MaximumModalDepthFinder.java Proyecto: ZongleiJiao/OWLAPI2CPP

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

Ejemplo n.º 5

Archivo: LatexObjectVisitor.java Proyecto: JPuritscher/owlapi

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

Ejemplo n.º 6

Archivo: ALCRenderer.java Proyecto: jmayaalv/mapo

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

Ejemplo n.º 7

Archivo: OWLObjectDuplicator.java Proyecto: rita-zgheib/owl-api

 @Override
 public void visit(OWLObjectIntersectionOf desc) {
   Set<OWLClassExpression> ops = duplicateSet(desc.getOperands());
   obj = dataFactory.getOWLObjectIntersectionOf(ops);
 }

Ejemplo n.º 8

Archivo: EqualityClassExpressionVisitor.java Proyecto: anaarmas/MORe

 @Override
 public void visit(OWLObjectIntersectionOf arg0) {
   boolean ret = false;
   Iterator<OWLClassExpression> iter = arg0.getOperands().iterator();
   while (!ret && iter.hasNext()) ret = containsEquality(iter.next());
 }

Ejemplo n.º 9

Archivo: OWLAnonymousIndividualsWithMultipleOccurrences.java Proyecto: Orphanet/java_ORDO

 public void visit(OWLObjectIntersectionOf desc) {
   for (OWLClassExpression operand : desc.getOperands()) {
     operand.accept(this);
   }
 }

Ejemplo n.º 10

Archivo: OWLVizAxiomGraphModel.java Proyecto: AggelikiKonstadinidou/owlviz

 public void visit(OWLObjectIntersectionOf desc) {
   for (OWLClassExpression op : desc.getOperands()) {
     addChildParent(desc, op, desc);
     op.accept(this);
   }
 }