Ejemplos de OWLObjectMinCardinality.getCardinality en Java

Ejemplo n.º 1

Archivo: OWLObjectDuplicator.java Proyecto: 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);
 }

Ejemplo n.º 2

Archivo: LatexObjectVisitor.java Proyecto: JPuritscher/owlapi

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