How to use

getOWLTransitiveObjectPropertyAxiom

method

in

org.semanticweb.owlapi.model.OWLDataFactory

public static OWLTransitiveObjectPropertyAxiom TransitiveObjectProperty(
  OWLObjectPropertyExpression property,
  Collection<OWLAnnotation> a) {
  return DF.getOWLTransitiveObjectPropertyAxiom(property, a);
}

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

final public OWLTransitiveObjectPropertyAxiom Transitive() throws ParseException {
                      OWLObjectProperty ar;
 jj_consume_token(28);
 jj_consume_token(22);
 ar = ObjectProperty();
 jj_consume_token(23);
 jj_consume_token(COMMAND_END);
  {if (true) return df.getOWLTransitiveObjectPropertyAxiom(ar);}
 throw new Error("Missing return statement in function");
}

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

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

 final public OWLAxiom Transitive() throws ParseException {OWLObjectProperty prop;
  jj_consume_token(OPENPAR);
  jj_consume_token(TRANSITIVE);
  prop = RoleName();
  jj_consume_token(CLOSEPAR);
return df.getOWLTransitiveObjectPropertyAxiom(prop);
}

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

  @Override
  public void handle(String currentId, String value, String qualifierBlock, String comment) {
    if (Boolean.parseBoolean(value)) {
      OWLObjectProperty prop = getDataFactory()
        .getOWLObjectProperty(getIRIFromOBOId(currentId));
      OWLAxiom ax = getDataFactory().getOWLTransitiveObjectPropertyAxiom(prop);
      applyChange(new AddAxiom(getOntology(), ax));
    }
  }
}

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

 final public void Transitive() throws ParseException, KRSS2OWLParserException {OWLObjectProperty prop;
  jj_consume_token(OPENPAR);
  jj_consume_token(TRANSITIVE);
  prop = RoleName();
  jj_consume_token(CLOSEPAR);
addAxiom( df.getOWLTransitiveObjectPropertyAxiom(prop));
}

 final public void Transitive() throws ParseException, KRSS2OWLParserException {OWLObjectProperty prop;
  jj_consume_token(OPENPAR);
  jj_consume_token(TRANSITIVE);
  prop = RoleName();
  jj_consume_token(CLOSEPAR);
addAxiom( df.getOWLTransitiveObjectPropertyAxiom(prop));
}

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

 final public void Transitive() throws ParseException, KRSS2OWLParserException {OWLObjectProperty prop;
  jj_consume_token(OPENPAR);
  jj_consume_token(TRANSITIVE);
  prop = RoleName();
  jj_consume_token(CLOSEPAR);
addAxiom( df.getOWLTransitiveObjectPropertyAxiom(prop));
}

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

final public OWLPropertyAxiom TransitiveObjectProperty() throws ParseException {
 OWLObjectPropertyExpression prop;
 Set<OWLAnnotation> axiomAnnos;
 jj_consume_token(TRANSITIVEOBJECTPROPERTY);
 jj_consume_token(OPENPAR);
 axiomAnnos = AxiomAnnotationSet();
 prop = ObjectPropertyExpression();
 jj_consume_token(CLOSEPAR);
   {if (true) return dataFactory.getOWLTransitiveObjectPropertyAxiom(prop, axiomAnnos);}
 throw new Error("Missing return statement in function");
}

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

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

private OWLAxiom parseTransitivePropertyAxiom() {
  String kw = consumeToken();
  if (!TRANSITIVE.matches(kw)) {
    throw new ExceptionBuilder().withKeyword(TRANSITIVE).build();
  }
  OWLObjectPropertyExpression prop = parseObjectPropertyExpression(false);
  return dataFactory.getOWLTransitiveObjectPropertyAxiom(prop);
}

  public void handleTriple(IRI subject, IRI predicate, IRI object) throws UnloadableImportException {
    getConsumer().addOWLObjectProperty(subject);
    addAxiom(getDataFactory().getOWLTransitiveObjectPropertyAxiom(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()));
}