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

Packages that use DataRange
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
 Node ValidatedSingleDirectBlockingChecker.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 PairWiseDirectBlockingChecker.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)
           
 void AnywhereBlocking.assertionAdded(DataRange range, Node node, boolean isCore)
           
 void AncestorBlocking.assertionAdded(DataRange range, Node node, boolean isCore)
           
 void BlockingStrategy.assertionCoreSet(DataRange range, Node node)
           
 void AnywhereValidatedBlocking.assertionCoreSet(DataRange range, Node node)
           
 void AnywhereBlocking.assertionCoreSet(DataRange range, Node node)
           
 void AncestorBlocking.assertionCoreSet(DataRange range, Node node)
           
 Node ValidatedSingleDirectBlockingChecker.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 PairWiseDirectBlockingChecker.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)
           
 void AnywhereBlocking.assertionRemoved(DataRange range, Node node, boolean isCore)
           
 void AncestorBlocking.assertionRemoved(DataRange range, Node node, boolean isCore)
           
 boolean BlockingStrategy.isPermanentAssertion(DataRange range, Node node)
           
 boolean AnywhereValidatedBlocking.isPermanentAssertion(DataRange range, Node node)
           
 boolean AnywhereBlocking.isPermanentAssertion(DataRange range, Node node)
           
 boolean AncestorBlocking.isPermanentAssertion(DataRange range, Node node)
           
 

Uses of DataRange in org.semanticweb.HermiT.debugger
 

Methods in org.semanticweb.HermiT.debugger with parameters of type DataRange
 int Printing.DataRangeComparator.compare(DataRange c1, DataRange c2)
           
protected  Printing.DataRangeComparator.DataRangeType Printing.DataRangeComparator.getDataRangeType(DataRange dr)
           
 void DerivationHistory.unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
           
 void DerivationHistory.unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
           
 

Method parameters in org.semanticweb.HermiT.debugger with type arguments of type DataRange
protected static void Printing.printDataRanges(Debugger debugger, java.util.Set<? extends DataRange> set, java.io.PrintWriter writer, int numberInRow)
           
 

Uses of DataRange in org.semanticweb.HermiT.existentials
 

Methods in org.semanticweb.HermiT.existentials with parameters of type DataRange
 void ExistentialExpansionStrategy.assertionAdded(DataRange dataRange, Node node, boolean isCore)
           
 void AbstractExpansionStrategy.assertionAdded(DataRange range, Node node, boolean isCore)
           
 void ExistentialExpansionStrategy.assertionCoreSet(DataRange dataRange, Node node)
           
 void AbstractExpansionStrategy.assertionCoreSet(DataRange range, Node node)
           
 void ExistentialExpansionStrategy.assertionRemoved(DataRange dataRange, Node node, boolean isCore)
           
 void AbstractExpansionStrategy.assertionRemoved(DataRange range, Node node, boolean isCore)
           
 

Uses of DataRange in org.semanticweb.HermiT.model
 

Subclasses of DataRange in org.semanticweb.HermiT.model
 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
 void TableauMonitorForwarder.unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
           
 void TableauMonitorFork.unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
           
 void TableauMonitorAdapter.unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
           
 void TableauMonitor.unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
           
 void TableauMonitorForwarder.unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
           
 void TableauMonitorFork.unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
           
 void TableauMonitorAdapter.unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
           
 void TableauMonitor.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
protected  void DatatypeManager.addDataRange(DatatypeManager.DVariable variable, DataRange dataRange)
           
 boolean ExtensionManager.addDataRangeAssertion(DataRange dataRange, Node node, DependencySet dependencySet, boolean isCore)
           
 boolean ExtensionManager.containsDataRangeAssertion(DataRange range, Node node)
           
protected  void DatatypeManager.generateInequalitiesFor(DataRange dataRange1, Node node1, DependencySet dependencySet1, DataRange dataRange2)
           
 DependencySet ExtensionManager.getDataRangeAssertionDependencySet(DataRange range, Node node)