How to use

getOWLIrreflexiveObjectPropertyAxiom

method

in

org.semanticweb.owlapi.model.OWLDataFactory

public static OWLIrreflexiveObjectPropertyAxiom IrreflexiveObjectProperty(
  OWLObjectPropertyExpression property,
  Collection<OWLAnnotation> a) {
  return DF.getOWLIrreflexiveObjectPropertyAxiom(property, a);
}

public static OWLIrreflexiveObjectPropertyAxiom IrreflexiveObjectProperty(
  OWLObjectPropertyExpression property,
  Collection<OWLAnnotation> a) {
  return DF.getOWLIrreflexiveObjectPropertyAxiom(property, a);
}

  @Override
  public OWLIrreflexiveObjectPropertyAxiom buildObject() {
    return df.getOWLIrreflexiveObjectPropertyAxiom(verifyNotNull(getProperty()), annotations);
  }
}

  @Override
  public OWLIrreflexiveObjectPropertyAxiom buildObject() {
    return df.getOWLIrreflexiveObjectPropertyAxiom(verifyNotNull(getProperty()), annotations);
  }
}

  @Override
  public OWLIrreflexiveObjectPropertyAxiom buildObject() {
    return df.getOWLIrreflexiveObjectPropertyAxiom(verifyNotNull(getProperty()), annotations);
  }
}

@Override
public void visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
  OWLObjectPropertyExpression property = axiom.getProperty();
  property = expressionRenamer.rename(property);
  renamedAxiom = df.getOWLIrreflexiveObjectPropertyAxiom(property);
}

  @Override
  protected OWLAxiom createPropertyCharacteristicAxiom() {
    return getOWLDataFactory().getOWLIrreflexiveObjectPropertyAxiom(getProperty(), getAnnotations());
  }
}

public OWLIrreflexiveObjectPropertyAxiom getAxiomWithoutAnnotations() {
  if(!isAnnotated()) {
    return this;
  }
  return getOWLDataFactory().getOWLIrreflexiveObjectPropertyAxiom(getProperty());
}

 final public OWLPropertyAxiom IrreflexiveObjectProperty() throws ParseException {OWLObjectPropertyExpression prop;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(IRREFLEXIVEOBJECTPROPERTY);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  prop = ObjectPropertyExpression();
  jj_consume_token(CLOSEPAR);
return df.getOWLIrreflexiveObjectPropertyAxiom(prop, axiomAnnos);
}

@Override
public Object visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
  return visitAxiom(axiom,
    () -> df.getOWLIrreflexiveObjectPropertyAxiom(t(axiom.getProperty()), t(axiom
      .annotations())));
}

 final public OWLPropertyAxiom IrreflexiveObjectProperty() throws ParseException {OWLObjectPropertyExpression prop;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(IRREFLEXIVEOBJECTPROPERTY);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  prop = ObjectPropertyExpression();
  jj_consume_token(CLOSEPAR);
return df.getOWLIrreflexiveObjectPropertyAxiom(prop, axiomAnnos);
}

  @Override
  public void handleTriple(IRI s, IRI p, IRI o) {
    if (isOpLax(s)) {
      add(df.getOWLIrreflexiveObjectPropertyAxiom(op(s), anns()));
      consume(s, p, o);
    }
  }
}

@Override
public Object visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
  return visitAxiom(axiom,
    () -> df.getOWLIrreflexiveObjectPropertyAxiom(t(axiom.getProperty()), t(axiom
      .annotations())));
}

 final public OWLPropertyAxiom IrreflexiveObjectProperty() throws ParseException {OWLObjectPropertyExpression prop;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(IRREFLEXIVEOBJECTPROPERTY);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  prop = ObjectPropertyExpression();
  jj_consume_token(CLOSEPAR);
return df.getOWLIrreflexiveObjectPropertyAxiom(prop, axiomAnnos);
}

@Override
public Object visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
  return visitAxiom(axiom,
    () -> df.getOWLIrreflexiveObjectPropertyAxiom(t(axiom.getProperty()), t(axiom
      .annotations())));
}

private OWLAxiom parseIrreflexivePropertyAxiom() {
  String kw = consumeToken();
  if (!IRREFLEXIVE.matches(kw)) {
    throw new ExceptionBuilder().withKeyword(IRREFLEXIVE).build();
  }
  return df.getOWLIrreflexiveObjectPropertyAxiom(parseObjectPropertyExpression(false));
}

private OWLAxiom parseIrreflexivePropertyAxiom() {
  String kw = consumeToken();
  if (!IRREFLEXIVE.matches(kw)) {
    throw new ExceptionBuilder().withKeyword(IRREFLEXIVE).build();
  }
  return df.getOWLIrreflexiveObjectPropertyAxiom(parseObjectPropertyExpression(false));
}

  @Override
  public void handleTriple(IRI subject, IRI predicate, IRI object) throws UnloadableImportException {
    if (getConsumer().isObjectProperty(subject)) {
      addAxiom(getDataFactory().getOWLIrreflexiveObjectPropertyAxiom(translateObjectProperty(subject), getPendingAnnotations()));
      consumeTriple(subject, predicate, object);
    }
  }
}

private void setupSetters() {
  addSetter(functionalCB, () -> getOWLDataFactory().getOWLFunctionalObjectPropertyAxiom(getProperty()));
  addSetter(inverseFunctionalCB, () -> getOWLDataFactory().getOWLInverseFunctionalObjectPropertyAxiom(getProperty()));
  addSetter(transitiveCB, () -> getOWLDataFactory().getOWLTransitiveObjectPropertyAxiom(getProperty()));
  addSetter(symmetricCB, () -> getOWLDataFactory().getOWLSymmetricObjectPropertyAxiom(getProperty()));
  addSetter(aSymmetricCB, () -> getOWLDataFactory().getOWLAsymmetricObjectPropertyAxiom(getProperty()));
  addSetter(reflexiveCB, () -> getOWLDataFactory().getOWLReflexiveObjectPropertyAxiom(getProperty()));
  addSetter(irreflexiveCB, () -> getOWLDataFactory().getOWLIrreflexiveObjectPropertyAxiom(getProperty()));
}

private void setupSetters() {
  addSetter(functionalCB, () -> getOWLDataFactory().getOWLFunctionalObjectPropertyAxiom(getProperty()));
  addSetter(inverseFunctionalCB, () -> getOWLDataFactory().getOWLInverseFunctionalObjectPropertyAxiom(getProperty()));
  addSetter(transitiveCB, () -> getOWLDataFactory().getOWLTransitiveObjectPropertyAxiom(getProperty()));
  addSetter(symmetricCB, () -> getOWLDataFactory().getOWLSymmetricObjectPropertyAxiom(getProperty()));
  addSetter(aSymmetricCB, () -> getOWLDataFactory().getOWLAsymmetricObjectPropertyAxiom(getProperty()));
  addSetter(reflexiveCB, () -> getOWLDataFactory().getOWLReflexiveObjectPropertyAxiom(getProperty()));
  addSetter(irreflexiveCB, () -> getOWLDataFactory().getOWLIrreflexiveObjectPropertyAxiom(getProperty()));
}