|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of DatatypeRestriction in org.semanticweb.HermiT.datatypes |
---|
Methods in org.semanticweb.HermiT.datatypes with parameters of type DatatypeRestriction | |
---|---|
static ValueSpaceSubset |
DatatypeRegistry.conjoinWithDR(ValueSpaceSubset valueSpaceSubset,
DatatypeRestriction datatypeRestriction)
|
ValueSpaceSubset |
DatatypeRegistry.AnonymousConstantsDatatypeHandler.conjoinWithDR(ValueSpaceSubset valueSpaceSubset,
DatatypeRestriction datatypeRestriction)
|
ValueSpaceSubset |
DatatypeHandler.conjoinWithDR(ValueSpaceSubset valueSpaceSubset,
DatatypeRestriction datatypeRestriction)
|
static ValueSpaceSubset |
DatatypeRegistry.conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset,
DatatypeRestriction datatypeRestriction)
|
ValueSpaceSubset |
DatatypeRegistry.AnonymousConstantsDatatypeHandler.conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset,
DatatypeRestriction datatypeRestriction)
|
ValueSpaceSubset |
DatatypeHandler.conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset,
DatatypeRestriction datatypeRestriction)
|
static ValueSpaceSubset |
DatatypeRegistry.createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
|
ValueSpaceSubset |
DatatypeRegistry.AnonymousConstantsDatatypeHandler.createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
|
ValueSpaceSubset |
DatatypeHandler.createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
|
protected static DatatypeHandler |
DatatypeRegistry.getDatatypeHandlerFor(DatatypeRestriction datatypeRestriction)
|
static void |
DatatypeRegistry.validateDatatypeRestriction(DatatypeRestriction datatypeRestriction)
|
void |
DatatypeRegistry.AnonymousConstantsDatatypeHandler.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 | |
---|---|
ValueSpaceSubset |
AnyURIDatatypeHandler.conjoinWithDR(ValueSpaceSubset valueSpaceSubset,
DatatypeRestriction datatypeRestriction)
|
ValueSpaceSubset |
AnyURIDatatypeHandler.conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset,
DatatypeRestriction datatypeRestriction)
|
ValueSpaceSubset |
AnyURIDatatypeHandler.createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
|
protected dk.brics.automaton.Automaton |
AnyURIDatatypeHandler.getAutomatonFor(dk.brics.automaton.Automaton automaton,
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 | |
---|---|
ValueSpaceSubset |
BinaryDataDatatypeHandler.conjoinWithDR(ValueSpaceSubset valueSpaceSubset,
DatatypeRestriction datatypeRestriction)
|
ValueSpaceSubset |
BinaryDataDatatypeHandler.conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset,
DatatypeRestriction datatypeRestriction)
|
ValueSpaceSubset |
BinaryDataDatatypeHandler.createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
|
protected BinaryDataLengthInterval |
BinaryDataDatatypeHandler.getIntervalFor(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 | |
---|---|
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 | |
---|---|
ValueSpaceSubset |
DateTimeDatatypeHandler.conjoinWithDR(ValueSpaceSubset valueSpaceSubset,
DatatypeRestriction datatypeRestriction)
|
ValueSpaceSubset |
DateTimeDatatypeHandler.conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset,
DatatypeRestriction datatypeRestriction)
|
ValueSpaceSubset |
DateTimeDatatypeHandler.createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
|
protected DateTimeInterval[] |
DateTimeDatatypeHandler.getIntervalsFor(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 | |
---|---|
ValueSpaceSubset |
DoubleDatatypeHandler.conjoinWithDR(ValueSpaceSubset valueSpaceSubset,
DatatypeRestriction datatypeRestriction)
|
ValueSpaceSubset |
DoubleDatatypeHandler.conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset,
DatatypeRestriction datatypeRestriction)
|
ValueSpaceSubset |
DoubleDatatypeHandler.createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
|
protected DoubleInterval |
DoubleDatatypeHandler.getIntervalFor(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 | |
---|---|
ValueSpaceSubset |
FloatDatatypeHandler.conjoinWithDR(ValueSpaceSubset valueSpaceSubset,
DatatypeRestriction datatypeRestriction)
|
ValueSpaceSubset |
FloatDatatypeHandler.conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset,
DatatypeRestriction datatypeRestriction)
|
ValueSpaceSubset |
FloatDatatypeHandler.createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
|
protected FloatInterval |
FloatDatatypeHandler.getIntervalFor(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 | |
---|---|
ValueSpaceSubset |
OWLRealDatatypeHandler.conjoinWithDR(ValueSpaceSubset valueSpaceSubset,
DatatypeRestriction datatypeRestriction)
|
ValueSpaceSubset |
OWLRealDatatypeHandler.conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset,
DatatypeRestriction datatypeRestriction)
|
ValueSpaceSubset |
OWLRealDatatypeHandler.createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
|
protected NumberInterval |
OWLRealDatatypeHandler.getIntervalFor(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 | |
---|---|
ValueSpaceSubset |
RDFPlainLiteralDatatypeHandler.conjoinWithDR(ValueSpaceSubset valueSpaceSubset,
DatatypeRestriction datatypeRestriction)
|
ValueSpaceSubset |
RDFPlainLiteralDatatypeHandler.conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset,
DatatypeRestriction datatypeRestriction)
|
ValueSpaceSubset |
RDFPlainLiteralDatatypeHandler.createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
|
protected dk.brics.automaton.Automaton |
RDFPlainLiteralDatatypeHandler.getAutomatonFor(DatatypeRestriction datatypeRestriction)
|
protected RDFPlainLiteralLengthInterval[] |
RDFPlainLiteralDatatypeHandler.getIntervalsFor(DatatypeRestriction datatypeRestriction)
|
protected boolean |
RDFPlainLiteralDatatypeHandler.needsAutomatons(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 | |
---|---|
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.debugger |
---|
Methods in org.semanticweb.HermiT.debugger with parameters of type DatatypeRestriction | |
---|---|
protected int |
Printing.DataRangeComparator.compareDatatypeRestrictions(DatatypeRestriction dr1,
DatatypeRestriction dr2)
|
Uses of DatatypeRestriction in org.semanticweb.HermiT.model |
---|
Fields in org.semanticweb.HermiT.model with type parameters of type DatatypeRestriction | |
---|---|
protected java.util.Set<DatatypeRestriction> |
DLOntology.m_allUnknownDatatypeRestrictions
|
protected static InterningManager<DatatypeRestriction> |
DatatypeRestriction.s_interningManager
|
Methods in org.semanticweb.HermiT.model that return DatatypeRestriction | |
---|---|
static DatatypeRestriction |
DatatypeRestriction.create(java.lang.String datatypeURI,
java.lang.String[] facetURIs,
Constant[] facetValues)
|
Methods in org.semanticweb.HermiT.model that return types with arguments of type DatatypeRestriction | |
---|---|
java.util.Set<DatatypeRestriction> |
DLOntology.getAllUnknownDatatypeRestrictions()
|
Constructor parameters in org.semanticweb.HermiT.model with type arguments of type DatatypeRestriction | |
---|---|
DLOntology(java.lang.String ontologyIRI,
java.util.Set<DLClause> dlClauses,
java.util.Set<Atom> positiveFacts,
java.util.Set<Atom> negativeFacts,
java.util.Set<AtomicConcept> atomicConcepts,
java.util.Set<AtomicRole> atomicObjectRoles,
java.util.Set<Role> allComplexObjectRoles,
java.util.Set<AtomicRole> atomicDataRoles,
java.util.Set<DatatypeRestriction> allUnknownDatatypeRestrictions,
java.util.Set<java.lang.String> definedDatatypeIRIs,
java.util.Set<Individual> individuals,
boolean hasInverseRoles,
boolean hasAtMostRestrictions,
boolean hasNominals,
boolean hasDatatypes)
|
Uses of DatatypeRestriction in org.semanticweb.HermiT.structural |
---|
Fields in org.semanticweb.HermiT.structural with type parameters of type DatatypeRestriction | |
---|---|
protected java.util.Set<DatatypeRestriction> |
OWLClausification.DataRangeConverter.m_allUnknownDatatypeRestrictions
|
Constructor parameters in org.semanticweb.HermiT.structural with type arguments of type DatatypeRestriction | |
---|---|
OWLClausification.DataRangeConverter(Configuration.WarningMonitor warningMonitor,
java.util.Set<java.lang.String> definedDatatypeIRIs,
java.util.Set<DatatypeRestriction> allUnknownDatatypeRestrictions,
boolean ignoreUnsupportedDatatypes)
|
Uses of DatatypeRestriction in org.semanticweb.HermiT.tableau |
---|
Fields in org.semanticweb.HermiT.tableau declared as DatatypeRestriction | |
---|---|
protected DatatypeRestriction |
DatatypeManager.DVariable.m_mostSpecificRestriction
|
Fields in org.semanticweb.HermiT.tableau with type parameters of type DatatypeRestriction | |
---|---|
protected java.util.List<DatatypeRestriction> |
DatatypeManager.DVariable.m_negativeDatatypeRestrictions
|
protected java.util.List<DatatypeRestriction> |
DatatypeManager.DVariable.m_positiveDatatypeRestrictions
|
protected java.util.Set<DatatypeRestriction> |
DatatypeManager.m_unknownDatatypeRestrictionsAdditional
|
protected java.util.Set<DatatypeRestriction> |
DatatypeManager.m_unknownDatatypeRestrictionsPermanent
|
Methods in org.semanticweb.HermiT.tableau that return types with arguments of type DatatypeRestriction | |
---|---|
java.util.List<DatatypeRestriction> |
DatatypeManager.DVariable.getNegativeDatatypeRestrictions()
|
java.util.List<DatatypeRestriction> |
DatatypeManager.DVariable.getPositiveDatatypeRestrictions()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |