How to use

getOWLSubObjectPropertyOfAxiom

method

in

org.semanticweb.owlapi.model.OWLDataFactory

public static OWLSubObjectPropertyOfAxiom SubObjectPropertyOf(
  OWLObjectPropertyExpression subProperty,
  OWLObjectPropertyExpression superProperty) {
  return DF.getOWLSubObjectPropertyOfAxiom(subProperty, superProperty);
}

public static OWLSubObjectPropertyOfAxiom SubObjectPropertyOf(
  OWLObjectPropertyExpression subProperty,
  OWLObjectPropertyExpression superProperty, Collection<OWLAnnotation> a) {
  return DF.getOWLSubObjectPropertyOfAxiom(subProperty, superProperty, a);
}

public static OWLSubObjectPropertyOfAxiom SubObjectPropertyOf(
  OWLObjectPropertyExpression subProperty,
  OWLObjectPropertyExpression superProperty, Collection<OWLAnnotation> a) {
  return DF.getOWLSubObjectPropertyOfAxiom(subProperty, superProperty, a);
}

  @Override
  protected Set<? extends OWLAxiom> createParentPlacementAxioms(OWLObjectProperty freshEntity,
                                 ChangeGenerationContext context,
                                 ImmutableSet<OWLObjectProperty> parents) {
    return parents.stream()
        .map(parent -> dataFactory.getOWLSubObjectPropertyOfAxiom(freshEntity, parent))
        .collect(toSet());
  }
}

@Nonnull
@Override
public Optional<OWLAxiom> visit(@Nonnull OWLObjectProperty property) {
  return strategy.getDeprecatedObjectPropertyParentIri()
          .map(parent -> dataFactory.getOWLSubObjectPropertyOfAxiom(property, dataFactory.getOWLObjectProperty(parent)));
}

@Override
public Collection<OWLAxiom> visit(OWLInverseObjectPropertiesAxiom axiom) {
  Set<OWLAxiom> axioms = new HashSet<>();
  axioms.add(df.getOWLSubObjectPropertyOfAxiom(axiom.getFirstProperty(),
    axiom.getSecondProperty().getInverseProperty()));
  axioms.add(df.getOWLSubObjectPropertyOfAxiom(axiom.getSecondProperty(),
    axiom.getFirstProperty().getInverseProperty()));
  return axioms;
}

@Override
public void visit(OWLInverseObjectPropertiesAxiom axiom) {
  isLocal = kernel
    .isEntailed(df.getOWLSubObjectPropertyOfAxiom(axiom.getFirstProperty(),
      axiom.getSecondProperty().getInverseProperty()))
    && kernel.isEntailed(df.getOWLSubObjectPropertyOfAxiom(
      axiom.getFirstProperty().getInverseProperty(), axiom.getSecondProperty()));
}

@Override
public void visit(OWLInverseObjectPropertiesAxiom axiom) {
  isLocal =
    kernel.isEntailed(df.getOWLSubObjectPropertyOfAxiom(axiom.getFirstProperty(), axiom
      .getSecondProperty().getInverseProperty())) && kernel
      .isEntailed(df.getOWLSubObjectPropertyOfAxiom(axiom
        .getFirstProperty().getInverseProperty(), axiom.getSecondProperty()));
}

@Override
public void visit(OWLInverseObjectPropertiesAxiom axiom) {
  isLocal =
    kernel.isEntailed(df.getOWLSubObjectPropertyOfAxiom(axiom.getFirstProperty(), axiom
      .getSecondProperty().getInverseProperty())) && kernel
      .isEntailed(df.getOWLSubObjectPropertyOfAxiom(axiom
        .getFirstProperty().getInverseProperty(), axiom.getSecondProperty()));
}

  @Override
  public OWLSubObjectPropertyOfAxiom buildObject() {
    return df.getOWLSubObjectPropertyOfAxiom(verifyNotNull(getSub()), verifyNotNull(getSup()),
      annotations);
  }
}

@Override
public OWLSubObjectPropertyOfAxiom visit(OWLSubObjectPropertyOfAxiom ax) {
  return df.getOWLSubObjectPropertyOfAxiom(t(ax.getSubProperty()), t(ax.getSuperProperty()),
          a(ax));
}

@Override
public OWLSubObjectPropertyOfAxiom visit(OWLSubObjectPropertyOfAxiom axiom) {
  return df.getOWLSubObjectPropertyOfAxiom(get(axiom.getSubProperty()),
    get(axiom.getSuperProperty()), anns(
      axiom));
}

public void visit(OWLSubObjectPropertyOfAxiom axiom) {
  axiom.getSubProperty().accept(this);
  OWLObjectPropertyExpression subProp = (OWLObjectPropertyExpression) obj;
  axiom.getSuperProperty().accept(this);
  OWLObjectPropertyExpression supProp = (OWLObjectPropertyExpression) obj;
  obj = dataFactory.getOWLSubObjectPropertyOfAxiom(subProp, supProp, duplicateAxiomAnnotations(axiom));
}

private void translateSubObjectProperty(IRI s, IRI p, IRI o) {
  // Object - o
  add(df.getOWLSubObjectPropertyOfAxiom(op(s), op(o), anns()));
  consume(s, p, o);
}

@Override
public void visit(OWLSubObjectPropertyOfAxiom ax) {
  obj = df
    .getOWLSubObjectPropertyOfAxiom(dup(ax.getSubProperty()), dup(ax.getSuperProperty()),
      anns(ax));
}

final public OWLSubObjectPropertyOfAxiom Subrole() throws ParseException {
                 OWLObjectProperty ar1,ar2;
 jj_consume_token(32);
 jj_consume_token(22);
 ar1 = ObjectProperty();
 jj_consume_token(24);
 ar2 = ObjectProperty();
 jj_consume_token(23);
 jj_consume_token(COMMAND_END);
  {if (true) return df.getOWLSubObjectPropertyOfAxiom(ar1,ar2);}
 throw new Error("Missing return statement in function");
}

 final public void ImpliesRole() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression subProp;
  OWLObjectPropertyExpression superProp;
  jj_consume_token(OPENPAR);
  jj_consume_token(IMPLIESROLE);
  subProp = RoleExpression();
  superProp = RoleExpression();
  jj_consume_token(CLOSEPAR);
addAxiom(df.getOWLSubObjectPropertyOfAxiom(subProp, superProp));
}

final public void ImpliesRole() throws ParseException, KRSS2OWLParserException {
 OWLObjectPropertyExpression subProp;
 OWLObjectPropertyExpression superProp;
 jj_consume_token(OPENPAR);
 jj_consume_token(IMPLIESROLE);
 subProp = RoleExpression();
 superProp = RoleExpression();
 jj_consume_token(CLOSEPAR);
   addAxiom(dataFactory.getOWLSubObjectPropertyOfAxiom(subProp, superProp));
}

@Override
public Object visit(OWLSubObjectPropertyOfAxiom axiom) {
  return visitAxiom(axiom,
    () -> df.getOWLSubObjectPropertyOfAxiom(t(axiom.getSubProperty()), t(axiom
      .getSuperProperty()), t(axiom.annotations())));
}

@Override
public Object visit(OWLSubObjectPropertyOfAxiom axiom) {
  return visitAxiom(axiom,
    () -> df.getOWLSubObjectPropertyOfAxiom(t(axiom.getSubProperty()), t(axiom
      .getSuperProperty()), t(axiom.annotations())));
}