Java OWLObjectExactCardinality.getFiller Examples

Example #1

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

 @Override
 public void visit(OWLObjectExactCardinality desc) {
   desc.getProperty().accept(this);
   OWLObjectPropertyExpression prop = (OWLObjectPropertyExpression) obj;
   desc.getFiller().accept(this);
   OWLClassExpression filler = (OWLClassExpression) obj;
   obj = dataFactory.getOWLObjectExactCardinality(desc.getCardinality(), prop, filler);
 }

Example #2

File: LatexObjectVisitor.java Project: JPuritscher/owlapi

 @Override
 public void visit(OWLObjectExactCardinality desc) {
   write(EQUAL);
   writeSpace();
   desc.getProperty().accept(this);
   writeSpace();
   writeNested(desc.getFiller());
 }

Example #3

File: OWLObjectComponentCollector.java Project: JPuritscher/owlapi

 @Override
 public void visit(OWLObjectExactCardinality desc) {
   handleObject(desc);
   desc.getProperty().accept(this);
   desc.getFiller().accept(this);
 }

Example #4

File: MaximumModalDepthFinder.java Project: ZongleiJiao/OWLAPI2CPP

 public Integer visit(OWLObjectExactCardinality ce) {
   return 1 + ce.getFiller().accept(this);
 }

Example #5

File: OWLAnonymousIndividualsWithMultipleOccurrences.java Project: Orphanet/java_ORDO

 public void visit(OWLObjectExactCardinality desc) {
   desc.getProperty().accept(this);
   desc.getFiller().accept(this);
 }