Java OWLDisjointUnionAxiomの例

コード例 #1

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

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

コード例 #2

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

コード例 #3

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

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

コード例 #4

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

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

コード例 #5

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

コード例 #6

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

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

コード例 #7

ファイル: OWLObjectTypeIndexProvider.java プロジェクト: juyingnan/OpenOME

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