org.semanticweb.HermiT.datatypes.owlreal
Class OWLRealDatatypeHandler

java.lang.Object
  extended by 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.


Field Summary
protected static ValueSpaceSubset EMPTY_SUBSET
           
protected static java.lang.String OWL_NS
           
protected static java.util.Map<java.lang.String,java.util.Set<java.lang.String>> s_datatypeDisjoints
           
protected static java.util.Map<java.lang.String,java.util.Set<java.lang.String>> s_datatypeSupersets
           
protected static java.util.Map<java.lang.String,NumberInterval> s_intervalsByDatatype
           
protected static java.util.Map<java.lang.String,ValueSpaceSubset> s_subsetsByDatatype
           
protected static java.util.Set<java.lang.String> s_supportedFacetURIs
           
protected static java.lang.String XSD_NS
           
 
Constructor Summary
OWLRealDatatypeHandler()
           
 
Method Summary
 ValueSpaceSubset conjoinWithDR(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
           
 ValueSpaceSubset conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
           
 ValueSpaceSubset createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
           
protected  NumberInterval getIntervalFor(DatatypeRestriction datatypeRestriction)
           
 java.util.Set<java.lang.String> getManagedDatatypeURIs()
           
 boolean isDisjointWith(java.lang.String datatypeURI1, java.lang.String datatypeURI2)
           
 boolean isSubsetOf(java.lang.String subsetDatatypeURI, java.lang.String supersetDatatypeURI)
           
 java.lang.Object parseLiteral(java.lang.String lexicalForm, java.lang.String datatypeURI)
           
 void validateDatatypeRestriction(DatatypeRestriction datatypeRestriction)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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
Constructor Detail

OWLRealDatatypeHandler

public OWLRealDatatypeHandler()
Method Detail

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