org.semanticweb.HermiT.datatypes
Interface DatatypeHandler

All Known Implementing Classes:
AnyURIDatatypeHandler, BinaryDataDatatypeHandler, BooleanDatatypeHandler, DatatypeRegistry.AnonymousConstantsDatatypeHandler, DateTimeDatatypeHandler, DoubleDatatypeHandler, FloatDatatypeHandler, OWLRealDatatypeHandler, RDFPlainLiteralDatatypeHandler, XMLLiteralDatatypeHandler

public interface DatatypeHandler

Implements the functions needed for a particular datatype.


Method Summary
 ValueSpaceSubset conjoinWithDR(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
           
 ValueSpaceSubset conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
           
 ValueSpaceSubset createValueSpaceSubset(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)
           
 

Method Detail

getManagedDatatypeURIs

java.util.Set<java.lang.String> getManagedDatatypeURIs()

parseLiteral

java.lang.Object parseLiteral(java.lang.String lexicalForm,
                              java.lang.String datatypeURI)
                              throws MalformedLiteralException
Throws:
MalformedLiteralException

validateDatatypeRestriction

void validateDatatypeRestriction(DatatypeRestriction datatypeRestriction)
                                 throws UnsupportedFacetException
Throws:
UnsupportedFacetException

createValueSpaceSubset

ValueSpaceSubset createValueSpaceSubset(DatatypeRestriction datatypeRestriction)

conjoinWithDR

ValueSpaceSubset conjoinWithDR(ValueSpaceSubset valueSpaceSubset,
                               DatatypeRestriction datatypeRestriction)

conjoinWithDRNegation

ValueSpaceSubset conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset,
                                       DatatypeRestriction datatypeRestriction)

isSubsetOf

boolean isSubsetOf(java.lang.String subsetDatatypeURI,
                   java.lang.String supersetDatatypeURI)

isDisjointWith

boolean isDisjointWith(java.lang.String datatypeURI1,
                       java.lang.String datatypeURI2)