public static ATermAppl restrict(final ATermAppl baseDatatype, final ATermAppl... restrictions) { return ATermUtils.makeRestrictedDatatype(baseDatatype, restrictions); } }
public static ATermAppl restrict(final ATermAppl baseDatatype, final ATermAppl... restrictions) { return ATermUtils.makeRestrictedDatatype(baseDatatype, restrictions); } }
@Override public void visit(final OWLDatatypeRestriction node) { node.getDatatype().accept(this); final ATermAppl baseDatatype = _term; final List<ATermAppl> restrictions = new ArrayList<>(); for (final OWLFacetRestriction restr : asList(node.facetRestrictions())) { restr.accept(this); if (_term != null) restrictions.add(_term); else { _logger.warning("Unrecognized facet " + restr.getFacet()); return; } } if (restrictions.isEmpty()) _logger.warning("A data range is defined without facet restrictions " + node); else _term = ATermUtils.makeRestrictedDatatype(baseDatatype, restrictions.toArray(new ATermAppl[restrictions.size()])); }
@Override public void visit(final OWLDatatypeRestriction node) { node.getDatatype().accept(this); final ATermAppl baseDatatype = _term; final List<ATermAppl> restrictions = new ArrayList<>(); for (final OWLFacetRestriction restr : asList(node.facetRestrictions())) { restr.accept(this); if (_term != null) restrictions.add(_term); else { _logger.warning("Unrecognized facet " + restr.getFacet()); return; } } if (restrictions.isEmpty()) _logger.warning("A data range is defined without facet restrictions " + node); else _term = ATermUtils.makeRestrictedDatatype(baseDatatype, restrictions.toArray(new ATermAppl[restrictions.size()])); }
@Override public void visit(final OWLDatatypeRestriction node) { node.getDatatype().accept(this); final ATermAppl baseDatatype = _term; final List<ATermAppl> restrictions = new ArrayList<>(); for (final OWLFacetRestriction restr : asList(node.facetRestrictions())) { restr.accept(this); if (_term != null) restrictions.add(_term); else { _logger.warning("Unrecognized facet " + restr.getFacet()); return; } } if (restrictions.isEmpty()) _logger.warning("A data range is defined without facet restrictions " + node); else _term = ATermUtils.makeRestrictedDatatype(baseDatatype, restrictions.toArray(new ATermAppl[restrictions.size()])); }
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()])); }
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()])); }
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()])); }
return ATermUtils.makeRestrictedDatatype(baseDatatype, restrictions.toArray(new ATermAppl[restrictions.size()]));
return ATermUtils.makeRestrictedDatatype(baseDatatype, restrictions.toArray(new ATermAppl[restrictions.size()]));
return ATermUtils.makeRestrictedDatatype(baseDatatype, restrictions.toArray(new ATermAppl[restrictions.size()]));
final ATermAppl canon1 = dtr.getCanonicalRepresentation(term1); final ATermAppl baseType = (ATermAppl) canon1.getArgument(ATermUtils.LIT_URI_INDEX); final ATermAppl dr = ATermUtils.makeRestrictedDatatype(baseType, new ATermAppl[] { ATermUtils.makeFacetRestriction(f.getName(), canon1) }); return dtr.isSatisfiable(Collections.singleton(dr), l2val);
final ATermAppl canon1 = dtr.getCanonicalRepresentation(term1); final ATermAppl baseType = (ATermAppl) canon1.getArgument(ATermUtils.LIT_URI_INDEX); final ATermAppl dr = ATermUtils.makeRestrictedDatatype(baseType, new ATermAppl[] { ATermUtils.makeFacetRestriction(f.getName(), canon1) }); return dtr.isSatisfiable(Collections.singleton(dr), l2val);
_kb.addDatatypeProperty(r); final String val = nextNumber(); final ATermAppl dr = ATermUtils.makeRestrictedDatatype(XSD_INTEGER, new ATermAppl[] { ATermUtils.makeFacetRestriction(Facet.XSD.MIN_INCLUSIVE.getName(), ATermUtils.makeTypedLiteral(val, XSD_INTEGER)) }); a = ATermUtils.makeAllValues(r, dr); _kb.addDatatypeProperty(r); final String val = nextNumber(); final ATermAppl dr = ATermUtils.makeRestrictedDatatype(XSD_INTEGER, new ATermAppl[] { ATermUtils.makeFacetRestriction(Facet.XSD.MAX_INCLUSIVE.getName(), ATermUtils.makeTypedLiteral(val, XSD_INTEGER)) }); a = ATermUtils.makeAllValues(r, dr);
_kb.addDatatypeProperty(r); final String val = nextNumber(); final ATermAppl dr = ATermUtils.makeRestrictedDatatype(XSD_INTEGER, new ATermAppl[] { ATermUtils.makeFacetRestriction(Facet.XSD.MIN_INCLUSIVE.getName(), ATermUtils.makeTypedLiteral(val, XSD_INTEGER)) }); a = ATermUtils.makeAllValues(r, dr); _kb.addDatatypeProperty(r); final String val = nextNumber(); final ATermAppl dr = ATermUtils.makeRestrictedDatatype(XSD_INTEGER, new ATermAppl[] { ATermUtils.makeFacetRestriction(Facet.XSD.MAX_INCLUSIVE.getName(), ATermUtils.makeTypedLiteral(val, XSD_INTEGER)) }); a = ATermUtils.makeAllValues(r, dr);
kb.addRange(p, ATermUtils.makeRestrictedDatatype(XSDInteger.getInstance().getName(), new ATermAppl[] { ATermUtils.makeFacetRestriction(Facet.XSD.MIN_INCLUSIVE.getName(), ATermUtils.makeTypedLiteral(Byte.toString(MIN), XSDByte.getInstance().getName())), ATermUtils.makeFacetRestriction(Facet.XSD.MAX_INCLUSIVE.getName(), ATermUtils.makeTypedLiteral(Byte.toString(MAX), XSDByte.getInstance().getName())) }));