Uses of Class
org.semanticweb.HermiT.model.DatatypeRestriction

Packages that use DatatypeRestriction

Package	Description
org.semanticweb.HermiT.datatypes
org.semanticweb.HermiT.datatypes.anyuri
org.semanticweb.HermiT.datatypes.binarydata
org.semanticweb.HermiT.datatypes.bool
org.semanticweb.HermiT.datatypes.datetime
org.semanticweb.HermiT.datatypes.doublenum
org.semanticweb.HermiT.datatypes.floatnum
org.semanticweb.HermiT.datatypes.owlreal
org.semanticweb.HermiT.datatypes.rdfplainliteral
org.semanticweb.HermiT.datatypes.xmlliteral
org.semanticweb.HermiT.model
org.semanticweb.HermiT.tableau

Uses of DatatypeRestriction in org.semanticweb.HermiT.datatypes

Methods in org.semanticweb.HermiT.datatypes with parameters of type DatatypeRestriction

Modifier and Type	Method and Description
static ValueSpaceSubset	DatatypeRegistry.conjoinWithDR(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
ValueSpaceSubset	DatatypeHandler.conjoinWithDR(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
static ValueSpaceSubset	DatatypeRegistry.conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
ValueSpaceSubset	DatatypeHandler.conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
static ValueSpaceSubset	DatatypeRegistry.createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
ValueSpaceSubset	DatatypeHandler.createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
static void	DatatypeRegistry.validateDatatypeRestriction(DatatypeRestriction datatypeRestriction)
void	DatatypeHandler.validateDatatypeRestriction(DatatypeRestriction datatypeRestriction)

Uses of DatatypeRestriction in org.semanticweb.HermiT.datatypes.anyuri

Methods in org.semanticweb.HermiT.datatypes.anyuri with parameters of type DatatypeRestriction

Modifier and Type	Method and Description
ValueSpaceSubset	AnyURIDatatypeHandler.conjoinWithDR(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
ValueSpaceSubset	AnyURIDatatypeHandler.conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
ValueSpaceSubset	AnyURIDatatypeHandler.createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
void	AnyURIDatatypeHandler.validateDatatypeRestriction(DatatypeRestriction datatypeRestriction)

Uses of DatatypeRestriction in org.semanticweb.HermiT.datatypes.binarydata

Methods in org.semanticweb.HermiT.datatypes.binarydata with parameters of type DatatypeRestriction

Modifier and Type	Method and Description
ValueSpaceSubset	BinaryDataDatatypeHandler.conjoinWithDR(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
ValueSpaceSubset	BinaryDataDatatypeHandler.conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
ValueSpaceSubset	BinaryDataDatatypeHandler.createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
void	BinaryDataDatatypeHandler.validateDatatypeRestriction(DatatypeRestriction datatypeRestriction)

Uses of DatatypeRestriction in org.semanticweb.HermiT.datatypes.bool

Methods in org.semanticweb.HermiT.datatypes.bool with parameters of type DatatypeRestriction

Modifier and Type	Method and Description
ValueSpaceSubset	BooleanDatatypeHandler.conjoinWithDR(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
ValueSpaceSubset	BooleanDatatypeHandler.conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
ValueSpaceSubset	BooleanDatatypeHandler.createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
void	BooleanDatatypeHandler.validateDatatypeRestriction(DatatypeRestriction datatypeRestriction)

Uses of DatatypeRestriction in org.semanticweb.HermiT.datatypes.datetime

Methods in org.semanticweb.HermiT.datatypes.datetime with parameters of type DatatypeRestriction

Modifier and Type	Method and Description
ValueSpaceSubset	DateTimeDatatypeHandler.conjoinWithDR(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
ValueSpaceSubset	DateTimeDatatypeHandler.conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
ValueSpaceSubset	DateTimeDatatypeHandler.createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
void	DateTimeDatatypeHandler.validateDatatypeRestriction(DatatypeRestriction datatypeRestriction)

Uses of DatatypeRestriction in org.semanticweb.HermiT.datatypes.doublenum

Methods in org.semanticweb.HermiT.datatypes.doublenum with parameters of type DatatypeRestriction

Modifier and Type	Method and Description
ValueSpaceSubset	DoubleDatatypeHandler.conjoinWithDR(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
ValueSpaceSubset	DoubleDatatypeHandler.conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
ValueSpaceSubset	DoubleDatatypeHandler.createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
void	DoubleDatatypeHandler.validateDatatypeRestriction(DatatypeRestriction datatypeRestriction)

Uses of DatatypeRestriction in org.semanticweb.HermiT.datatypes.floatnum

Methods in org.semanticweb.HermiT.datatypes.floatnum with parameters of type DatatypeRestriction

Modifier and Type	Method and Description
ValueSpaceSubset	FloatDatatypeHandler.conjoinWithDR(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
ValueSpaceSubset	FloatDatatypeHandler.conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
ValueSpaceSubset	FloatDatatypeHandler.createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
void	FloatDatatypeHandler.validateDatatypeRestriction(DatatypeRestriction datatypeRestriction)

Uses of DatatypeRestriction in org.semanticweb.HermiT.datatypes.owlreal

Methods in org.semanticweb.HermiT.datatypes.owlreal with parameters of type DatatypeRestriction

Modifier and Type	Method and Description
ValueSpaceSubset	OWLRealDatatypeHandler.conjoinWithDR(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
ValueSpaceSubset	OWLRealDatatypeHandler.conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
ValueSpaceSubset	OWLRealDatatypeHandler.createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
void	OWLRealDatatypeHandler.validateDatatypeRestriction(DatatypeRestriction datatypeRestriction)

Uses of DatatypeRestriction in org.semanticweb.HermiT.datatypes.rdfplainliteral

Methods in org.semanticweb.HermiT.datatypes.rdfplainliteral with parameters of type DatatypeRestriction

Modifier and Type	Method and Description
ValueSpaceSubset	RDFPlainLiteralDatatypeHandler.conjoinWithDR(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
ValueSpaceSubset	RDFPlainLiteralDatatypeHandler.conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
ValueSpaceSubset	RDFPlainLiteralDatatypeHandler.createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
void	RDFPlainLiteralDatatypeHandler.validateDatatypeRestriction(DatatypeRestriction datatypeRestriction)

Uses of DatatypeRestriction in org.semanticweb.HermiT.datatypes.xmlliteral

Methods in org.semanticweb.HermiT.datatypes.xmlliteral with parameters of type DatatypeRestriction

Modifier and Type	Method and Description
ValueSpaceSubset	XMLLiteralDatatypeHandler.conjoinWithDR(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
ValueSpaceSubset	XMLLiteralDatatypeHandler.conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
ValueSpaceSubset	XMLLiteralDatatypeHandler.createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
void	XMLLiteralDatatypeHandler.validateDatatypeRestriction(DatatypeRestriction datatypeRestriction)

Uses of DatatypeRestriction in org.semanticweb.HermiT.model

Methods in org.semanticweb.HermiT.model that return DatatypeRestriction

Modifier and Type	Method and Description
static DatatypeRestriction	DatatypeRestriction.create(String datatypeURI, String[] facetURIs, Constant[] facetValues)

Methods in org.semanticweb.HermiT.model that return types with arguments of type DatatypeRestriction

Modifier and Type	Method and Description
Set<DatatypeRestriction>	DLOntology.getAllUnknownDatatypeRestrictions()

Constructor parameters in org.semanticweb.HermiT.model with type arguments of type DatatypeRestriction

Constructor and Description

DLOntology(String ontologyIRI, Collection<DLClause> dlClauses, Set<Atom> positiveFacts, Set<Atom> negativeFacts, Set<AtomicConcept> atomicConcepts, Set<AtomicRole> atomicObjectRoles, Set<Role> allComplexObjectRoles, Set<AtomicRole> atomicDataRoles, Set<DatatypeRestriction> allUnknownDatatypeRestrictions, Set<String> definedDatatypeIRIs, Set<Individual> individuals, boolean hasInverseRoles, boolean hasAtMostRestrictions, boolean hasNominals, boolean hasDatatypes)

Uses of DatatypeRestriction in org.semanticweb.HermiT.tableau

Methods in org.semanticweb.HermiT.tableau that return types with arguments of type DatatypeRestriction

Modifier and Type	Method and Description
List<DatatypeRestriction>	DatatypeManager.DVariable.getNegativeDatatypeRestrictions()
List<DatatypeRestriction>	DatatypeManager.DVariable.getPositiveDatatypeRestrictions()