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 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); }
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); }
@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)); } }