How to use

getOWLNegativeDataPropertyAssertionAxiom

method

in

org.semanticweb.owlapi.model.OWLDataFactory

public static OWLNegativeDataPropertyAssertionAxiom NegativeDataPropertyAssertion(
  OWLDataPropertyExpression property, OWLIndividual source, OWLLiteral target,
  Collection<OWLAnnotation> a) {
  return DF.getOWLNegativeDataPropertyAssertionAxiom(property, source, target, a);
}

public static OWLNegativeDataPropertyAssertionAxiom NegativeDataPropertyAssertion(
  OWLDataPropertyExpression property, OWLIndividual source, OWLLiteral target,
  Collection<OWLAnnotation> a) {
  return DF.getOWLNegativeDataPropertyAssertionAxiom(property, source, target, a);
}

@Override
public OWLNegativeDataPropertyAssertionAxiom buildObject() {
  return df
    .getOWLNegativeDataPropertyAssertionAxiom(getProperty(), getSubject(), getLiteral(),
      annotations);
}

  private void translateNegativeDataPropertyAssertion(IRI s, IRI p, IRI o, IRI source,
    IRI property, OWLLiteral target, Set<OWLAnnotation> annos) {
    OWLIndividual sourceInd = consumer.getOWLIndividual(source);
    OWLDataPropertyExpression prop = dp(property);
    consume(s, p, o);
    add(df.getOWLNegativeDataPropertyAssertionAxiom(prop, sourceInd, target, annos));
  }
}

protected OWLNegativeDataPropertyAssertionAxiom createAxiom(OWLDataPropertyConstantPair editedObject) {
  return getOWLDataFactory().getOWLNegativeDataPropertyAssertionAxiom(editedObject.getProperty(),
                                    getRootObject(),
                                    editedObject.getConstant());
}

  private void translateNegativeDataPropertyAssertion(IRI s, IRI p, IRI o, IRI source,
    IRI property, OWLLiteral target, Set<OWLAnnotation> annos) {
    OWLIndividual sourceInd = consumer.getOWLIndividual(source);
    OWLDataPropertyExpression prop = dp(property);
    consume(s, p, o);
    add(df.getOWLNegativeDataPropertyAssertionAxiom(prop, sourceInd, target, annos));
  }
}

protected OWLNegativeDataPropertyAssertionAxiom createAxiom(OWLDataPropertyConstantPair editedObject) {
  return getOWLDataFactory().getOWLNegativeDataPropertyAssertionAxiom(editedObject.getProperty(),
                                    getRootObject(),
                                    editedObject.getConstant());
}

  private void translateNegativeDataPropertyAssertion(IRI s, IRI p, IRI o, IRI source,
    IRI property, OWLLiteral target, Set<OWLAnnotation> annos) {
    OWLIndividual sourceInd = consumer.getOWLIndividual(source);
    OWLDataPropertyExpression prop = dp(property);
    consume(s, p, o);
    add(df.getOWLNegativeDataPropertyAssertionAxiom(prop, sourceInd, target, annos));
  }
}

  @Override
  public OWLNegativeDataPropertyAssertionAxiom visit(
    OWLNegativeDataPropertyAssertionAxiom axiom) {
    return df
      .getOWLNegativeDataPropertyAssertionAxiom(axiom.getProperty(), axiom.getSubject(),
        process(axiom
          .getProperty(), axiom.getObject()));
  }
}

  @Override
  public OWLNegativeDataPropertyAssertionAxiom visit(
    OWLNegativeDataPropertyAssertionAxiom axiom) {
    return df
      .getOWLNegativeDataPropertyAssertionAxiom(axiom.getProperty(), axiom.getSubject(),
        process(axiom
          .getProperty(), axiom.getObject()));
  }
}

public OWLNegativeDataPropertyAssertionAxiom getAxiomWithoutAnnotations() {
  if(!isAnnotated()) {
    return this;
  }
  return getOWLDataFactory().getOWLNegativeDataPropertyAssertionAxiom(getProperty(), getSubject(), getObject());
}

@Override
public void visit(OWLNegativeDataPropertyAssertionAxiom ax) {
  obj = df
    .getOWLNegativeDataPropertyAssertionAxiom(dup(ax.getProperty()), dup(ax.getSubject()),
      dup(ax
        .getObject()), anns(ax));
}

@Override
public OWLNegativeDataPropertyAssertionAxiom visit(OWLNegativeDataPropertyAssertionAxiom ax) {
  return df.getOWLNegativeDataPropertyAssertionAxiom(t(ax.getProperty()), t(ax.getSubject()),
          t(ax.getObject()), a(ax));
}

@Override
public OWLNegativeDataPropertyAssertionAxiom visit(
  OWLNegativeDataPropertyAssertionAxiom axiom) {
  return df.getOWLNegativeDataPropertyAssertionAxiom(get(axiom.getProperty()),
    get(axiom.getSubject()), get(axiom
      .getObject()), anns(axiom));
}

@Override
public OWLNegativeDataPropertyAssertionAxiom visit(
  OWLNegativeDataPropertyAssertionAxiom axiom) {
  return df.getOWLNegativeDataPropertyAssertionAxiom(get(axiom.getProperty()),
    get(axiom.getSubject()), get(axiom
      .getObject()), anns(axiom));
}

public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
  axiom.getSubject().accept(this);
  OWLIndividual ind = (OWLIndividual) obj;
  axiom.getProperty().accept(this);
  OWLDataPropertyExpression prop = (OWLDataPropertyExpression) obj;
  axiom.getObject().accept(this);
  OWLLiteral con = (OWLLiteral) obj;
  obj = dataFactory.getOWLNegativeDataPropertyAssertionAxiom(prop, ind, con, duplicateAxiomAnnotations(axiom));
}

@Override
public Object visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
  return visitAxiom(axiom,
    () -> df.getOWLNegativeDataPropertyAssertionAxiom(t(axiom.getProperty()), t(axiom
      .getSubject()), t(axiom.getObject()), t(axiom.annotations())));
}

@Override
public void handleTriple(IRI s, IRI p, IRI o) {
  IRI source = source(s);
  IRI property = property(s);
  OWLLiteral target = target(s);
  OWLIndividual sourceInd = consumer.getOWLIndividual(source);
  OWLDataPropertyExpression prop = dp(property);
  consume(s, p, o);
  anns(s);
  add(df.getOWLNegativeDataPropertyAssertionAxiom(prop, sourceInd, target, anns()));
}

@Override
public Object visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
  return visitAxiom(axiom,
    () -> df.getOWLNegativeDataPropertyAssertionAxiom(t(axiom.getProperty()), t(axiom
      .getSubject()), t(axiom.getObject()), t(axiom.annotations())));
}

@Override
public void handleTriple(IRI s, IRI p, IRI o) {
  IRI source = source(s);
  IRI property = property(s);
  OWLLiteral target = target(s);
  OWLIndividual sourceInd = consumer.getOWLIndividual(source);
  OWLDataPropertyExpression prop = dp(property);
  consume(s, p, o);
  anns(s);
  add(df.getOWLNegativeDataPropertyAssertionAxiom(prop, sourceInd, target, anns()));
}