org.semanticweb.HermiT.datatypes

Class DatatypeRegistry

java.lang.Object

org.semanticweb.HermiT.datatypes.DatatypeRegistry

public class DatatypeRegistry
extends Object

A registry for all available datatype handlers.

Constructor Summary

Constructors

Constructor and Description
DatatypeRegistry()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

DatatypeRegistry

public DatatypeRegistry()

Method Detail

parseLiteral

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

Parameters:

lexicalForm - lexicalForm

datatypeURI - datatypeURI

Returns:

literal

Throws:

MalformedLiteralException - if literal is malformed

UnsupportedDatatypeException - if literal is unsupported

validateDatatypeRestriction

public static void validateDatatypeRestriction(DatatypeRestriction datatypeRestriction)
                                        throws UnsupportedDatatypeException,
                                               UnsupportedFacetException

Parameters:

datatypeRestriction - datatypeRestriction

Throws:

UnsupportedDatatypeException - if datatype is unsupported

UnsupportedFacetException - if facet is unsupported

createValueSpaceSubset

public static ValueSpaceSubset createValueSpaceSubset(DatatypeRestriction datatypeRestriction)

Parameters:

datatypeRestriction - datatypeRestriction

Returns:

subset

conjoinWithDR

public static ValueSpaceSubset conjoinWithDR(ValueSpaceSubset valueSpaceSubset,
                                             DatatypeRestriction datatypeRestriction)

Parameters:

valueSpaceSubset - valueSpaceSubset

datatypeRestriction - datatypeRestriction

Returns:

conjunction

conjoinWithDRNegation

public static ValueSpaceSubset conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset,
                                                     DatatypeRestriction datatypeRestriction)

Parameters:

valueSpaceSubset - valueSpaceSubset

datatypeRestriction - datatypeRestriction

Returns:

conjunction

isSubsetOf

public static boolean isSubsetOf(String subsetDatatypeURI,
                                 String supersetDatatypeURI)

Parameters:

subsetDatatypeURI - subsetDatatypeURI

supersetDatatypeURI - supersetDatatypeURI

Returns:

true if subset

isDisjointWith

public static boolean isDisjointWith(String datatypeURI1,
                                     String datatypeURI2)

Parameters:

datatypeURI1 - datatypeURI1

datatypeURI2 - datatypeURI2

Returns:

true if disjoint with