How to use

getOWLEquivalentObjectPropertiesAxiom

method

in

org.semanticweb.owlapi.model.OWLDataFactory

  @Override
  public OWLEquivalentObjectPropertiesAxiom buildObject() {
    return df.getOWLEquivalentObjectPropertiesAxiom(items, annotations);
  }
}

@Override
public OWLAxiom createAxiom(OWLObjectProperty s, OWLObjectPropertyExpression o,
    Set<OWLAnnotation> anns) {
  return dataFactory.getOWLEquivalentObjectPropertiesAxiom(s, o, anns);
}

public static OWLEquivalentObjectPropertiesAxiom EquivalentObjectProperties(
  Collection<OWLAnnotation> a,
  OWLObjectPropertyExpression... properties) {
  return DF.getOWLEquivalentObjectPropertiesAxiom(Arrays.asList(properties), a);
}

public static OWLEquivalentObjectPropertiesAxiom EquivalentObjectProperties(
  Collection<OWLAnnotation> a,
  OWLObjectPropertyExpression... properties) {
  return DF.getOWLEquivalentObjectPropertiesAxiom(Arrays.asList(properties), a);
}

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

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

  private void translateEquivalentObjectProperties(IRI subject, IRI predicate, IRI object) throws OWLOntologyChangeException {
    Set<OWLObjectPropertyExpression> props = new HashSet<OWLObjectPropertyExpression>();
    props.add(translateObjectProperty(subject));
    props.add(translateObjectProperty(object));
    addAxiom(getDataFactory().getOWLEquivalentObjectPropertiesAxiom(props, getPendingAnnotations()));
    consumeTriple(subject, predicate, object);
  }
}

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

 final public OWLPropertyAxiom EquivalentObjectProperties() throws ParseException {Set<OWLObjectPropertyExpression> props;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(EQUIVALENTOBJECTPROPERTIES);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  props = ObjectPropertySet();
  jj_consume_token(CLOSEPAR);
return df.getOWLEquivalentObjectPropertiesAxiom(props, axiomAnnos);
}

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

final public OWLPropertyAxiom EquivalentObjectProperties() throws ParseException {
  Set<OWLObjectPropertyExpression> props;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(EQUIVALENTOBJECTPROPERTIES);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  props = ObjectPropertySet();
  jj_consume_token(CLOSEPAR);
  return dataFactory.getOWLEquivalentObjectPropertiesAxiom(props, axiomAnnos);
}

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

 final public OWLPropertyAxiom EquivalentObjectProperties() throws ParseException {Set<OWLObjectPropertyExpression> props;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(EQUIVALENTOBJECTPROPERTIES);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  props = ObjectPropertySet();
  jj_consume_token(CLOSEPAR);
return df.getOWLEquivalentObjectPropertiesAxiom(props, axiomAnnos);
}

 final public OWLPropertyAxiom EquivalentObjectProperties() throws ParseException {Set<OWLObjectPropertyExpression> props;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(EQUIVALENTOBJECTPROPERTIES);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  props = ObjectPropertySet();
  jj_consume_token(CLOSEPAR);
return df.getOWLEquivalentObjectPropertiesAxiom(props, axiomAnnos);
}

 final public 
void DefineRole() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression propA, propB;
  jj_consume_token(OPENPAR);
  jj_consume_token(DEFINEROLE);
  propA = RoleExpression();
  propB = RoleExpression();
  jj_consume_token(CLOSEPAR);
addAxiom(df.getOWLEquivalentObjectPropertiesAxiom(propA, propB));
}

 final public void RolesEquivalent() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression exp1;
  OWLObjectPropertyExpression exp2;
  jj_consume_token(OPENPAR);
  jj_consume_token(ROLESEQUIVALENT);
  exp1 = RoleExpression();
  exp2 = RoleExpression();
  jj_consume_token(CLOSEPAR);
addAxiom(df.getOWLEquivalentObjectPropertiesAxiom(exp1, exp2));
}

 final public void RolesEquivalent() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression exp1;
  OWLObjectPropertyExpression exp2;
  jj_consume_token(OPENPAR);
  jj_consume_token(ROLESEQUIVALENT);
  exp1 = RoleExpression();
  exp2 = RoleExpression();
  jj_consume_token(CLOSEPAR);
addAxiom(df.getOWLEquivalentObjectPropertiesAxiom(exp1, exp2));
}

 final public 
void DefineRole() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression propA, propB;
  jj_consume_token(OPENPAR);
  jj_consume_token(DEFINEROLE);
  propA = RoleExpression();
  propB = RoleExpression();
  jj_consume_token(CLOSEPAR);
addAxiom(df.getOWLEquivalentObjectPropertiesAxiom(propA, propB));
}

 final public 
void DefineRole() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression propA, propB;
  jj_consume_token(OPENPAR);
  jj_consume_token(DEFINEROLE);
  propA = RoleExpression();
  propB = RoleExpression();
  jj_consume_token(CLOSEPAR);
addAxiom(df.getOWLEquivalentObjectPropertiesAxiom(propA, propB));
}

final public void RolesEquivalent() throws ParseException, KRSS2OWLParserException {
  OWLObjectPropertyExpression exp1;
  OWLObjectPropertyExpression exp2;
  jj_consume_token(OPENPAR);
  jj_consume_token(ROLESEQUIVALENT);
  exp1 = RoleExpression();
  exp2 = RoleExpression();
  jj_consume_token(CLOSEPAR);
  addAxiom(dataFactory.getOWLEquivalentObjectPropertiesAxiom(exp1, exp2));
}