How to use

getOWLEquivalentDataPropertiesAxiom

method

in

org.semanticweb.owlapi.model.OWLDataFactory

  @Override
  public OWLEquivalentDataPropertiesAxiom buildObject() {
    return df.getOWLEquivalentDataPropertiesAxiom(items, annotations);
  }
}

@Override
public OWLAxiom createAxiom(OWLDataProperty s, OWLDataPropertyExpression o,
    Set<OWLAnnotation> anns) {
  return dataFactory.getOWLEquivalentDataPropertiesAxiom(s, o, anns);
}

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

public static OWLEquivalentDataPropertiesAxiom EquivalentDataProperties(
  OWLDataPropertyExpression... properties) {
  return DF.getOWLEquivalentDataPropertiesAxiom(properties);
}

public static OWLEquivalentDataPropertiesAxiom EquivalentDataProperties(
  Collection<OWLAnnotation> a,
  OWLDataPropertyExpression... properties) {
  return DF.getOWLEquivalentDataPropertiesAxiom(Arrays.asList(properties), a);
}

public static OWLEquivalentDataPropertiesAxiom EquivalentDataProperties(
  Collection<OWLAnnotation> a,
  OWLDataPropertyExpression... properties) {
  return DF.getOWLEquivalentDataPropertiesAxiom(Arrays.asList(properties), a);
}

public static OWLEquivalentDataPropertiesAxiom EquivalentDataProperties(
  Collection<OWLAnnotation> a,
  OWLDataPropertyExpression... properties) {
  return DF.getOWLEquivalentDataPropertiesAxiom(Arrays.asList(properties), a);
}

@Override
protected void getExistingAxioms() {
  SortedSet<OWLDataProperty> existingEquivalentProperties = reasoner.getEquivalentProperties(entityToDescribe);
  if (existingEquivalentProperties != null && !existingEquivalentProperties.isEmpty()) {
    for (OWLDataProperty eqProp : existingEquivalentProperties) {
      existingAxioms.add(df.getOWLEquivalentDataPropertiesAxiom(entityToDescribe, eqProp));
    }
    logger.info("Existing axioms:" + existingAxioms);
  }
}

@Override
protected void addAxioms(OWLDataProperty entity, OWLReasoner reasoner,
  OWLDataFactory dataFactory,
  Set<OWLEquivalentDataPropertiesAxiom> result) {
  Set<OWLDataProperty> props = asUnorderedSet(
    reasoner.getEquivalentDataProperties(entity).entities());
  props.add(entity);
  if (props.size() > 1) {
    result.add(dataFactory.getOWLEquivalentDataPropertiesAxiom(props));
  }
}

@Override
protected void addAxioms(OWLDataProperty entity, OWLReasoner reasoner,
  OWLDataFactory dataFactory,
  Set<OWLEquivalentDataPropertiesAxiom> result) {
  Set<OWLDataProperty> props = asUnorderedSet(
    reasoner.getEquivalentDataProperties(entity).entities());
  props.add(entity);
  if (props.size() > 1) {
    result.add(dataFactory.getOWLEquivalentDataPropertiesAxiom(props));
  }
}

@Override
public void visit(OWLEquivalentDataPropertiesAxiom axiom) {
  isLocal = false;
  if (pairs(axiom.properties()).map(v -> df.getOWLEquivalentDataPropertiesAxiom(v.i, v.j))
    .anyMatch(ax -> !kernel.isEntailed(ax))) {
    return;
  }
  isLocal = true;
}

@Override
public void visit(OWLEquivalentDataPropertiesAxiom axiom) {
  isLocal = false;
  if (pairs(axiom.properties()).map(v -> df.getOWLEquivalentDataPropertiesAxiom(v.i, v.j))
    .anyMatch(ax -> !kernel.isEntailed(ax))) {
    return;
  }
  isLocal = true;
}

@Override
public void visit(OWLEquivalentDataPropertiesAxiom ax) {
  obj = df.getOWLEquivalentDataPropertiesAxiom(set(ax.properties()), anns(ax));
}

public boolean addEquivalentProperty(Property property) {
  return isChange(manager.addAxiom(onto,
    factory.getOWLEquivalentDataPropertiesAxiom(dataProp,convert((DatatypeProperty)property))));
}
public boolean removeEquivalentProperty(Property property) {

 final public OWLPropertyAxiom EquivalentDataProperties() throws ParseException {Set<OWLDataPropertyExpression> props;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(EQUIVALENTDATAPROPERTIES);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  props = DataPropertySet();
  jj_consume_token(CLOSEPAR);
return df.getOWLEquivalentDataPropertiesAxiom(props, axiomAnnos);
}

final public OWLPropertyAxiom EquivalentDataProperties() throws ParseException {
  Set<OWLDataPropertyExpression> props;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(EQUIVALENTDATAPROPERTIES);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  props = DataPropertySet();
  jj_consume_token(CLOSEPAR);
  return dataFactory.getOWLEquivalentDataPropertiesAxiom(props, axiomAnnos);
}

@Override
public Object visit(OWLEquivalentDataPropertiesAxiom axiom) {
  return visitAxiom(axiom,
    () -> df.getOWLEquivalentDataPropertiesAxiom(t(axiom.properties()), t(axiom
      .annotations())));
}

 final public OWLPropertyAxiom EquivalentDataProperties() throws ParseException {Set<OWLDataPropertyExpression> props;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(EQUIVALENTDATAPROPERTIES);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  props = DataPropertySet();
  jj_consume_token(CLOSEPAR);
return df.getOWLEquivalentDataPropertiesAxiom(props, axiomAnnos);
}

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
}

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
}