How to use

getOWLDataHasValue

method

in

org.semanticweb.owlapi.model.OWLDataFactory

@Override
public OWLClassExpression visit(OWLSubDataPropertyOfAxiom ax) {
  OWLLiteral c = df.getOWLLiteral("x");
  OWLClassExpression subHasValue = df.getOWLDataHasValue(ax.getSubProperty(), c);
  OWLClassExpression supHasValue = df.getOWLDataHasValue(ax.getSuperProperty(), c);
  return df.getOWLObjectIntersectionOf(subHasValue, df.getOWLObjectComplementOf(supHasValue));
}

  @Override
  public OWLClassExpression visit(OWLNegativeDataPropertyAssertionAxiom ax) {
    return df
      .getOWLObjectComplementOf(df.getOWLDataHasValue(ax.getProperty(), ax.getObject()));
  }
}

  @Override
  public OWLClassExpression visit(OWLNegativeDataPropertyAssertionAxiom ax) {
    return df
      .getOWLObjectComplementOf(df.getOWLDataHasValue(ax.getProperty(), ax.getObject()));
  }
}

  @Override
  protected OWLClassExpression createRestriction() {
    return getOWLDataFactory().getOWLDataHasValue(getProperty(), getFiller());
  }
}

  @Override
  public OWLClassExpression visit(OWLNegativeDataPropertyAssertionAxiom ax) {
    return df
      .getOWLObjectComplementOf(df.getOWLDataHasValue(ax.getProperty(), ax.getObject()));
  }
}

  @Override
  public OWLClassExpression visit(OWLNegativeDataPropertyAssertionAxiom ax) {
    return df
      .getOWLObjectComplementOf(df.getOWLDataHasValue(ax.getProperty(), ax.getObject()));
  }
}

  protected OWLClassExpression translateRestriction(IRI mainNode) {
    OWLLiteral con = getLiteralObject(mainNode, OWLRDFVocabulary.OWL_HAS_VALUE.getIRI(), true);
    return getDataFactory().getOWLDataHasValue(translateOnProperty(mainNode), con);
  }
}

@Override
public OWLDataHasValue visit(OWLDataHasValue ce) {
  return df
    .getOWLDataHasValue(ce.getProperty(), process(ce.getProperty(), ce.getFiller()));
}

@Override
public void visit(OWLDataHasValue desc) {
  OWLDataPropertyExpression property = desc.getProperty();
  property = rename(property);
  OWLLiteral value = desc.getFiller();
  value = rename(value);
  renamedOWLObject = df.getOWLDataHasValue(property, value);
}

 final public OWLClassExpression DataHasValue() throws ParseException {OWLDataPropertyExpression prop = null;
  OWLLiteral literal = null;
  jj_consume_token(DATAHASVALUE);
  jj_consume_token(OPENPAR);
  prop = DataPropertyExpression();
  literal = Literal();
  jj_consume_token(CLOSEPAR);
return df.getOWLDataHasValue(prop, literal);
}

 final public OWLClassExpression DataHasValue() throws ParseException {OWLDataPropertyExpression prop = null;
  OWLLiteral literal = null;
  jj_consume_token(DATAHASVALUE);
  jj_consume_token(OPENPAR);
  prop = DataPropertyExpression();
  literal = Literal();
  jj_consume_token(CLOSEPAR);
return df.getOWLDataHasValue(prop, literal);
}

@Override
public OWLClassExpression visit(OWLDataPropertyAssertionAxiom axiom) {
  OWLClassExpression sub = oneOf(axiom.getSubject());
  OWLClassExpression sup = factory.getOWLDataHasValue(axiom.getProperty(), axiom.getObject());
  OWLSubClassOfAxiom ax = factory.getOWLSubClassOfAxiom(sub, sup);
  return ax.accept(this);
}

@Override
public OWLClassExpression visit(OWLDataPropertyAssertionAxiom axiom) {
  OWLClassExpression sub = oneOf(axiom.getSubject());
  OWLClassExpression sup = factory.getOWLDataHasValue(axiom.getProperty(), axiom.getObject());
  OWLSubClassOfAxiom ax = factory.getOWLSubClassOfAxiom(sub, sup);
  return ax.accept(this);
}

@Override
public OWLClassExpression visit(OWLDataPropertyAssertionAxiom ax) {
  OWLClassExpression nom = df.getOWLObjectOneOf(ax.getSubject());
  OWLClassExpression hasVal = df.getOWLDataHasValue(ax.getProperty(), ax.getObject());
  return df.getOWLObjectIntersectionOf(nom, df.getOWLObjectComplementOf(hasVal));
}

@Override
public OWLClassExpression visit(OWLDataPropertyAssertionAxiom axiom) {
  OWLClassExpression sub = oneOf(axiom.getSubject());
  OWLClassExpression sup = factory.getOWLDataHasValue(axiom.getProperty(), axiom.getObject());
  OWLSubClassOfAxiom ax = factory.getOWLSubClassOfAxiom(sub, sup);
  return ax.accept(this);
}

public Boolean visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
  // see OWL 2 Syntax, Sec 11.2
  // No axiom in Ax of the following form contains anonymous individuals:
  // SameIndividual, DifferentIndividuals, NegativeObjectPropertyAssertion, and NegativeDataPropertyAssertion.
  if (axiom.getSubject().isAnonymous()) {
    throw new IllegalArgumentException("NegativeDataPropertyAssertion axioms are not allowed to be used "+"with anonymous individuals (see OWL 2 Syntax Sec 11.2) and the subject "+axiom.getSubject()+" of the axiom "+axiom+" is anonymous. ");
  }
  OWLClassExpression hasValue=factory.getOWLDataHasValue(axiom.getProperty(),axiom.getObject());
  OWLClassExpression doesNotHaveValue=factory.getOWLObjectComplementOf(hasValue);
  return reasoner.hasType(axiom.getSubject().asOWLNamedIndividual(),doesNotHaveValue,false);
}

@Override
public OWLClassExpression visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
  OWLClassExpression sub = oneOf(axiom.getSubject());
  OWLClassExpression sup = factory.getOWLDataHasValue(axiom.getProperty(), axiom.getObject());
  return factory.getOWLSubClassOfAxiom(sub, not(sup)).accept(this);
}

public OWLSubClassOfAxiom asOWLSubClassOfAxiom() {
  OWLDataFactory df = getOWLDataFactory();
  return df.getOWLSubClassOfAxiom(
      df.getOWLObjectOneOf(getSubject()),
      df.getOWLObjectComplementOf(
          df.getOWLDataHasValue(getProperty(), getObject())
      )
  );
}

@Override
public OWLClassExpression visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
  OWLClassExpression sub = oneOf(axiom.getSubject());
  OWLClassExpression sup = factory.getOWLDataHasValue(axiom.getProperty(), axiom.getObject());
  return factory.getOWLSubClassOfAxiom(sub, not(sup)).accept(this);
}

  @Override
  public OWLDataHasValue translate(IRI mainNode) {
    getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI());
    OWLLiteral lit = getConsumer().getLiteralObject(mainNode, OWL_HAS_VALUE, true);
    IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true);
    OWLDataPropertyExpression property = getConsumer()
      .translateDataPropertyExpression(verifyNotNull(propertyIRI));
    return getDataFactory().getOWLDataHasValue(property, verifyNotNull(lit));
  }
}