org.semanticweb.HermiT.datatypes.doublenum

Class DoubleDatatypeHandler

java.lang.Object

org.semanticweb.HermiT.datatypes.doublenum.DoubleDatatypeHandler

All Implemented Interfaces:

DatatypeHandler

public class DoubleDatatypeHandler
extends Object
implements DatatypeHandler

DoubleDatatypeHandler.

Constructor Summary

Constructors

Constructor and Description
DoubleDatatypeHandler()

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)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DoubleDatatypeHandler

public DoubleDatatypeHandler()

Method Detail

getManagedDatatypeURIs

public Set<String> getManagedDatatypeURIs()

Specified by:

getManagedDatatypeURIs in interface DatatypeHandler

Returns:

managed datatypes

parseLiteral

public Object parseLiteral(String lexicalForm,
                           String datatypeURI)
                    throws MalformedLiteralException

Specified by:

parseLiteral in interface DatatypeHandler

Parameters:

lexicalForm - lexicalForm

datatypeURI - datatypeURI

Returns:

literal

Throws:

MalformedLiteralException - if the input is malformed

validateDatatypeRestriction

public void validateDatatypeRestriction(DatatypeRestriction datatypeRestriction)
                                 throws UnsupportedFacetException

Specified by:

validateDatatypeRestriction in interface DatatypeHandler

Parameters:

datatypeRestriction - datatypeRestriction

Throws:

UnsupportedFacetException - if facet unsupported

createValueSpaceSubset

public ValueSpaceSubset createValueSpaceSubset(DatatypeRestriction datatypeRestriction)

Specified by:

createValueSpaceSubset in interface DatatypeHandler

Parameters:

datatypeRestriction - datatypeRestriction

Returns:

value space

conjoinWithDR

public ValueSpaceSubset conjoinWithDR(ValueSpaceSubset valueSpaceSubset,
                                      DatatypeRestriction datatypeRestriction)

Specified by:

conjoinWithDR in interface DatatypeHandler

Parameters:

valueSpaceSubset - valueSpaceSubset

datatypeRestriction - datatypeRestriction

Returns:

intersection

conjoinWithDRNegation

public ValueSpaceSubset conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset,
                                              DatatypeRestriction datatypeRestriction)

Specified by:

conjoinWithDRNegation in interface DatatypeHandler

Parameters:

valueSpaceSubset - valueSpaceSubset

datatypeRestriction - datatypeRestriction

Returns:

intersection

isSubsetOf

public boolean isSubsetOf(String subsetDatatypeURI,
                          String supersetDatatypeURI)

Specified by:

isSubsetOf in interface DatatypeHandler

Parameters:

subsetDatatypeURI - subsetDatatypeURI

supersetDatatypeURI - supersetDatatypeURI

Returns:

true if subset

isDisjointWith

public boolean isDisjointWith(String datatypeURI1,
                              String datatypeURI2)

Specified by:

isDisjointWith in interface DatatypeHandler

Parameters:

datatypeURI1 - datatypeURI1

datatypeURI2 - datatypeURI2

Returns:

true if disjointwith