org.semanticweb.HermiT.datatypes.owlreal
Class OWLRealDatatypeHandler
java.lang.Object
org.semanticweb.HermiT.datatypes.owlreal.OWLRealDatatypeHandler
- All Implemented Interfaces:
- DatatypeHandler
public class OWLRealDatatypeHandler
- extends java.lang.Object
- implements DatatypeHandler
Implements a handler for the numeric datatypes derived from owl:real. This class
makes am important assumption that all data values are represented with objects
whose .equals() method behaves as expected. This means that, for numbers represented
using Java's classes, one needs to use the most specific class. For example, a decimal
1.0 *must* be represented as Integer 1, and a rational 7/2 *must* be represented
as BigDecimal 3.5.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
OWL_NS
protected static final java.lang.String OWL_NS
XSD_NS
protected static final java.lang.String XSD_NS
s_intervalsByDatatype
protected static final java.util.Map<java.lang.String,NumberInterval> s_intervalsByDatatype
s_subsetsByDatatype
protected static final java.util.Map<java.lang.String,ValueSpaceSubset> s_subsetsByDatatype
EMPTY_SUBSET
protected static final ValueSpaceSubset EMPTY_SUBSET
s_supportedFacetURIs
protected static final java.util.Set<java.lang.String> s_supportedFacetURIs
s_datatypeSupersets
protected static final java.util.Map<java.lang.String,java.util.Set<java.lang.String>> s_datatypeSupersets
s_datatypeDisjoints
protected static final java.util.Map<java.lang.String,java.util.Set<java.lang.String>> s_datatypeDisjoints
OWLRealDatatypeHandler
public OWLRealDatatypeHandler()
getManagedDatatypeURIs
public java.util.Set<java.lang.String> getManagedDatatypeURIs()
- Specified by:
getManagedDatatypeURIs
in interface DatatypeHandler
parseLiteral
public java.lang.Object parseLiteral(java.lang.String lexicalForm,
java.lang.String datatypeURI)
throws MalformedLiteralException
- Specified by:
parseLiteral
in interface DatatypeHandler
- Throws:
MalformedLiteralException
validateDatatypeRestriction
public void validateDatatypeRestriction(DatatypeRestriction datatypeRestriction)
throws UnsupportedFacetException
- Specified by:
validateDatatypeRestriction
in interface DatatypeHandler
- Throws:
UnsupportedFacetException
createValueSpaceSubset
public ValueSpaceSubset createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
- Specified by:
createValueSpaceSubset
in interface DatatypeHandler
conjoinWithDR
public ValueSpaceSubset conjoinWithDR(ValueSpaceSubset valueSpaceSubset,
DatatypeRestriction datatypeRestriction)
- Specified by:
conjoinWithDR
in interface DatatypeHandler
conjoinWithDRNegation
public ValueSpaceSubset conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset,
DatatypeRestriction datatypeRestriction)
- Specified by:
conjoinWithDRNegation
in interface DatatypeHandler
getIntervalFor
protected NumberInterval getIntervalFor(DatatypeRestriction datatypeRestriction)
isSubsetOf
public boolean isSubsetOf(java.lang.String subsetDatatypeURI,
java.lang.String supersetDatatypeURI)
- Specified by:
isSubsetOf
in interface DatatypeHandler
isDisjointWith
public boolean isDisjointWith(java.lang.String datatypeURI1,
java.lang.String datatypeURI2)
- Specified by:
isDisjointWith
in interface DatatypeHandler