How to use

getOWLSubDataPropertyOfAxiom

method

in

org.semanticweb.owlapi.model.OWLDataFactory

public OWLSubDataPropertyOfAxiom createOWLSubDataPropertyOfAxiom(OWLDataPropertyExpression child,
   OWLDataPropertyExpression parent)
{
 return owlDataFactory.getOWLSubDataPropertyOfAxiom(child, parent);
}

  @Override
  public OWLSubDataPropertyOfAxiom getAxiom(OWLDataProperty property, OWLDataProperty otherProperty) {
    return df.getOWLSubDataPropertyOfAxiom(property, otherProperty);
  }
}

public static OWLSubDataPropertyOfAxiom SubDataPropertyOf(OWLDataPropertyExpression subProperty,
  OWLDataPropertyExpression superProperty) {
  return DF.getOWLSubDataPropertyOfAxiom(subProperty, superProperty);
}

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

@Nonnull
@Override
public Optional<OWLAxiom> visit(@Nonnull OWLDataProperty property) {
  return strategy.getDeprecatedDataPropertyParentIri()
          .map(parent -> dataFactory.getOWLSubDataPropertyOfAxiom(property, dataFactory.getOWLDataProperty(parent)));
}

  @Override
  protected OWLAxiom createAxiom() throws OWLXMLParserException {
    return getOWLDataFactory().getOWLSubDataPropertyOfAxiom(subProperty, superProperty, getAnnotations());
  }
}

@Override
protected void addAxioms(OWLDataProperty entity, OWLReasoner reasoner,
  OWLDataFactory dataFactory,
  Set<OWLSubDataPropertyOfAxiom> result) {
  checkNotNull(dataFactory, "dataFactory cannot be null");
  checkNotNull(reasoner, "reasoner cannot be null");
  checkNotNull(result, "result cannot be null");
  checkNotNull(entity, "entity cannot be null");
  reasoner.getSuperDataProperties(entity, true).entities()
    .forEach(sup -> result.add(dataFactory.getOWLSubDataPropertyOfAxiom(entity, sup)));
}

@Override
protected void addAxioms(OWLDataProperty entity, OWLReasoner reasoner,
  OWLDataFactory dataFactory,
  Set<OWLSubDataPropertyOfAxiom> result) {
  checkNotNull(dataFactory, "dataFactory cannot be null");
  checkNotNull(reasoner, "reasoner cannot be null");
  checkNotNull(result, "result cannot be null");
  checkNotNull(entity, "entity cannot be null");
  reasoner.getSuperDataProperties(entity, true).entities()
    .forEach(sup -> result.add(dataFactory.getOWLSubDataPropertyOfAxiom(entity, sup)));
}

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

  private void translateSubDataProperty(IRI s, IRI p, IRI o) {
    // Data - Data
    add(df.getOWLSubDataPropertyOfAxiom(dp(s), dp(o), anns()));
    consume(s, p, o);
  }
}

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

public void visit(OWLSubDataPropertyOfAxiom axiom) {
  axiom.getSubProperty().accept(this);
  OWLDataPropertyExpression subProp = (OWLDataPropertyExpression) obj;
  axiom.getSuperProperty().accept(this);
  OWLDataPropertyExpression supProp = (OWLDataPropertyExpression) obj;
  obj = dataFactory.getOWLSubDataPropertyOfAxiom(subProp, supProp, duplicateAxiomAnnotations(axiom));
}

  private void translateSubDataProperty(IRI s, IRI p, IRI o) {
    // Data - Data
    add(df.getOWLSubDataPropertyOfAxiom(dp(s), dp(o), anns()));
    consume(s, p, o);
  }
}

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

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

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

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

 final public OWLPropertyAxiom SubDataPropertyOf() throws ParseException {OWLDataPropertyExpression subProperty;
  OWLDataPropertyExpression superProperty;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(SUBDATAPROPERTYOF);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  subProperty = DataPropertyExpression();
  superProperty = DataPropertyExpression();
  jj_consume_token(CLOSEPAR);
return df.getOWLSubDataPropertyOfAxiom(subProperty, superProperty, axiomAnnos);
}

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

private void initialiseDataPropertyFrameSections() {
  //@formatter:off
  initialiseSection(new AnnAxiom<OWLDataProperty, OWLDataPropertyExpression>(x -> parseDataProperty(), SUB_PROPERTY_OF, (s, o, anns) -> df.getOWLSubDataPropertyOfAxiom(s, o, anns)), dataPropertyFrameSections);
  initialiseSection(new AnnAxiom<OWLDataProperty, OWLDataPropertyExpression>(x -> parseDataProperty(), EQUIVALENT_TO, (s, o, anns) -> df.getOWLEquivalentDataPropertiesAxiom(s,o, anns)), dataPropertyFrameSections);
  initialiseSection(new AnnAxiom<OWLDataProperty, OWLDataPropertyExpression>(x -> parseDataProperty(), DISJOINT_WITH, (s, o, anns) -> df.getOWLDisjointDataPropertiesAxiom(s,o, anns)), dataPropertyFrameSections);
  initialiseSection(new AnnAxiom<OWLDataProperty, OWLClassExpression>(x -> parseUnion(), DOMAIN, (s, o, anns) -> df.getOWLDataPropertyDomainAxiom(s, o, anns)), dataPropertyFrameSections);
  initialiseSection(new AnnAxiom<OWLDataProperty, OWLDataRange>(x -> parseDataRange(), RANGE, (s, o, anns) -> df.getOWLDataPropertyRangeAxiom(s, o, anns)), dataPropertyFrameSections);
  initialiseSection(new AnnAxiom<OWLDataProperty, OWLDataPropertyCharacteristicAxiom>(this::parseDataPropertyCharacteristic, CHARACTERISTICS, (s, o, anns) -> o.getAnnotatedAxiom(anns)), dataPropertyFrameSections);
  initialiseSection(new AnnAxiom<OWLDataProperty, OWLAnnotation>(x -> parseAnnotation(), ANNOTATIONS, (s, o, anns) -> df.getOWLAnnotationAssertionAxiom(s.getIRI(), o, anns)), dataPropertyFrameSections);
  //@formatter:on
}