@Override public OWLDatatypeRestriction getOWLDatatypeMinExclusiveRestriction( double minExclusive) { return getOWLDatatypeRestriction(getDoubleOWLDatatype(), OWLFacet.MIN_EXCLUSIVE, getOWLLiteral(minExclusive)); }
@Override public OWLDatatypeRestriction getOWLDatatypeMaxExclusiveRestriction( double maxExclusive) { return getOWLDatatypeRestriction(getDoubleOWLDatatype(), OWLFacet.MAX_EXCLUSIVE, getOWLLiteral(maxExclusive)); }
@Override public OWLDatatypeRestriction getOWLDatatypeMinInclusiveRestriction( double minInclusive) { return getOWLDatatypeRestriction(getDoubleOWLDatatype(), OWLFacet.MIN_INCLUSIVE, getOWLLiteral(minInclusive)); }
@Override public OWLDatatypeRestriction getOWLDatatypeMaxInclusiveRestriction( double maxInclusive) { return getOWLDatatypeRestriction(getDoubleOWLDatatype(), OWLFacet.MAX_INCLUSIVE, getOWLLiteral(maxInclusive)); }
@Override public OWLDatatypeRestriction getOWLDatatypeMinInclusiveRestriction(double minInclusive) { return getOWLDatatypeRestriction(getDoubleOWLDatatype(), OWLFacet.MIN_INCLUSIVE, getOWLLiteral(minInclusive)); }
@Override public OWLDatatypeRestriction getOWLDatatypeMaxInclusiveRestriction(double maxInclusive) { return getOWLDatatypeRestriction(getDoubleOWLDatatype(), OWLFacet.MAX_INCLUSIVE, getOWLLiteral(maxInclusive)); }
@Override public OWLDatatypeRestriction getOWLDatatypeMinExclusiveRestriction(double minExclusive) { return getOWLDatatypeRestriction(getDoubleOWLDatatype(), OWLFacet.MIN_EXCLUSIVE, getOWLLiteral(minExclusive)); }
@Override public OWLDatatypeRestriction getOWLDatatypeMaxExclusiveRestriction(double maxExclusive) { return getOWLDatatypeRestriction(getDoubleOWLDatatype(), OWLFacet.MAX_EXCLUSIVE, getOWLLiteral(maxExclusive)); }
@Override public OWLDatatypeRestriction getOWLDatatypeMinMaxExclusiveRestriction( double minExclusive, double maxExclusive) { return getOWLDatatypeRestriction( getDoubleOWLDatatype(), getOWLFacetRestriction(OWLFacet.MIN_EXCLUSIVE, getOWLLiteral(minExclusive)), getOWLFacetRestriction(OWLFacet.MAX_EXCLUSIVE, maxExclusive)); }
@Override public OWLDatatypeRestriction getOWLDatatypeMinMaxExclusiveRestriction(double minExclusive, double maxExclusive) { return getOWLDatatypeRestriction(getDoubleOWLDatatype(), getOWLFacetRestriction(OWLFacet.MIN_EXCLUSIVE, getOWLLiteral(minExclusive)), getOWLFacetRestriction(OWLFacet.MAX_EXCLUSIVE, maxExclusive)); }
@Override public OWLDatatypeRestriction getOWLDatatypeMinMaxInclusiveRestriction( double minInclusive, double maxInclusive) { return getOWLDatatypeRestriction( getDoubleOWLDatatype(), getOWLFacetRestriction(OWLFacet.MIN_INCLUSIVE, getOWLLiteral(minInclusive)), getOWLFacetRestriction(OWLFacet.MAX_INCLUSIVE, maxInclusive)); }
@Override public OWLDatatypeRestriction getOWLDatatypeMinMaxInclusiveRestriction(double minInclusive, double maxInclusive) { return getOWLDatatypeRestriction(getDoubleOWLDatatype(), getOWLFacetRestriction(OWLFacet.MIN_INCLUSIVE, getOWLLiteral(minInclusive)), getOWLFacetRestriction(OWLFacet.MAX_INCLUSIVE, maxInclusive)); }
@Test public void doubleTypeTest () throws ComponentInitException, OWLOntologyCreationException { genericNumericTypeTest(DOUBLES, DOUBLES_OWL, (new OWLDataFactoryImpl()).getDoubleOWLDatatype(), "9.5"); }