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