org.semanticweb.HermiT.datatypes

Interface DatatypeHandler

All Known Implementing Classes:

AnyURIDatatypeHandler, BinaryDataDatatypeHandler, BooleanDatatypeHandler, DateTimeDatatypeHandler, DoubleDatatypeHandler, FloatDatatypeHandler, OWLRealDatatypeHandler, RDFPlainLiteralDatatypeHandler, XMLLiteralDatatypeHandler

public interface DatatypeHandler

Implements the functions needed for a particular datatype.

Method Summary

Modifier and Type	Method and Description
ValueSpaceSubset	conjoinWithDR(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
ValueSpaceSubset	conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
ValueSpaceSubset	createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
Set<String>	getManagedDatatypeURIs()
boolean	isDisjointWith(String datatypeURI1, String datatypeURI2)
boolean	isSubsetOf(String subsetDatatypeURI, String supersetDatatypeURI)
Object	parseLiteral(String lexicalForm, String datatypeURI)
void	validateDatatypeRestriction(DatatypeRestriction datatypeRestriction)

Method Detail

getManagedDatatypeURIs

Set<String> getManagedDatatypeURIs()

Returns:

managed datatypes

parseLiteral

Object parseLiteral(String lexicalForm,
                    String datatypeURI)
             throws MalformedLiteralException

Parameters:

lexicalForm - lexicalForm

datatypeURI - datatypeURI

Returns:

literal

Throws:

MalformedLiteralException - if the input is malformed

validateDatatypeRestriction

void validateDatatypeRestriction(DatatypeRestriction datatypeRestriction)
                          throws UnsupportedFacetException

Parameters:

datatypeRestriction - datatypeRestriction

Throws:

UnsupportedFacetException - if facet unsupported

createValueSpaceSubset

ValueSpaceSubset createValueSpaceSubset(DatatypeRestriction datatypeRestriction)

Parameters:

datatypeRestriction - datatypeRestriction

Returns:

value space

conjoinWithDR

ValueSpaceSubset conjoinWithDR(ValueSpaceSubset valueSpaceSubset,
                               DatatypeRestriction datatypeRestriction)

Parameters:

valueSpaceSubset - valueSpaceSubset

datatypeRestriction - datatypeRestriction

Returns:

intersection

conjoinWithDRNegation

ValueSpaceSubset conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset,
                                       DatatypeRestriction datatypeRestriction)

Parameters:

valueSpaceSubset - valueSpaceSubset

datatypeRestriction - datatypeRestriction

Returns:

intersection

isSubsetOf

boolean isSubsetOf(String subsetDatatypeURI,
                   String supersetDatatypeURI)

Parameters:

subsetDatatypeURI - subsetDatatypeURI

supersetDatatypeURI - supersetDatatypeURI

Returns:

true if subset

isDisjointWith

boolean isDisjointWith(String datatypeURI1,
                       String datatypeURI2)

Parameters:

datatypeURI1 - datatypeURI1

datatypeURI2 - datatypeURI2

Returns:

true if disjointwith