Java OWLObjectMinCardinality.getCardinality示例

示例#1

文件： OWLObjectDuplicator.java 项目： rita-zgheib/owl-api

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

示例#2

文件： LatexObjectVisitor.java 项目： JPuritscher/owlapi

 @Override
 public void visit(OWLObjectMinCardinality desc) {
   write(MIN);
   writeSpace();
   write(desc.getCardinality());
   writeSpace();
   desc.getProperty().accept(this);
   writeSpace();
   writeNested(desc.getFiller());
 }