How to use

getOWLDatatypeRestriction

method

in

org.semanticweb.owlapi.model.OWLDataFactory

public static OWLDatatypeRestriction DatatypeRestriction(OWLDatatype datatype,
  OWLFacetRestriction... facetRestrictions) {
  return DF.getOWLDatatypeRestriction(datatype, facetRestrictions);
}

@Override
public OWLDatatypeRestriction buildObject() {
  return df.getOWLDatatypeRestriction(getType(), items);
}

@Override
public void visit(OWLDatatypeRestriction desc) {
  OWLDatatype datatype = desc.getDatatype();
  Set<OWLFacetRestriction> facetRestrictions = desc.getFacetRestrictions();
  Set<OWLFacetRestriction> newFacets = facetRestrictions.stream()
      .map(facetRestriction -> normalize(facetRestriction))
      .sorted()
      .collect(Collectors.toSet());
  renamedOWLObject = df.getOWLDatatypeRestriction(datatype, newFacets);;
}

public static <N extends Number> OWLDataRange getMinMaxExclusiveRestrictedInteger(OWLDataFactory dataFactory, N minExclusive, N maxExclusive) {
  OWLDatatype dr = getDatatype(dataFactory, minExclusive);
  Set<OWLFacetRestriction> facetRestrictions = new HashSet<OWLFacetRestriction>();
  facetRestrictions.add(dataFactory.getOWLFacetRestriction(OWLFacet.MIN_EXCLUSIVE,
      getTypedConstant(dataFactory, minExclusive)));
  facetRestrictions.add(dataFactory.getOWLFacetRestriction(OWLFacet.MAX_EXCLUSIVE,
      getTypedConstant(dataFactory, maxExclusive)));
  return dataFactory.getOWLDatatypeRestriction(dr, facetRestrictions);
}

public static <N extends Number> OWLDataRange getMinMaxInclusiveRestrictedInteger(OWLDataFactory dataFactory, N minInclusive, N maxInclusive) {
  OWLDatatype dr = getDatatype(dataFactory, minInclusive);
  Set<OWLFacetRestriction> facetRestrictions = new HashSet<OWLFacetRestriction>();
  facetRestrictions.add(dataFactory.getOWLFacetRestriction(OWLFacet.MIN_INCLUSIVE,
      getTypedConstant(dataFactory, minInclusive)));
  facetRestrictions.add(dataFactory.getOWLFacetRestriction(OWLFacet.MAX_INCLUSIVE,
      getTypedConstant(dataFactory, maxInclusive)));
  return dataFactory.getOWLDatatypeRestriction(dr, facetRestrictions);
}

@Override
public void visit(OWLDatatypeRestriction node) {
  obj = df.getOWLDatatypeRestriction(dup(node.getDatatype()),
    asList(node.facetRestrictions().map(this::dup)));
}

@Override
public void visit(OWLDatatypeRestriction node) {
  obj = df.getOWLDatatypeRestriction(dup(node.getDatatype()),
    asList(node.facetRestrictions().map(this::dup)));
}

@Override
public void visit(OWLDatatypeRestriction node) {
  obj = df.getOWLDatatypeRestriction(dup(node.getDatatype()),
    asList(node.facetRestrictions().map(this::dup)));
}

@Override
public OWLDatatypeRestriction visit(OWLDatatypeRestriction node) {
  return df
    .getOWLDatatypeRestriction(get(node.getDatatype()), list(node.facetRestrictions()));
}

@Override
public OWLDatatypeRestriction visit(ElkDatatypeRestriction expression) {
  return owlFactory_.getOWLDatatypeRestriction(
      convert(expression.getDatatype()),
      toFacetRestrictionSet(expression.getFacetRestrictions()));
}

@Override
public OWLDatatypeRestriction visit(ElkDatatypeRestriction expression) {
  return owlFactory_.getOWLDatatypeRestriction(
      convert(expression.getDatatype()),
      toFacetRestrictionSet(expression.getFacetRestrictions()));
}

@Override
public OWLDatatypeRestriction visit(ElkDatatypeRestriction expression) {
  return owlFactory_.getOWLDatatypeRestriction(
      convert(expression.getDatatype()),
      toFacetRestrictionSet(expression.getFacetRestrictions()));
}

@Override
public OWLDatatypeRestriction visit(OWLDatatypeRestriction node) {
  return df
    .getOWLDatatypeRestriction(get(node.getDatatype()), list(node.facetRestrictions()));
}

@Override
public OWLDatatypeRestriction visit(OWLDatatypeRestriction node) {
  return df
    .getOWLDatatypeRestriction(get(node.getDatatype()), list(node.facetRestrictions()));
}

@Override
public Object visit(OWLDatatypeRestriction node) {
  return visit(node, () -> df
    .getOWLDatatypeRestriction(t(node.getDatatype()), t(node.facetRestrictions())));
}

@Override
public Object visit(OWLDatatypeRestriction node) {
  return visit(node, () -> df
    .getOWLDatatypeRestriction(t(node.getDatatype()), t(node.facetRestrictions())));
}

@Override
public Object visit(OWLDatatypeRestriction node) {
  return visit(node, () -> df
    .getOWLDatatypeRestriction(t(node.getDatatype()), t(node.facetRestrictions())));
}

private OWLDataRange asFacet(OWLDataFactory df, Set<Literal> literals){
  //return Boolean datatype because it doesn't make sense to return a facet of Boolean values
  if(getOWLDatatype(df, literals).equals(df.getBooleanOWLDatatype())){
    return df.getBooleanOWLDatatype();
  }
  Literal min = getMin(literals);
  Literal max = getMax(literals);
  
  OWLFacetRestriction minRestriction = df.getOWLFacetRestriction(OWLFacet.MIN_INCLUSIVE, asOWLLiteral(df, min));
  OWLFacetRestriction maxRestriction = df.getOWLFacetRestriction(OWLFacet.MAX_INCLUSIVE, asOWLLiteral(df, max));
  
  return df.getOWLDatatypeRestriction(getOWLDatatype(df, literals), minRestriction, maxRestriction);
}

  protected void endDataRangeElement() throws OWLXMLParserException {
    if (dataRange == null) {
      throw new OWLXMLParserElementNotFoundException(getLineNumber(), getColumnNumber(), "data range element");
    }
    if (constant == null) {
      throw new OWLXMLParserElementNotFoundException(getLineNumber(), getColumnNumber(), "typed constant element");
    }
    setDataRange(getOWLDataFactory().getOWLDatatypeRestriction((OWLDatatype) dataRange, OWLFacet.getFacet(facetIRI), constant));


  }
}

  @Override
  protected void endDataRangeElement() throws OWLXMLParserException {
    if (dataRange == null) {
      throw new OWLXMLParserElementNotFoundException(getLineNumber(), getColumnNumber(), "data range element");
    }
    if (constant == null) {
      throw new OWLXMLParserElementNotFoundException(getLineNumber(), getColumnNumber(), "typed constant element");
    }
    setDataRange(getOWLDataFactory().getOWLDatatypeRestriction((OWLDatatype) dataRange, OWLFacet.getFacet(facetIRI), constant));


  }
}