How to use

getOWLNegativeObjectPropertyAssertionAxiom

method

in

org.semanticweb.owlapi.model.OWLDataFactory

public static OWLNegativeObjectPropertyAssertionAxiom NegativeObjectPropertyAssertion(
  OWLObjectPropertyExpression property, OWLIndividual source, OWLIndividual target,
  Collection<OWLAnnotation> a) {
  return DF.getOWLNegativeObjectPropertyAssertionAxiom(property, source, target, a);
}

public static OWLNegativeObjectPropertyAssertionAxiom NegativeObjectPropertyAssertion(
  OWLObjectPropertyExpression property, OWLIndividual source, OWLIndividual target,
  Collection<OWLAnnotation> a) {
  return DF.getOWLNegativeObjectPropertyAssertionAxiom(property, source, target, a);
}

public static OWLNegativeObjectPropertyAssertionAxiom NegativeObjectPropertyAssertion(
  OWLObjectPropertyExpression property, OWLIndividual source, OWLIndividual target,
  Collection<OWLAnnotation> a) {
  return DF.getOWLNegativeObjectPropertyAssertionAxiom(property, source, target, a);
}

protected OWLNegativeObjectPropertyAssertionAxiom createAxiom(OWLObjectPropertyIndividualPair object) {
  return getOWLDataFactory().getOWLNegativeObjectPropertyAssertionAxiom(object.getProperty(),
                                     getRootObject(),
                                     object.getIndividual());
}

protected OWLNegativeObjectPropertyAssertionAxiom createAxiom(OWLObjectPropertyIndividualPair editedObject) {
  return getOWLDataFactory().getOWLNegativeObjectPropertyAssertionAxiom(editedObject.getProperty(),
                                     getRootObject(),
                                     editedObject.getIndividual());
}

@Override
public OWLNegativeObjectPropertyAssertionAxiom buildObject() {
  return df.getOWLNegativeObjectPropertyAssertionAxiom(verifyNotNull(getProperty()),
    verifyNotNull(subject),
    verifyNotNull(value), annotations);
}

@Override
public OWLNegativeObjectPropertyAssertionAxiom buildObject() {
  return df.getOWLNegativeObjectPropertyAssertionAxiom(verifyNotNull(getProperty()),
    verifyNotNull(subject),
    verifyNotNull(value), annotations);
}

protected OWLNegativeObjectPropertyAssertionAxiom createAxiom(OWLObjectPropertyIndividualPair object) {
  return getOWLDataFactory().getOWLNegativeObjectPropertyAssertionAxiom(object.getProperty(),
                                     getRootObject(),
                                     object.getIndividual());
}

protected OWLNegativeObjectPropertyAssertionAxiom createAxiom(OWLObjectPropertyIndividualPair editedObject) {
  return getOWLDataFactory().getOWLNegativeObjectPropertyAssertionAxiom(editedObject.getProperty(),
                                     getRootObject(),
                                     editedObject.getIndividual());
}

private void translateNegativeObjectPropertyAssertion(IRI s, IRI p, IRI o, IRI source,
  IRI property, IRI target, Set<OWLAnnotation> annos) {
  OWLIndividual sourceInd = consumer.getOWLIndividual(source);
  OWLObjectPropertyExpression prop = op(property);
  OWLIndividual targetInd = consumer.getOWLIndividual(target);
  consume(s, p, o);
  add(df.getOWLNegativeObjectPropertyAssertionAxiom(prop, sourceInd, targetInd, annos));
}

private void translateNegativeObjectPropertyAssertion(IRI s, IRI p, IRI o, IRI source,
  IRI property, IRI target, Set<OWLAnnotation> annos) {
  OWLIndividual sourceInd = consumer.getOWLIndividual(source);
  OWLObjectPropertyExpression prop = op(property);
  OWLIndividual targetInd = consumer.getOWLIndividual(target);
  consume(s, p, o);
  add(df.getOWLNegativeObjectPropertyAssertionAxiom(prop, sourceInd, targetInd, annos));
}

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

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

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

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

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

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

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

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

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