@Override public OWLDatatypeRestriction getOWLDatatypeMinInclusiveRestriction( int minInclusive) { return getOWLDatatypeRestriction(getIntegerOWLDatatype(), OWLFacet.MIN_INCLUSIVE, getOWLLiteral(minInclusive)); }
@Override public OWLDatatypeRestriction getOWLDatatypeMaxInclusiveRestriction( int maxInclusive) { return getOWLDatatypeRestriction(getIntegerOWLDatatype(), OWLFacet.MAX_INCLUSIVE, getOWLLiteral(maxInclusive)); }
@Override public OWLDatatypeRestriction getOWLDatatypeMaxExclusiveRestriction( int maxExclusive) { return getOWLDatatypeRestriction(getIntegerOWLDatatype(), OWLFacet.MAX_EXCLUSIVE, getOWLLiteral(maxExclusive)); }
@Override public OWLDatatypeRestriction getOWLDatatypeMinExclusiveRestriction( int minExclusive) { return getOWLDatatypeRestriction(getIntegerOWLDatatype(), OWLFacet.MIN_EXCLUSIVE, getOWLLiteral(minExclusive)); }
@Override public OWLDatatypeRestriction getOWLDatatypeMaxInclusiveRestriction(int maxInclusive) { return getOWLDatatypeRestriction(getIntegerOWLDatatype(), OWLFacet.MAX_INCLUSIVE, getOWLLiteral(maxInclusive)); }
@Override public OWLDatatypeRestriction getOWLDatatypeMinInclusiveRestriction(int minInclusive) { return getOWLDatatypeRestriction(getIntegerOWLDatatype(), OWLFacet.MIN_INCLUSIVE, getOWLLiteral(minInclusive)); }
@Override public OWLDatatypeRestriction getOWLDatatypeMinExclusiveRestriction(int minExclusive) { return getOWLDatatypeRestriction(getIntegerOWLDatatype(), OWLFacet.MIN_EXCLUSIVE, getOWLLiteral(minExclusive)); }
@Override public OWLDatatypeRestriction getOWLDatatypeMaxExclusiveRestriction(int maxExclusive) { return getOWLDatatypeRestriction(getIntegerOWLDatatype(), OWLFacet.MAX_EXCLUSIVE, getOWLLiteral(maxExclusive)); }
public OWLDatatypeRestriction getOWLDatatypeMinInclusiveRestriction(double minInclusive) { return getOWLDatatypeRestriction(getIntegerOWLDatatype(), OWLFacet.MIN_INCLUSIVE, getOWLTypedLiteral(minInclusive)); }
public OWLDatatypeRestriction getOWLDatatypeMaxInclusiveRestriction(double maxInclusive) { return getOWLDatatypeRestriction(getIntegerOWLDatatype(), OWLFacet.MAX_INCLUSIVE, getOWLTypedLiteral(maxInclusive)); }
public OWLDatatypeRestriction getOWLDatatypeMaxExclusiveRestriction(double maxExclusive) { return getOWLDatatypeRestriction(getIntegerOWLDatatype(), OWLFacet.MAX_EXCLUSIVE, getOWLTypedLiteral(maxExclusive)); }
public OWLDatatypeRestriction getOWLDatatypeMaxInclusiveRestriction(int maxInclusive) { return getOWLDatatypeRestriction(getIntegerOWLDatatype(), OWLFacet.MAX_INCLUSIVE, getOWLTypedLiteral(maxInclusive)); }
public OWLDatatypeRestriction getOWLDatatypeMaxExclusiveRestriction(int maxExclusive) { return getOWLDatatypeRestriction(getIntegerOWLDatatype(), OWLFacet.MAX_EXCLUSIVE, getOWLTypedLiteral(maxExclusive)); }
@Override public OWLDatatypeRestriction getOWLDatatypeMinMaxExclusiveRestriction( int minExclusive, int maxExclusive) { return getOWLDatatypeRestriction( getIntegerOWLDatatype(), getOWLFacetRestriction(OWLFacet.MIN_EXCLUSIVE, getOWLLiteral(minExclusive)), getOWLFacetRestriction(OWLFacet.MAX_EXCLUSIVE, maxExclusive)); }
@Override public OWLDatatypeRestriction getOWLDatatypeMinMaxInclusiveRestriction( int minInclusive, int maxInclusive) { return getOWLDatatypeRestriction( getIntegerOWLDatatype(), getOWLFacetRestriction(OWLFacet.MIN_INCLUSIVE, getOWLLiteral(minInclusive)), getOWLFacetRestriction(OWLFacet.MAX_INCLUSIVE, maxInclusive)); }
@Override public OWLDatatypeRestriction getOWLDatatypeMinMaxExclusiveRestriction(int minExclusive, int maxExclusive) { return getOWLDatatypeRestriction(getIntegerOWLDatatype(), getOWLFacetRestriction(OWLFacet.MIN_EXCLUSIVE, getOWLLiteral(minExclusive)), getOWLFacetRestriction(OWLFacet.MAX_EXCLUSIVE, maxExclusive)); }
@Override public OWLDatatypeRestriction getOWLDatatypeMinMaxInclusiveRestriction(int minInclusive, int maxInclusive) { return getOWLDatatypeRestriction(getIntegerOWLDatatype(), getOWLFacetRestriction(OWLFacet.MIN_INCLUSIVE, getOWLLiteral(minInclusive)), getOWLFacetRestriction(OWLFacet.MAX_INCLUSIVE, maxInclusive)); }
public OWLDatatypeRestriction getOWLDatatypeMinMaxInclusiveRestriction(double minInclusive, double maxInclusive) { return getOWLDatatypeRestriction(getIntegerOWLDatatype(), getOWLFacetRestriction(OWLFacet.MIN_INCLUSIVE, getOWLTypedLiteral(minInclusive)), getOWLFacetRestriction(OWLFacet.MAX_INCLUSIVE, maxInclusive)); }
public OWLDatatypeRestriction getOWLDatatypeMinMaxExclusiveRestriction(double minExclusive, double maxExclusive) { return getOWLDatatypeRestriction(getIntegerOWLDatatype(), getOWLFacetRestriction(OWLFacet.MIN_EXCLUSIVE, getOWLTypedLiteral(minExclusive)), getOWLFacetRestriction(OWLFacet.MAX_EXCLUSIVE, maxExclusive)); }
@Test public void numericTypeTest () throws ComponentInitException, OWLOntologyCreationException { genericNumericTypeTest(NUMBERS, NUMBERS_OWL, (new OWLDataFactoryImpl()).getIntegerOWLDatatype(), "9"); }