How to use

getOWLDataMinCardinality

method

in

org.semanticweb.owlapi.model.OWLDataFactory

public static OWLDataMinCardinality DataMinCardinality(int cardinality,
  OWLDataPropertyExpression pe,
  OWLDataRange dr) {
  return DF.getOWLDataMinCardinality(cardinality, pe, dr);
}

public static OWLDataMinCardinality DataMinCardinality(int cardinality,
  OWLDataPropertyExpression pe,
  OWLDataRange dr) {
  return DF.getOWLDataMinCardinality(cardinality, pe, dr);
}

  @Override
  public OWLDataMinCardinality buildObject() {
    return df.getOWLDataMinCardinality(cardinality, getProperty(), getDataRange());
  }
}

  @Override
  public OWLDataMinCardinality buildObject() {
    return df.getOWLDataMinCardinality(cardinality, getProperty(), getDataRange());
  }
}

  public OWLClassExpression visit(OWLDataExactCardinality d) {
    OWLDataRange filler=getNNF(d.getFiller());
    if (d.getCardinality()==0)
      return m_factory.getOWLDataMinCardinality(1,d.getProperty(),filler);
    else {
      Set<OWLClassExpression> disjuncts=new HashSet<OWLClassExpression>();
      disjuncts.add(m_factory.getOWLDataMaxCardinality(d.getCardinality()-1,d.getProperty(),filler));
      disjuncts.add(m_factory.getOWLDataMinCardinality(d.getCardinality()+1,d.getProperty(),filler));
      return m_factory.getOWLObjectUnionOf(disjuncts);
    }
  }
}

@Override
public OWLClassExpression visit(OWLDataMinCardinality ce) {
  int card = ce.getCardinality();
  OWLDataRange filler = ce.getFiller().accept(rangeVisitor);
  return df.getOWLDataMinCardinality(card, ce.getProperty(), filler);
}

@Override
public OWLClassExpression visit(OWLDataMinCardinality ce) {
  int card = ce.getCardinality();
  OWLDataRange filler = ce.getFiller().accept(rangeVisitor);
  return df.getOWLDataMinCardinality(card, ce.getProperty(), filler);
}

  @Override
  protected OWLClassExpression createRestriction() {
    return getOWLDataFactory().getOWLDataMinCardinality(getCardinality(), getProperty(), getFiller());
  }
}

@Override
public OWLDataMinCardinality visit(OWLDataMinCardinality ce) {
  return df.getOWLDataMinCardinality(ce.getCardinality(), get(ce.getProperty()),
    get(ce.getFiller()));
}

@Override
public void visit(OWLDataMinCardinality ce) {
  obj = df.getOWLDataMinCardinality(ce.getCardinality(), dup(ce.getProperty()),
    dup(ce.getFiller()));
}

@Override
public OWLDataMinCardinality visit(OWLDataMinCardinality ce) {
  return df.getOWLDataMinCardinality(ce.getCardinality(), t(ce.getProperty()),
          t(ce.getFiller()));
}

@Override
public OWLDataMinCardinality visit(OWLDataMinCardinality ce) {
  return df.getOWLDataMinCardinality(ce.getCardinality(), get(ce.getProperty()),
    get(ce.getFiller()));
}

@Override
public Object visit(OWLDataMinCardinality ce) {
  return visit(ce,
    () -> df.getOWLDataMinCardinality(ce.getCardinality(), t(ce.getProperty()), t(ce
      .getFiller())));
}

@Override
public OWLDataMinCardinality visit(OWLDataMinCardinality ce) {
  if (ce.getFiller() instanceof OWLDataOneOf) {
    return df.getOWLDataMinCardinality(ce.getCardinality(), ce.getProperty(),
      process(ce.getProperty(),
        (OWLDataOneOf) ce.getFiller()));
  }
  return super.visit(ce);
}

@Override
public OWLDataMinCardinality visit(OWLDataMinCardinality ce) {
  if (ce.getFiller() instanceof OWLDataOneOf) {
    return df.getOWLDataMinCardinality(ce.getCardinality(), ce.getProperty(),
      process(ce.getProperty(),
        (OWLDataOneOf) ce.getFiller()));
  }
  return super.visit(ce);
}

public void visit(OWLDataMinCardinality desc) {
  super.visit(desc);
  if (desc instanceof OWLDataOneOf) {
    setLastObject(getDataFactory().getOWLDataMinCardinality(desc.getCardinality(), desc.getProperty(), process(desc.getProperty(), (OWLDataOneOf) desc.getFiller())));
  }
}

public OWLClassExpression visit(OWLDataMinCardinality d) {
  OWLDataRange filler=getSimplified(d.getFiller());
  if (d.getCardinality()<=0)
    return m_factory.getOWLThing();
  else if (isBottomDataRange(filler))
    return m_factory.getOWLNothing();
  else if (d.getCardinality()==1)
    return m_factory.getOWLDataSomeValuesFrom(d.getProperty(),filler);
  else
    return m_factory.getOWLDataMinCardinality(d.getCardinality(),d.getProperty(),filler);
}
public OWLClassExpression visit(OWLDataMaxCardinality d) {

@Override
public OWLClassExpression visit(OWLDataMinCardinality d) {
  if (d.getCardinality()<=0)
    return m_factory.getOWLThing();
  else if (isBottomDataRange(getSimplified(d.getFiller())))
    return m_factory.getOWLNothing();
  else if (d.getCardinality()==1)
    return m_factory.getOWLDataSomeValuesFrom(d.getProperty(),getSimplified(d.getFiller()));
  else
    return m_factory.getOWLDataMinCardinality(d.getCardinality(),d.getProperty(),getSimplified(d.getFiller()));
}
@Override

  @Override
  public OWLDataMinCardinality translate(IRI mainNode) {
    getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI());
    int cardi = translateInteger(mainNode, OWL_MIN_QUALIFIED_CARDINALITY);
    IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true);
    OWLDataPropertyExpression property = getConsumer()
      .translateDataPropertyExpression(verifyNotNull(propertyIRI));
    IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ON_DATA_RANGE, true);
    OWLDataRange filler = getConsumer().translateDataRange(verifyNotNull(fillerIRI));
    return getDataFactory().getOWLDataMinCardinality(cardi, property, filler);
  }
}

  @Override
  public OWLDataMinCardinality translate(IRI mainNode) {
    getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI());
    int cardi = translateInteger(mainNode, OWL_MIN_QUALIFIED_CARDINALITY);
    IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true);
    OWLDataPropertyExpression property = getConsumer()
      .translateDataPropertyExpression(verifyNotNull(propertyIRI));
    IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ON_DATA_RANGE, true);
    OWLDataRange filler = getConsumer().translateDataRange(verifyNotNull(fillerIRI));
    return getDataFactory().getOWLDataMinCardinality(cardi, property, filler);
  }
}