How to use

getOWLObjectMinCardinality

method

in

org.semanticweb.owlapi.model.OWLDataFactory

public static OWLObjectMinCardinality ObjectMinCardinality(int cardinality,
  OWLObjectPropertyExpression pe,
  OWLClassExpression ce) {
  return DF.getOWLObjectMinCardinality(cardinality, pe, ce);
}

public static OWLObjectMinCardinality ObjectMinCardinality(int cardinality,
  OWLObjectPropertyExpression pe,
  OWLClassExpression ce) {
  return DF.getOWLObjectMinCardinality(cardinality, pe, ce);
}

@Override
public Set<OWLClassExpression> visit(OWLObjectMinCardinality ce) {
  Set<OWLClassExpression> result = new HashSet<>();
  for(int n = ce.getCardinality(); n < cardinalityBound; n++) {
    result.add(dataFactory.getOWLObjectMinCardinality(n, ce.getProperty(), ce.getFiller()));
  }
  return result;
}

  @Override
  public OWLObjectMinCardinality buildObject() {
    return df.getOWLObjectMinCardinality(cardinality, verifyNotNull(getProperty()), getRange());
  }
}

@Override
public OWLClassExpression visit(OWLObjectMinCardinality ce) {
  OWLClassExpression filler = ce.getFiller().accept(this);
  return df.getOWLObjectMinCardinality(ce.getCardinality(), ce.getProperty(), filler);
}

@Override
public OWLClassExpression visit(OWLObjectMinCardinality ce) {
  OWLClassExpression filler = ce.getFiller().accept(this);
  return df.getOWLObjectMinCardinality(ce.getCardinality(), ce.getProperty(), filler);
}

@Override
public OWLClassExpression visit(OWLObjectMinCardinality d) {
  OWLClassExpression filler=getNNF(d.getFiller());
  return m_factory.getOWLObjectMinCardinality(d.getCardinality(),d.getProperty(),filler);
}
@Override

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

@Override
public OWLObjectMinCardinality visit(OWLObjectMinCardinality ce) {
  OWLObjectPropertyExpression prop = get(ce.getProperty());
  return df.getOWLObjectMinCardinality(ce.getCardinality(), prop, get(ce.getFiller()));
}

@Override
public OWLClassExpression visit(OWLObjectMinCardinality ce) {
  if (signature.containsAll(asList(ce.getFiller().signature()))) {
    OWLClass name = createNewName();
    axioms.add(getSCA(name, ce.getFiller().accept(this)));
    return ldf.getOWLObjectMinCardinality(ce.getCardinality(), ce.getProperty(), name);
  }
  return ce;
}

@Override
public OWLObjectMinCardinality visit(OWLObjectMinCardinality ce) {
  OWLObjectPropertyExpression prop = t(ce.getProperty());
  return df.getOWLObjectMinCardinality(ce.getCardinality(), prop, t(ce.getFiller()));
}

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

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

 final public OWLClassExpression AtLeast() throws ParseException {OWLObjectProperty prop;
  OWLClassExpression filler;
  int card;
  jj_consume_token(OPENPAR);
  jj_consume_token(ATLEAST);
  card = Integer();
  prop = RoleName();
  filler = ConceptExpression();
  jj_consume_token(CLOSEPAR);
return df.getOWLObjectMinCardinality(card, prop, filler);
}

private boolean isEntailedByWeakerMinCardinalitySuperClass(OWLSubClassOfAxiom ax, Set<OWLAxiom> axioms, EntailmentChecker<OWLAxiom> checker) {
  OWLObjectMinCardinality cardinality = (OWLObjectMinCardinality) ax.getSuperClass();
  int card = cardinality.getCardinality();
  if (card == 1 || card == 0) {
    return false;
  }
  OWLObjectPropertyExpression prop = cardinality.getProperty();
  OWLClassExpression ce = cardinality.getFiller();
  OWLObjectMinCardinality weaker = dataFactory.getOWLObjectMinCardinality(card - 1, prop, ce);
  OWLAxiom weakerAxiom = dataFactory.getOWLSubClassOfAxiom(ax.getSubClass(), weaker);
  return isEntailedWithReplacement(ax, weakerAxiom, axioms, checker);
}

public OWLClassExpression asIntersectionOfMinMax() {
  OWLDataFactory df = getOWLDataFactory();
  return df.getOWLObjectIntersectionOf(df.getOWLObjectMinCardinality(getCardinality(), getProperty(), getFiller()),
      df.getOWLObjectMaxCardinality(getCardinality(), getProperty(), getFiller()));
}

  @Override
  public OWLObjectMinCardinality translate(IRI mainNode) {
    int cardi = translateInteger(mainNode, OWL_MIN_QUALIFIED_CARDINALITY);
    IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true);
    OWLObjectPropertyExpression property = getConsumer().translateObjectPropertyExpression(propertyIRI);
    IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ON_CLASS, true);
    OWLClassExpression filler = getConsumer().translateClassExpression(fillerIRI);
    return getDataFactory().getOWLObjectMinCardinality(cardi, property, filler);
  }
}

  @Override
  public OWLObjectMinCardinality translate(IRI mainNode) {
    int cardi = translateInteger(mainNode, OWL_MIN_QUALIFIED_CARDINALITY);
    IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true);
    OWLObjectPropertyExpression property = getConsumer()
      .translateObjectPropertyExpression(verifyNotNull(propertyIRI));
    IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ON_CLASS, true);
    OWLClassExpression filler = accessor.translateClassExpression(verifyNotNull(fillerIRI));
    return getDataFactory().getOWLObjectMinCardinality(cardi, property, filler);
  }
}

  @Override
  public OWLObjectMinCardinality translate(IRI mainNode) {
    int cardi = translateInteger(mainNode, OWL_MIN_QUALIFIED_CARDINALITY);
    IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true);
    OWLObjectPropertyExpression property = getConsumer()
      .translateObjectPropertyExpression(verifyNotNull(propertyIRI));
    IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ON_CLASS, true);
    OWLClassExpression filler = accessor.translateClassExpression(verifyNotNull(fillerIRI));
    return getDataFactory().getOWLObjectMinCardinality(cardi, property, filler);
  }
}

public OWLClassExpression visit(OWLObjectMinCardinality d) {
  OWLClassExpression filler=getSimplified(d.getFiller());
  if (d.getCardinality()<=0)
    return m_factory.getOWLThing();
  else if (filler.isOWLNothing())
    return m_factory.getOWLNothing();
  else if (d.getCardinality()==1)
    return m_factory.getOWLObjectSomeValuesFrom(d.getProperty().getSimplified(),filler);
  else
    return m_factory.getOWLObjectMinCardinality(d.getCardinality(),d.getProperty().getSimplified(),filler);
}
public OWLClassExpression visit(OWLObjectMaxCardinality d) {