|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
---|
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |