How to use

getOWLObjectPropertyDomainAxiom

method

in

org.semanticweb.owlapi.model.OWLDataFactory

public static OWLObjectPropertyDomainAxiom ObjectPropertyDomain(
  OWLObjectPropertyExpression property,
  OWLClassExpression domain) {
  return DF.getOWLObjectPropertyDomainAxiom(property, domain);
}

public static OWLObjectPropertyDomainAxiom ObjectPropertyDomain(
  OWLObjectPropertyExpression property,
  OWLClassExpression domain, Collection<OWLAnnotation> a) {
  return DF.getOWLObjectPropertyDomainAxiom(property, domain, a);
}

public static OWLObjectPropertyDomainAxiom ObjectPropertyDomain(
  OWLObjectPropertyExpression property,
  OWLClassExpression domain) {
  return DF.getOWLObjectPropertyDomainAxiom(property, domain);
}

public static OWLObjectPropertyDomainAxiom ObjectPropertyDomain(
  OWLObjectPropertyExpression property,
  OWLClassExpression domain) {
  return DF.getOWLObjectPropertyDomainAxiom(property, domain);
}

public static OWLObjectPropertyDomainAxiom ObjectPropertyDomain(
  OWLObjectPropertyExpression property,
  OWLClassExpression domain) {
  return DF.getOWLObjectPropertyDomainAxiom(property, domain);
}

public static OWLObjectPropertyDomainAxiom ObjectPropertyDomain(
  OWLObjectPropertyExpression property,
  OWLClassExpression domain, Collection<OWLAnnotation> a) {
  return DF.getOWLObjectPropertyDomainAxiom(property, domain, a);
}

  @Override
  public OWLObjectPropertyDomainAxiom buildObject() {
    return df.getOWLObjectPropertyDomainAxiom(getProperty(), getDomain(), annotations);
  }
}

@Override
public OWLAxiom visit(OWLObjectPropertyDomainAxiom axiom) {
  OWLClassExpression domain = axiom.getDomain();
  OWLClassExpression newDomain = domain.accept(classVisitor);
  if (domain.equals(newDomain)) {
    return axiom;
  }
  return df.getOWLObjectPropertyDomainAxiom(axiom.getProperty(), newDomain,
    getAnnotationsWithOptionalExpansionMarker(axiom));
}

@Override
public OWLAxiom visit(OWLObjectPropertyDomainAxiom axiom) {
  return df.getOWLObjectPropertyDomainAxiom(axiom.getProperty(),
    axiom.getDomain().accept(classVisitor));
}

@Override
public OWLAxiom visit(OWLObjectPropertyDomainAxiom axiom) {
  return df.getOWLObjectPropertyDomainAxiom(axiom.getProperty(),
    axiom.getDomain().accept(classVisitor));
}

@Override
public OWLAxiom visit(OWLObjectPropertyDomainAxiom axiom) {
  return df.getOWLObjectPropertyDomainAxiom(axiom.getProperty(),
    axiom.getDomain().accept(classVisitor));
}

@Override
public OWLAxiom visit(OWLObjectPropertyDomainAxiom axiom) {
  OWLClassExpression domain = axiom.getDomain();
  OWLClassExpression newDomain = domain.accept(classVisitor);
  if (domain.equals(newDomain)) {
    return axiom;
  }
  return df.getOWLObjectPropertyDomainAxiom(axiom.getProperty(), newDomain,
    getAnnotationsWithOptionalExpansionMarker(axiom));
}

public OWLObjectPropertyDomainAxiom getAxiomWithoutAnnotations() {
  if(!isAnnotated()) {
    return this;
  }
  return getOWLDataFactory().getOWLObjectPropertyDomainAxiom(getProperty(), getDomain());
}

@Override
public OWLObjectPropertyDomainAxiom visit(OWLObjectPropertyDomainAxiom axiom) {
  return df.getOWLObjectPropertyDomainAxiom(get(axiom.getProperty()), get(axiom.getDomain()),
    anns(axiom));
}

  private void translateObjectPropertyDomain(IRI s, IRI p, IRI o) {
    add(df.getOWLObjectPropertyDomainAxiom(op(s), ce(o), anns()));
    consume(s, p, o);
  }
}

@Override
public void visit(OWLObjectPropertyDomainAxiom ax) {
  obj = df
    .getOWLObjectPropertyDomainAxiom(dup(ax.getProperty()), dup(ax.getDomain()), anns(ax));
}

 final public OWLPropertyAxiom ObjectPropertyDomain() throws ParseException {OWLObjectPropertyExpression prop;
  OWLClassExpression desc;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(OBJECTPROPERTYDOMAIN);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  prop = ObjectPropertyExpression();
  desc = ClassExpression();
  jj_consume_token(CLOSEPAR);
return df.getOWLObjectPropertyDomainAxiom(prop, desc, axiomAnnos);
}

 final public OWLPropertyAxiom ObjectPropertyDomain() throws ParseException {OWLObjectPropertyExpression prop;
  OWLClassExpression desc;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(OBJECTPROPERTYDOMAIN);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  prop = ObjectPropertyExpression();
  desc = ClassExpression();
  jj_consume_token(CLOSEPAR);
return df.getOWLObjectPropertyDomainAxiom(prop, desc, axiomAnnos);
}

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

  @Override
  public void handle(String currentId, String value, String qualifierBlock, String comment) {
    OWLObjectProperty prop = getOWLObjectProperty(getConsumer().getCurrentId());
    OWLClass cls = getOWLClass(value);
    applyChange(new AddAxiom(getOntology(),
      getDataFactory().getOWLObjectPropertyDomainAxiom(prop, cls)));
  }
}