How to use

getOWLObjectExactCardinality

method

in

org.semanticweb.owlapi.model.OWLDataFactory

public static OWLObjectExactCardinality ObjectExactCardinality(int cardinality,
  OWLObjectPropertyExpression pe,
  OWLClassExpression ce) {
  return DF.getOWLObjectExactCardinality(cardinality, pe, ce);
}

public static OWLObjectExactCardinality ObjectExactCardinality(int cardinality,
  OWLObjectPropertyExpression pe,
  OWLClassExpression ce) {
  return DF.getOWLObjectExactCardinality(cardinality, pe, ce);
}

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

public OWLClassExpression visit(OWLObjectExactCardinality desc) {
  if (signature.containsAll(desc.getFiller().getSignature())) {
    OWLClass name = createNewName();
    OWLClassExpression rhs = desc.getFiller().accept(this);
    axioms.add(getSCA(name, rhs));
    return df.getOWLObjectExactCardinality(desc.getCardinality(), desc.getProperty(), name);
  } else {
    return desc;
  }
}

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

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

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

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

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

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

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

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

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

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

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

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

final public OWLClassExpression Exactly() throws ParseException {
  OWLObjectProperty prop;
  OWLClassExpression filler;
  int card;
  jj_consume_token(OPENPAR);
  jj_consume_token(EXACTLY);
  card = Integer();
  prop = RoleName();
  filler = ConceptExpression();
  jj_consume_token(CLOSEPAR);
  return dataFactory.getOWLObjectExactCardinality(card, prop, filler);
}

  @Override
  public OWLObjectExactCardinality translate(IRI mainNode) {
    int cardi = translateInteger(mainNode, OWL_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().getOWLObjectExactCardinality(cardi, property, filler);
  }
}

  @Override
  public OWLObjectExactCardinality translate(IRI mainNode) {
    int cardi = translateInteger(mainNode, OWL_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().getOWLObjectExactCardinality(cardi, property, filler);
  }
}

  @Override
  public OWLObjectExactCardinality translate(IRI mainNode) {
    int cardi = translateInteger(mainNode, OWL_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().getOWLObjectExactCardinality(cardi, property, filler);
  }
}