public static ATermAppl minLength(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.MIN_LENGTH.getName(), facetValue); }
public static ATermAppl pattern(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.PATTERN.getName(), facetValue); }
public static ATermAppl maxInclusive(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.MAX_INCLUSIVE.getName(), facetValue); }
public static ATermAppl maxLength(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.MAX_LENGTH.getName(), facetValue); }
public static ATermAppl length(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.LENGTH.getName(), facetValue); }
public static ATermAppl pattern(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.PATTERN.getName(), facetValue); }
public static ATermAppl minInclusive(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.MIN_INCLUSIVE.getName(), facetValue); }
public static ATermAppl minInclusive(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.MIN_INCLUSIVE.getName(), facetValue); }
public static ATermAppl minExclusive(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.MIN_EXCLUSIVE.getName(), facetValue); }
public static ATermAppl minLength(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.MIN_LENGTH.getName(), facetValue); }
public static ATermAppl maxInclusive(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.MAX_INCLUSIVE.getName(), facetValue); }
public static ATermAppl maxExclusive(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.MAX_EXCLUSIVE.getName(), facetValue); }
public static ATermAppl maxLength(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.MAX_LENGTH.getName(), facetValue); }
public static ATermAppl length(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.LENGTH.getName(), facetValue); }
public static ATermAppl minExclusive(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.MIN_EXCLUSIVE.getName(), facetValue); }
public static ATermAppl maxExclusive(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.MAX_EXCLUSIVE.getName(), facetValue); }
private ATermAppl parseDataRangeLegacy(final Node s, final Node definition) { if (!definition.isURI()) { addUnsupportedFeature("Invalid datatype definition, _expected URI but found " + s); return ATermUtils.BOTTOM_LIT; } final ATermAppl baseDatatype = ATermUtils.makeTermAppl(definition.getURI()); final Property[] datatypeFacets = new Property[] { OWL2.minInclusive, OWL2.maxInclusive, OWL2.minExclusive, OWL2.maxExclusive, OWL2.totalDigits, OWL2.fractionDigits, OWL2.pattern }; final List<ATermAppl> restrictions = new ArrayList<>(); for (final Property datatypeFacet : datatypeFacets) { final Node facetValue = getObject(s, datatypeFacet.asNode()); if (facetValue != null) { final ATermAppl restriction = ATermUtils.makeFacetRestriction(ATermUtils.makeTermAppl(datatypeFacet.getURI()), JenaUtils.makeATerm(facetValue)); restrictions.add(restriction); } } if (restrictions.isEmpty()) { addUnsupportedFeature("A _data range is defined without XSD facet restrictions " + s); return ATermUtils.BOTTOM_LIT; } else return ATermUtils.makeRestrictedDatatype(baseDatatype, restrictions.toArray(new ATermAppl[restrictions.size()])); }
@Override public void visit(final OWLFacetRestriction node) { final Facet facet = Facet.Registry.get(ATermUtils.makeTermAppl(node.getFacet().getIRI().toString())); if (facet != null) { final OWLLiteral facetValue = node.getFacetValue(); facetValue.accept(this); _term = ATermUtils.makeFacetRestriction(facet.getName(), _term); } }
@Override public void visit(final OWLFacetRestriction node) { final Facet facet = Facet.Registry.get(ATermUtils.makeTermAppl(node.getFacet().getIRI().toString())); if (facet != null) { final OWLLiteral facetValue = node.getFacetValue(); facetValue.accept(this); _term = ATermUtils.makeFacetRestriction(facet.getName(), _term); } }
@Override public void visit(final OWLFacetRestriction node) { final Facet facet = Facet.Registry.get(ATermUtils.makeTermAppl(node.getFacet().getIRI().toString())); if (facet != null) { final OWLLiteral facetValue = node.getFacetValue(); facetValue.accept(this); _term = ATermUtils.makeFacetRestriction(facet.getName(), _term); } }