Java OWLObjectIntersectionOfの例

コード例 #1

ファイル: OWLObjectComponentCollector.java プロジェクト: JPuritscher/owlapi

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

コード例 #2

ファイル: DLExpressivityChecker.java プロジェクト: Orphanet/java_ORDO

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

コード例 #3

ファイル: OBOOntologyChecker.java プロジェクト: netconstructor/webprotege

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

コード例 #4

ファイル: MaximumModalDepthFinder.java プロジェクト: 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;
 }

コード例 #5

ファイル: LatexObjectVisitor.java プロジェクト: 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();
     }
   }
 }

コード例 #6

ファイル: ALCRenderer.java プロジェクト: 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++;
     }
   }
 }

コード例 #7

ファイル: OWLObjectDuplicator.java プロジェクト: rita-zgheib/owl-api

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

コード例 #8

ファイル: EqualityClassExpressionVisitor.java プロジェクト: 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());
 }

コード例 #9

ファイル: OWLAnonymousIndividualsWithMultipleOccurrences.java プロジェクト: Orphanet/java_ORDO

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

コード例 #10

ファイル: OWLVizAxiomGraphModel.java プロジェクト: AggelikiKonstadinidou/owlviz

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