org.semanticweb.HermiT.datatypes.owlreal

Class OWLRealDatatypeHandler

java.lang.Object

org.semanticweb.HermiT.datatypes.owlreal.OWLRealDatatypeHandler

All Implemented Interfaces:

DatatypeHandler

public class OWLRealDatatypeHandler
extends 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.

Constructor Summary

Constructors

Constructor and Description
OWLRealDatatypeHandler()

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

OWLRealDatatypeHandler

public OWLRealDatatypeHandler()

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