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

Packages that use DatatypeRestriction
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.debugger   
org.semanticweb.HermiT.model   
org.semanticweb.HermiT.structural   
org.semanticweb.HermiT.tableau   
 

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()