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

Packages that use DataRange

Package	Description
org.semanticweb.HermiT.blocking
org.semanticweb.HermiT.debugger
org.semanticweb.HermiT.existentials
org.semanticweb.HermiT.model
org.semanticweb.HermiT.monitor
org.semanticweb.HermiT.tableau

Uses of DataRange in org.semanticweb.HermiT.blocking

Methods in org.semanticweb.HermiT.blocking with parameters of type DataRange

Modifier and Type	Method and Description
void	AnywhereBlocking.assertionAdded(DataRange range, Node node, boolean isCore)
void	AncestorBlocking.assertionAdded(DataRange range, Node node, boolean isCore)
Node	ValidatedPairwiseDirectBlockingChecker.assertionAdded(DataRange range, Node node, boolean isCore)
Node	SingleDirectBlockingChecker.assertionAdded(DataRange range, Node node, boolean isCore)
Node	DirectBlockingChecker.assertionAdded(DataRange range, Node node, boolean isCore)
void	BlockingStrategy.assertionAdded(DataRange range, Node node, boolean isCore)
void	AnywhereValidatedBlocking.assertionAdded(DataRange range, Node node, boolean isCore)
Node	ValidatedSingleDirectBlockingChecker.assertionAdded(DataRange range, Node node, boolean isCore)
Node	PairWiseDirectBlockingChecker.assertionAdded(DataRange range, Node node, boolean isCore)
void	AnywhereBlocking.assertionCoreSet(DataRange range, Node node)
void	AncestorBlocking.assertionCoreSet(DataRange range, Node node)
void	BlockingStrategy.assertionCoreSet(DataRange range, Node node)
void	AnywhereValidatedBlocking.assertionCoreSet(DataRange range, Node node)
void	AnywhereBlocking.assertionRemoved(DataRange range, Node node, boolean isCore)
void	AncestorBlocking.assertionRemoved(DataRange range, Node node, boolean isCore)
Node	ValidatedPairwiseDirectBlockingChecker.assertionRemoved(DataRange range, Node node, boolean isCore)
Node	SingleDirectBlockingChecker.assertionRemoved(DataRange range, Node node, boolean isCore)
Node	DirectBlockingChecker.assertionRemoved(DataRange range, Node node, boolean isCore)
void	BlockingStrategy.assertionRemoved(DataRange range, Node node, boolean isCore)
void	AnywhereValidatedBlocking.assertionRemoved(DataRange range, Node node, boolean isCore)
Node	ValidatedSingleDirectBlockingChecker.assertionRemoved(DataRange range, Node node, boolean isCore)
Node	PairWiseDirectBlockingChecker.assertionRemoved(DataRange range, Node node, boolean isCore)
boolean	AnywhereBlocking.isPermanentAssertion(DataRange range, Node node)
boolean	AncestorBlocking.isPermanentAssertion(DataRange range, Node node)
boolean	BlockingStrategy.isPermanentAssertion(DataRange range, Node node)
boolean	AnywhereValidatedBlocking.isPermanentAssertion(DataRange range, Node node)

Uses of DataRange in org.semanticweb.HermiT.debugger

Methods in org.semanticweb.HermiT.debugger with parameters of type DataRange

Modifier and Type	Method and Description
int	Printing.DataRangeComparator.compare(DataRange c1, DataRange c2)
void	DerivationHistory.unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
void	DerivationHistory.unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)

Uses of DataRange in org.semanticweb.HermiT.existentials

Methods in org.semanticweb.HermiT.existentials with parameters of type DataRange

Modifier and Type	Method and Description
void	AbstractExpansionStrategy.assertionAdded(DataRange range, Node node, boolean isCore)
void	ExistentialExpansionStrategy.assertionAdded(DataRange dataRange, Node node, boolean isCore)
void	AbstractExpansionStrategy.assertionCoreSet(DataRange range, Node node)
void	ExistentialExpansionStrategy.assertionCoreSet(DataRange dataRange, Node node)
void	AbstractExpansionStrategy.assertionRemoved(DataRange range, Node node, boolean isCore)
void	ExistentialExpansionStrategy.assertionRemoved(DataRange dataRange, Node node, boolean isCore)

Uses of DataRange in org.semanticweb.HermiT.model

Subclasses of DataRange in org.semanticweb.HermiT.model

Modifier and Type	Class and Description
class	AtomicDataRange Represents an atomic data range -- that is, an datatype, a datatype restriction, an internal datatype, or an enumeration of constants (oneOf)
class	AtomicNegationDataRange Represents a negation of a data range.
class	ConstantEnumeration A data range that consists of a given set of constants.
class	DatatypeRestriction A data range consisting of a datatype URI and a number of facet restrictions.
class	InternalDatatype Represents an internal datatype.
class	LiteralDataRange Represents a literal concept -- that is, an atomic concept, a negation of an atomic concept, or a data range.

Uses of DataRange in org.semanticweb.HermiT.monitor

Methods in org.semanticweb.HermiT.monitor with parameters of type DataRange

Modifier and Type	Method and Description
void	TableauMonitorAdapter.unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
void	TableauMonitorFork.unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
void	TableauMonitor.unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
void	TableauMonitorForwarder.unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
void	TableauMonitorAdapter.unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
void	TableauMonitorFork.unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
void	TableauMonitor.unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
void	TableauMonitorForwarder.unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)

Uses of DataRange in org.semanticweb.HermiT.tableau

Methods in org.semanticweb.HermiT.tableau with parameters of type DataRange

Modifier and Type	Method and Description
boolean	ExtensionManager.addDataRangeAssertion(DataRange dataRange, Node node, DependencySet dependencySet, boolean isCore)
boolean	ExtensionManager.containsDataRangeAssertion(DataRange range, Node node)
DependencySet	ExtensionManager.getDataRangeAssertionDependencySet(DataRange range, Node node)