How to use

getOWLHasKeyAxiom

method

in

org.semanticweb.owlapi.model.OWLDataFactory

public static OWLHasKeyAxiom HasKey(OWLClassExpression classExpression,
  OWLPropertyExpression... propertyExpressions) {
  return DF.getOWLHasKeyAxiom(classExpression, propertyExpressions);
}

public static OWLHasKeyAxiom HasKey(Collection<OWLAnnotation> a,
  OWLClassExpression classExpression,
  OWLPropertyExpression... propertyExpressions) {
  return DF.getOWLHasKeyAxiom(classExpression, Arrays.asList(propertyExpressions), a);
}

@Override
public OWLHasKeyAxiom buildObject() {
  return df.getOWLHasKeyAxiom(getClassExpression(), items, annotations);
}

protected OWLHasKeyAxiom createAxiom(Set<OWLPropertyExpression> properties) {
  /*
   * Degenericized to be compatible with changing OWLAPI interfaces
   */
  return getOWLDataFactory().getOWLHasKeyAxiom(getRootObject(), (Set) properties);
}

protected OWLHasKeyAxiom createAxiom(Set<OWLPropertyExpression> properties) {
  /*
   * Degenericized to be compatible with changing OWLAPI interfaces
   */
  return getOWLDataFactory().getOWLHasKeyAxiom(getRootObject(), (Set) properties);
}

protected OWLHasKeyAxiom createAxiom(Set<OWLPropertyExpression> properties) {
  /*
   * Degenericized to be compatible with changing OWLAPI interfaces
   */
  return getOWLDataFactory().getOWLHasKeyAxiom(getRootObject(), (Set) properties);
}

public OWLHasKeyAxiom getAxiomWithoutAnnotations() {
  if(!isAnnotated()) {
    return this;
  }
  return getOWLDataFactory().getOWLHasKeyAxiom(getClassExpression(), getPropertyExpressions());
}

@Override
public OWLHasKeyAxiom visit(OWLHasKeyAxiom axiom) {
  return df
    .getOWLHasKeyAxiom(get(axiom.getClassExpression()), list(axiom.propertyExpressions()),
      anns(axiom));
}

@Override
public void visit(OWLHasKeyAxiom ax) {
  obj = df.getOWLHasKeyAxiom(dup(ax.getClassExpression()), set(ax.propertyExpressions()),
    anns(ax));
}

@Override
public OWLHasKeyAxiom visit(OWLHasKeyAxiom axiom) {
  return df
    .getOWLHasKeyAxiom(get(axiom.getClassExpression()), list(axiom.propertyExpressions()),
      anns(axiom));
}

@Override
public OWLHasKeyAxiom visit(OWLHasKeyAxiom ax) {
  return df.getOWLHasKeyAxiom(t(ax.getClassExpression()), list(ax.propertyExpressions()),
          a(ax));
}

@Override
public OWLHasKeyAxiom visit(ElkHasKeyAxiom axiom) {
  return owlFactory_.getOWLHasKeyAxiom(
      convert(axiom.getClassExpression()),
      toPropertyExpressionSet(axiom.getObjectPropertyExpressions(),
          axiom.getDataPropertyExpressions()));
}

@Override
public OWLHasKeyAxiom visit(OWLHasKeyAxiom axiom) {
  return df
    .getOWLHasKeyAxiom(get(axiom.getClassExpression()), list(axiom.propertyExpressions()),
      anns(axiom));
}

@Override
public OWLHasKeyAxiom visit(ElkHasKeyAxiom axiom) {
  return owlFactory_.getOWLHasKeyAxiom(
      convert(axiom.getClassExpression()),
      toPropertyExpressionSet(axiom.getObjectPropertyExpressions(),
          axiom.getDataPropertyExpressions()));
}

@Override
public OWLHasKeyAxiom visit(OWLHasKeyAxiom ax) {
  return df.getOWLHasKeyAxiom(t(ax.getClassExpression()), list(ax.propertyExpressions()),
          a(ax));
}

  public void handleTriple(IRI subject, IRI predicate, IRI object) throws UnloadableImportException {
    consumeTriple(subject, predicate, object);
    OWLClassExpression ce = translateClassExpression(subject);
    Set<OWLPropertyExpression> props = listTranslator.translateToSet(object);
    addAxiom(getDataFactory().getOWLHasKeyAxiom(ce, props, getPendingAnnotations()));
  }
}

  @Override
  public void handleTriple(IRI s, IRI p, IRI o) {
    if (isCe(s)) {
      consume(s, p, o);
      OWLClassExpression ce = ce(s);
      Set<OWLPropertyExpression> props = listTranslator.translateToSet(o);
      add(df.getOWLHasKeyAxiom(ce, props, anns()));
    }
  }
}

  @Override
  public void handleTriple(IRI s, IRI p, IRI o) {
    if (isCe(s)) {
      consume(s, p, o);
      OWLClassExpression ce = ce(s);
      Set<OWLPropertyExpression> props = listTranslator.translateToSet(o);
      add(df.getOWLHasKeyAxiom(ce, props, anns()));
    }
  }
}

@Override
public Object visit(OWLHasKeyAxiom axiom) {
  return visitAxiom(axiom,
    () -> df.getOWLHasKeyAxiom(t(axiom.getClassExpression()), t(axiom
      .propertyExpressions()), t(axiom.annotations())));
}

  @Override
  public void handleTriple(IRI subject, IRI predicate, IRI object) throws UnloadableImportException {
    if (getConsumer().isClassExpression(subject)) {
      consumeTriple(subject, predicate, object);
      OWLClassExpression ce = translateClassExpression(subject);

      Set<OWLPropertyExpression<?,?>> props = listTranslator.translateToSet(object);
      addAxiom(getDataFactory().getOWLHasKeyAxiom(ce, props, getPendingAnnotations()));
    }
  }
}